Sciweavers

2272 search results - page 321 / 455
» Validity Invariants and Effects
Sort
View
ISCA
2003
IEEE
168views Hardware» more  ISCA 2003»
15 years 9 months ago
Temperature-Aware Microarchitecture
With power density and hence cooling costs rising exponentially, processor packaging can no longer be designed for the worst case, and there is an urgent need for runtime processo...
Kevin Skadron, Mircea R. Stan, Wei Huang, Sivakuma...
ISESE
2003
IEEE
15 years 9 months ago
An Experimental Evaluation of Inspection and Testing for Detection of Design Faults
The two most common strategies for verification and validation, inspection and testing, are in a controlled experiment evaluated in terms of their fault detection capabilities. Th...
Carina Andersson, Thomas Thelin, Per Runeson, Nina...
ISQED
2003
IEEE
109views Hardware» more  ISQED 2003»
15 years 9 months ago
Modeling and Analysis of Power Distribution Networks for Gigabit Applications
—As the operating frequency of digital systems increases and voltage swing decreases, it becomes very important to characterize and analyze power distribution networks (PDNs) acc...
Wendemagegnehu T. Beyene, Chuck Yuan, Joong-Ho Kim...
METRICS
2003
IEEE
15 years 9 months ago
Issues in Using Students in Empirical Studies in Software Engineering Education
Several empirical studies have been carried out with college students as subjects in the last few years. Researchers often use these studies to pilot experiments before they are c...
Jeffrey Carver, Maria Letizia Jaccheri, Sandro Mor...
STEP
2003
IEEE
15 years 9 months ago
Incorporating Quality Requirements in Software Migration Process
The reengineering of legacy software systems to modern Object Oriented platforms has received significant attention over the past few years. However, most often the reengineering ...
Ying Zou