1492 search results - page 165 / 299 » Concurrent programming in VISO |
129
click to vote
PPOPP
2011
ACM
14 years 3 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
159
click to vote
PROCEDIA
2011
14 years 3 months ago
2011
A new challenge in scientific computing is to merge existing simulation models to create new higher fidelity combined (often multi-level) models. While this challenge has been a...
110
Voted
ASPLOS
2012
ACM
13 years 8 months ago
2012
ACM
Software developers commonly exploit multicore processors by building multithreaded software in which all threads of an application share a single address space. This shared addre...
120
click to vote
ENTCS
2007
15 years 17 days ago
2007
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
KBSE
2008
IEEE
15 years 7 months ago
2008
IEEE
—Writing correct multithreaded programs is difficult. Existing tools for finding bugs in multithreaded programs primarily focus on finding generic concurrency problems such as...