1559 search results - page 188 / 312 » The Semantics of Future and Its Use in Program Optimizations |
150
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
181
click to vote
CODES
2007
IEEE
16 years 12 days ago
2007
IEEE
Caches are notorious for their unpredictability. It is difficult or even impossible to predict if a memory access results in a definite cache hit or miss. This unpredictability i...
171
click to vote
ASPLOS
2011
ACM
14 years 9 months ago
2011
ACM
Transactional memory (TM) is a promising synchronization mechanism for the next generation of multicore processors. Best-effort Hardware Transactional Memory (HTM) designs, such a...
149
click to vote
SPE
2008
15 years 6 months ago
2008
This paper presents a variation of the visitor pattern which allows programmers to write visitor-like code in a concise way. The Runabout is a library extension that adds a limited...
159
click to vote
SIGADA
2004
Springer
15 years 11 months ago
2004
Springer
The purpose of this research paper is to illustrate the industrial and federal need for Information Systems Security Engineering (ISSE) in order to build Information Assurance (IA...