1775 search results - page 16 / 355 » Antichains on Three Levels |
CORR
2010
Springer
14 years 9 months ago
2010
Springer
With scaling of Vt sub-threshold leakage power is increasing and expected to become significant part of total power consumption.In present work three new configurations of level s...
TACAS
2000
Springer
15 years 1 months ago
2000
Springer
We present three methods for the integration of symmetries into reachability analysis. Two of them lead to perfect reduction but their runtime depends on the symmetry structure. Th...
WOA
2003
14 years 11 months ago
2003
— The aim of this paper is to focus on the issues connected with the diagrammatic notations and tools, which should support developers when moving from the design phase towards t...
TCAD
2002
14 years 9 months ago
2002
Abstract--Recent study shows that the nonuniform thermal distribution not only has an impact on the substrate but also interconnects. Hence, three
88
Voted
ASPDAC
2010
ACM
14 years 7 months ago
2010
ACM
This paper proposes a source-level timing annotation method for generation of accurate transaction level models for software computation modules. While Transaction Level Modeling ...