9067 search results - page 790 / 1814 » Adaptive Model Checking |
238
click to vote
DAC
2009
ACM
16 years 8 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...
228
click to vote
IEEEPACT
2009
IEEE
16 years 2 months ago
2009
IEEE
Increasing demand for performance and efficiency has driven the computer industry toward multicore systems. These systems have become the industry standard in almost all segments...
203
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
Ever-increasing integrated circuit (IC) power densities and peak temperatures threaten reliability, performance, and economical cooling. To address these challenges, thermal analy...
229
click to vote
ATAL
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. Positioned at the confluence between human/machine and hardware/software integration and backed by a solid proof of concept realized through several scenarios encompassin...
211
click to vote
ICSE
2010
IEEE-ACM
16 years 12 days ago
2010
IEEE-ACM
Statistical debugging uses lightweight instrumentation and statistical models to identify program behaviors that are strongly predictive of failure. However, most software is most...