Sciweavers

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