13591 search results - page 185 / 2719 » On the Implementation of Dynamic Evaluation |
185
click to vote
CAL
2002
15 years 6 months ago
2002
Abstract-This paper proposes the use of four-transistor (4T) cache and branch predictor array cell designs to address increasing worries regarding leakage power dissipation. While ...
159
click to vote
FPL
2010
Springer
15 years 4 months ago
2010
Springer
Transactional memory is a promising, optimistic synchronization mechanism for chip-multiprocessor systems. The simplicity of atomic sections, instead of using explicit locks, is al...
155
click to vote
SPIN
2007
Springer
16 years 21 days ago
2007
Springer
Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semant...
145
click to vote
IWEC
2008
15 years 8 months ago
2008
The ability to simulate a seaport environment, including illicit cargo and the sensors designed to detect such cargo, allows the evaluation of alternative detection methods in orde...
165
click to vote
LAWEB
2006
IEEE
16 years 18 days ago
2006
IEEE
Since the end of 2004, when the law decree about accessibility for Brazilian governmental websites came into force, the federal agencies have been struggling to conform to the nor...