13137 search results - page 2439 / 2628 » A Science of Software Design |
265
click to vote
ASPLOS
2009
ACM
16 years 6 months ago
2009
ACM
Current shared memory multicore and multiprocessor systems are nondeterministic. Each time these systems execute a multithreaded application, even if supplied with the same input,...
258
click to vote
ASPLOS
2009
ACM
16 years 6 months ago
2009
ACM
While deterministic replay of parallel programs is a powerful technique, current proposals have shortcomings. Specifically, software-based replay systems have high overheads on mu...
173
click to vote
CCS
2009
ACM
16 years 6 months ago
2009
ACM
This paper introduces a method to control JavaScript execution. The aim is to prevent or modify inappropriate behaviour caused by e.g. malicious injected scripts or poorly designe...
162
click to vote
HPCA
2007
IEEE
16 years 6 months ago
2007
IEEE
The emergence of multicore architectures will lead to an increase in the use of multithreaded applications that are prone to synchronization bugs, such as data races. Software sol...
283
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...