9520 search results - page 1758 / 1904 » or 2011 |
201
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
213
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
Graphics processing units (GPUs) provide a low cost platform for accelerating high performance computations. The introduction of new programming languages, such as CUDA and OpenCL...
215
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
Cloud services accessed through mobile devices suffer from high network access latencies and are constrained by energy budgets dictated by the devices’ batteries. Radio and batt...
183
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
The adoption of transactional memory is hindered by the high overhead of software transactional memory and the intrusive design changes required by previously proposed TM hardware...
214
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
Concurrency bugs are caused by non-deterministic interleavings between shared memory accesses. Their effects propagate through data and control dependences until they cause softwa...