Kuanjiu Zhou, Jiawei Yong, Xiaolong Wang, L. Ren, Gang Hou, Junwang Chang
{"title":"Accelerating Software Model Checking Based on Program Backbone","authors":"Kuanjiu Zhou, Jiawei Yong, Xiaolong Wang, L. Ren, Gang Hou, Junwang Chang","doi":"10.1007/978-3-642-45293-2_26","DOIUrl":"https://doi.org/10.1007/978-3-642-45293-2_26","url":null,"abstract":"","PeriodicalId":243555,"journal":{"name":"Advanced Parallel Programming Technologies","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117285965","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Automatic Skeleton-Based Compilation through Integration with an Algorithm Classification","authors":"C. Nugteren, P. Custers, H. Corporaal","doi":"10.1007/978-3-642-45293-2_14","DOIUrl":"https://doi.org/10.1007/978-3-642-45293-2_14","url":null,"abstract":"","PeriodicalId":243555,"journal":{"name":"Advanced Parallel Programming Technologies","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122241611","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}