45 search results - page 6 / 9 » asm 2008 |
122
click to vote
TODAES
1998
15 years 4 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
126
Voted
ICCD
2008
IEEE
16 years 1 months ago
2008
IEEE
— Recent studies indicate that a considerable amount of an L2 cache leakage power is dissipated in its peripheral circuits, e.g., decoders, word-lines and I/O drivers. In additio...
116
Voted
SIAMAM
2008
15 years 4 months ago
2008
A frequency bandgap is a range of wave frequencies that are prohibited from passing through a medium. The dispersion relation, which links the frequency to the wave number, enables...
141
Voted
TITB
2008
15 years 4 months ago
2008
Abstract--Manual quantitative analysis of cardiac left ventricular function using Multislice CT and MR is arduous because of the large data volume. In this paper, we present a 3-D ...
141
Voted
AMAST
2008
Springer
15 years 7 months ago
2008
Springer
This paper gives a correctness proof for the on-chip COMA cache coherence protocol that supports the Microgrid of microtheaded architecture, a multi-core architecture capable of in...