128 search results - page 19 / 26 » Atomizer: a dynamic atomicity checker for multithreaded prog... |
116
click to vote
EMSOFT
2011
Springer
13 years 11 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
112
click to vote
ICALP
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Congestion games model several interesting applications, including routing and network formation games, and also possess attractive theoretical properties, including the ...
192
Voted
POPL
2009
ACM
16 years 7 days ago
2009
ACM
Asynchronous or "event-driven" programming is a popular technique to efficiently and flexibly manage concurrent interactions. In these programs, the programmer can post ...
ISCA
2009
IEEE
15 years 6 months ago
2009
IEEE
Shared-memory multi-threaded programming is inherently more difficult than single-threaded programming. The main source of complexity is that, the threads of an application can in...
IPPS
2009
IEEE
15 years 6 months ago
2009
IEEE
A reduction is a computation in which a common operation, such as a sum, is to be performed across multiple pieces of data, each supplied by a separate task. We introduce phaser a...