Sciweavers

3686 search results - page 98 / 738
» Pattern-Based Parallel Programming
Sort
View
COMPUTER
2010
135views more  COMPUTER 2010»
14 years 10 months ago
Analyzing Parallel Programs with Pin
Moshe Bach, Mark Charney, Robert Cohn, Elena Demik...
IEICET
2006
65views more  IEICET 2006»
14 years 9 months ago
Toward Incremental Parallelization Using Navigational Programming
Lei Pan, Wenhui Zhang, Arthur Asuncion, Ming Kin L...
TOSEM
2008
91views more  TOSEM 2008»
14 years 9 months ago
Combining symbolic execution with model checking to verify parallel numerical programs
Stephen F. Siegel, Anastasia Mironova, George S. A...