63 search results - page 12 / 13 » Dynamic phase analysis for cycle-close trace generation |
DATE
2005
IEEE
13 years 11 months ago
2005
IEEE
With the scaling of technology and higher requirements on performance and functionality, power dissipation is becoming one of the major design considerations in the development of...
ECMDAFA
2010
Springer
13 years 8 months ago
2010
Springer
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
ISSTA
2009
ACM
13 years 12 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
ASPDAC
2006
ACM
13 years 11 months ago
2006
ACM
: With technology scaling, elevated temperatures caused by increased power density create a critical bottleneck modulating the circuit operation. With the advent of FinFET technolo...
MICRO
2003
IEEE
13 years 10 months ago
2003
IEEE
With power dissipation becoming an increasingly vexing problem across many classes of computer systems, measuring power dissipation of real, running systems has become crucial for...