Sciweavers

3686 search results - page 98 / 738
» Pattern-Based Parallel Programming
Sort
View
COMPUTER
2010
135views more  COMPUTER 2010»
15 years 2 months ago
Analyzing Parallel Programs with Pin
Moshe Bach, Mark Charney, Robert Cohn, Elena Demik...
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...