128 search results - page 25 / 26 » Atomizer: a dynamic atomicity checker for multithreaded prog... |
CORR
2008
Springer
13 years 11 months ago
2008
Springer
This paper studies the effects of introducing altruistic agents into atomic congestion games. Altruistic behavior is modeled by a trade-off between selfish and social objectives. ...
IPPS
2008
IEEE
14 years 5 months ago
2008
IEEE
NAMD† is a portable parallel application for biomolecular simulations. NAMD pioneered the use of hybrid spatial and force decomposition, a technique now used by most scalable pr...
ISSTA
2010
ACM
14 years 2 months ago
2010
ACM
Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, ...
ISCA
2007
IEEE
14 years 5 months ago
2007
IEEE
Store misses cause significant delays in shared-memory multiprocessors because of limited store buffering and ordering constraints required for proper synchronization. Today, prog...
LACL
2001
Springer
14 years 3 months ago
2001
Springer
In categorial systems with a fixed structural component, the learning problem comes down to finding the solution for a set of typeassignment equations. A hard-wired structural co...