21430 search results - page 4091 / 4286 » Abstract Effective Models |
154
click to vote
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Exponentially rising cooling/packaging costs due to high power density call for architectural and software-level thermal management. Dynamic thermal management (DTM) techniques co...
157
Voted
DAC
2001
ACM
16 years 4 months ago
2001
ACM
Recently, the Internet revolutionized many activities from entertainment to marketing and business. Two key underlying Internet technologies, efficient data delivery and hypertext...
121
Voted
DAC
2004
ACM
16 years 4 months ago
2004
ACM
The increasing complexity of today's mixed-signal integrated circuits necessitates both top-down and bottom-up system-level verification. Time-domain state-space modeling and...
148
Voted
DAC
2006
ACM
16 years 4 months ago
2006
ACM
With ever-increasing power density and cooling costs in modern high-performance systems, dynamic thermal management (DTM) has emerged as an effective technique for guaranteeing th...
125
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...