Sciweavers

3660 search results - page 96 / 732
» Parallel Program Archetypes
Sort
View
IEICET
2006
65views more  IEICET 2006»
15 years 4 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 4 months ago
Combining symbolic execution with model checking to verify parallel numerical programs
Stephen F. Siegel, Anastasia Mironova, George S. A...