Sciweavers

6289 search results - page 1218 / 1258
» Error Sequence Analysis
Sort
View
DAC
2005
ACM
16 years 25 days ago
StressTest: an automatic approach to test generation via activity monitors
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
Ilya Wagner, Valeria Bertacco, Todd M. Austin
IPMI
2005
Springer
16 years 21 days ago
Regional Whole Body Fat Quantification in Mice
Obesity has risen to epidemic levels in the United States and around the world. Global indices of obesity such as the body mass index (BMI) have been known to be inaccurate predict...
Xenophon Papademetris, Pavel Shkarin, Lawrence H. ...
ICML
2000
IEEE
16 years 20 days ago
Discovering Homogeneous Regions in Spatial Data through Competition
If all features causing heterogeneity were observed, a mixture of experts approach (Jacobs et al., 1991) is likely to be superior to using a single model. When unobserved or very n...
Slobodan Vucetic, Zoran Obradovic
SIGSOFT
2002
ACM
16 years 18 days ago
Invariant inference for static checking
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
Jeremy W. Nimmer, Michael D. Ernst
VLSID
2009
IEEE
155views VLSI» more  VLSID 2009»
16 years 14 days ago
Unified Challenges in Nano-CMOS High-Level Synthesis
: The challenges in nano-CMOS circuit design include the following: variability, leakage, power, thermals, reliability, and yield. This talk will focus on interdependent considerat...
Saraju P. Mohanty
« Prev « First page 1218 / 1258 Last » Next »