2635 search results - page 52 / 527 » Computing multihomogeneous resultants using straight-line pr... |
CAV
2012
Springer
12 years 12 days ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
CODES
2010
IEEE
13 years 8 months ago
2010
IEEE
The last years have shown that there is no way to disregard the advantages provided by multiprocessor System-on-Chip (MPSoC) architectures in the embedded systems domain. Using mu...
GRID
2006
Springer
13 years 10 months ago
2006
Springer
One of the first motivations of using grids comes from applications managing large data sets in field such as high energy physics or life sciences. To improve the global throughput...
ICPP
2007
IEEE
14 years 4 months ago
2007
IEEE
Program parallelization requires mapping computation and data to processing elements. Navigational Programming (NavP), based on the principle of migrating computations, offers a d...
CAL
2002
13 years 9 months ago
2002
Abstract-- Computer architects must determine how to most effectively use finite computational resources when running simulations to evaluate new architectural ideas. To facilitate...