Sciweavers

2877 search results - page 390 / 576
» The Complexity of Planarity Testing
Sort
View
ISQED
2007
IEEE
156views Hardware» more  ISQED 2007»
15 years 10 months ago
A New Method of Implementing Hierarchical OPC
For emerging deep-subwavelength lithography technologies (90 nm and following) the data volume and the complexity of Optical Proximity Correction (OPC) have increased dramatically...
Yufu Zhang, Zheng Shi
QSIC
2007
IEEE
15 years 10 months ago
Learning Effective Oracle Comparator Combinations for Web Applications
Web application testers need automated, effective approaches to validate the test results of complex, evolving web applications. In previous work, we developed a suite of automate...
Sara Sprenkle, Emily Hill, Lori L. Pollock
SMC
2007
IEEE
130views Control Systems» more  SMC 2007»
15 years 10 months ago
Simulation framework for training chest tube insertion using virtual reality and force feedback
—Most virtual reality simulators are designed for complex medical procedures, such as laparoscopic surgery. While important, these simulators are of use for only a subset of spec...
Nader S. Raja, John A. Schleser, William P. Norman...
VTC
2007
IEEE
15 years 10 months ago
Modeling UpLink Power Control with Outage Probabilities
We investigate models for uplink interference in wireless systems. Our models account for the effects of outage probabilities. Such an accounting requires a nonlinear, even nonco...
Kenneth L. Clarkson, K. Georg Hampel, John D. Hobb...
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
15 years 10 months ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...