Sciweavers

3656 search results - page 197 / 732
» Parallel programming in Split-C
Sort
View
COMPUTER
2010
135views more  COMPUTER 2010»
15 years 6 months ago
Analyzing Parallel Programs with Pin
Moshe Bach, Mark Charney, Robert Cohn, Elena Demik...
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...
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...