[Lecture Notes in Computer Science] Parallel Algorithms for Irregularly Structured Problems Volume 1117 || Using algorithmic skeletons with dynamic data structures
- 作者Ferreira, Alfonso; Rolim, José; Saad, Yousef; Yang, Tao
- 文件大小810.61KB
- 发表时间1996
- DOI10.1007/BFb0030116
- 页码263-276
[Lecture Notes in Computer Science] ESEC '87 Volume 289 || Experience with FORTRAN VERIFIERNichols, Howard; Simpson, Dan · 1987
[Lecture Notes in Computer Science] ESEC '87 Volume 289 || A user interface design tool.Nichols, Howard; Simpson, Dan · 1987
[Lecture Notes in Computer Science] ESEC '87 Volume 289 || Formal specifications, prototyping and integration testsNichols, Howard; Simpson, Dan · 1987
[Lecture Notes in Computer Science] ESEC '87 Volume 289 || TRICS: A testing tool for CNichols, Howard; Simpson, Dan · 1987
[Lecture Notes in Computer Science] ESEC '87 Volume 289 || Automatic program synthesis from data structuresNichols, Howard; Simpson, Dan · 1987
[Lecture Notes in Computer Science] ESEC '87 Volume 289 || PantaPM: an integrated software development environmentNichols, Howard; Simpson, Dan · 1987
[Lecture Notes in Computer Science] ESEC '87 Volume 289 || Configuration management in an open environmentNichols, Howard; Simpson, Dan · 1987
[Lecture Notes in Computer Science] ESEC '87 Volume 289 || Software design automation in an IPSENichols, Howard; Simpson, Dan · 1987