290 search results - page 37 / 58 » Using speculative computation and parallelizing techniques t... |
PVM
2007
Springer
14 years 26 days ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
HPCC
2009
Springer
13 years 11 months ago
2009
Springer
Compared with lock-based synchronization techniques, Software Transactional Memory (STM) can significantly improve the programmability of multithreaded applications. Existing res...
MOR
2007
13 years 6 months ago
2007
Adaptive Monte Carlo methods are simulation efficiency improvement techniques designed to adaptively tune simulation estimators. Most of the work on adaptive Monte Carlo methods h...
IEEEPACT
1998
IEEE
13 years 11 months ago
1998
IEEE
The SGI Origin 2000 is designedto support a wide range of applications and has low local and remote memory latencies. However, it often has a high ratio of remote to local misses....
ICS
2005
Tsinghua U.
14 years 8 days ago
2005
Tsinghua U.
Performance simulation tools must be validated during the design process as functional models and early hardware are developed, so that designers can be sure of the performance of...