4722 search results - page 559 / 945 » Encoding Program Executions |
183
Voted
SCP
2010
14 years 11 months ago
2010
We propose a domain-specific aspect language to prevent denial of service caused by resource management. Our aspects specify availability policies by enforcing time limits in the ...
138
click to vote
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
The performance benefits of GPU parallelism can be enormous, but unlocking this performance potential is challenging. The applicability and performance of GPU parallelizations is...
139
click to vote
PPOPP
2012
ACM
14 years 5 days ago
2012
ACM
Lock-freedom is a progress guarantee that ensures overall program progress. Wait-freedom is a stronger progress guarantee that ensures the progress of each thread in the program. ...
244
click to vote
VSTTE
2012
Springer
14 years 5 days ago
2012
Springer
A piece of code in a computer program is infeasible if it cannot be part of any normally-terminating execution of the program. We develop an algorithm for the automatic detection o...
195
Voted
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...