546 search results - page 25 / 110 » An operational happens-before memory model |
ISPASS
2007
IEEE
15 years 4 months ago
2007
IEEE
The ongoing trend of increasing computer hardware and software complexity has resulted in the increase in complexity and overheads of cycle-accurate processor system simulation, e...
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Modern multicore processors, such as the Cell Broadband Engine, achieve high performance by equipping accelerator cores with small “scratchpad” memories. The price for increase...
67
Voted
CALCO
2007
Springer
15 years 3 months ago
2007
Springer
Besides functional correctness, specifications must describe other properties of permissible implementations. We want to use simple algebraic techniques to specify resource usage ...
COMPCON
1994
IEEE
15 years 1 months ago
1994
IEEE
Spring is a highly modular, distributed, object-oriented operating system. This paper describes the goals of the Spring system and provides overviews of the Spring object model, t...
CCS
2007
ACM
15 years 3 months ago
2007
ACM
As computing models change, so too do the demands on storage. Distributed and virtualized systems introduce new vulnerabilities, assumptions, and performance requirements on disks...