中国机械工程学会生产工程分会知识服务平台 | sc.gmachineinfo.com

期刊

ISSN	0167-6423
刊名	Science of Computer Programming
参考译名	计算机程序设计科学
收藏年代	2002～2024

全部

题名	作者	出版年	年卷期
ESBMC-GPU A context-bounded model checking tool to verify CUDA programs	Monteiro, Felipe R.; Alves, Erickson H. da S.; Silva, Isabela S.; Ismail, Hussama I.; Cordeiro, Lucas C.; de Lima Filho, Eddie B.	2018	2018, vol.152
An experimental comparison of edge, edge-pair, and prime path criteria	Durelli, Vinicius H. S.; Delamaro, Marcio E.; Offutt, Jeff	2018	2018, vol.152
Translating essential OCL invariants to nested graph constraints for generating instances of meta-models	Radke, Hendrik; Arendt, Thorsten; Becker, Jan Steffen; Habel, Annegret; Taentzer, Gabriele	2018	2018, vol.152
Combining range and inequality information for pointer disambiguation	Maalej, Maroua; Paisante, Vitor; Quintao Pereira, Fernando Magno; Gonnord, Laure	2018	2018, vol.152
A case study of using grounded analysis as a requirement engineering method: Identifying personas that specify privacy and security tool users	Dupree, Janna-Lynn (Weber); Lank, Edward; Berry, Daniel M.	2018	2018, vol.152
A unified view of monadic and applicative non-determinism	Rivas, Exequiel; Jaskelioff, Mauro; Schrijvers, Tom	2018	2018, vol.152
All roads lead to Rome: Commuting strategies for product-line reliability analysis	Teixeira, Leopoldo; Apel, Sven; Schobbens, Pierre Yves; Castro, Thiago; Lanna, Andre; Alves, Vander	2018	2018, vol.152