45 search results - page 6 / 9 » asm 2008 |
TODAES
1998
14 years 9 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 ...
ICCD
2008
IEEE
15 years 6 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...
71
Voted
SIAMAM
2008
14 years 9 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...
TITB
2008
14 years 9 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 ...
AMAST
2008
Springer
14 years 11 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...