3082 search results - page 284 / 617 » Deviation Analysis: A New Use of Model Checking |
169
Voted
AAAI
2008
15 years 9 months ago
2008
Automated generators for synthetic models and data can play a crucial role in designing new algorithms/modelframeworks, given the sparsity of benchmark models for empirical analys...
169
click to vote
DAC
2006
ACM
16 years 18 days ago
2006
ACM
VLSI engineers have traditionally used a variety of CAD analysis tools (e.g. SPICE) to deal with variability. As we go into deep sub micron issues, the analysis is becoming harder...
169
click to vote
WSC
1998
15 years 8 months ago
1998
Carousel storage systems are often used to increase storage density, throughput and efficiency while reducing inventory and man-hours. The Hewlett-Packard company has developed a ...
214
click to vote
AAAI
2006
15 years 8 months ago
2006
We describe an approach to distributed knowledge acquisition using an ontology. The ontology is used to represent and reason about soldier performance. These methods are embedded ...
170
click to vote
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
- In this paper, new formulations for the energy dissipation of lossy transmission lines driven by CMOS inverters are provided. These formulations are obtained using an approximate...