Sciweavers

3660 search results - page 96 / 732
» Parallel Program Archetypes
Sort
View
IEICET
2006
65views more  IEICET 2006»
15 years 2 months ago
Toward Incremental Parallelization Using Navigational Programming
Lei Pan, Wenhui Zhang, Arthur Asuncion, Ming Kin L...
TOSEM
2008
91views more  TOSEM 2008»
15 years 2 months ago
Combining symbolic execution with model checking to verify parallel numerical programs
Stephen F. Siegel, Anastasia Mironova, George S. A...
68
Voted
JISE
2000
54views more  JISE 2000»
15 years 2 months ago
A New Program-Driven Parallel Machine Simulation Environment
Pozung Chen, Shyh-Nong Chen
78
Voted
JISE
2000
69views more  JISE 2000»
15 years 2 months ago
Flat Indexing Scheme: A New Compilation Technique to Enhance Parallelism of Logic Programs
Hiecheol Kim, Kangwoo Lee, Jean-Luc Gaudiot