Sciweavers

4248 search results - page 140 / 850
» Simulating hci for all
Sort
View
PADS
2003
ACM
15 years 11 months ago
Four Types of Lookback
We present a classification that groups lookback into four types: direct strong lookback, universal strong lookback, direct weak lookback, and universal weak lookback. They are d...
Gilbert Chen, Boleslaw K. Szymanski
ICCAD
1999
IEEE
77views Hardware» more  ICCAD 1999»
15 years 10 months ago
Symbolic functional and timing verification of transistor-level circuits
We introduce a new method of verifying the timing of custom CMOS circuits. Due to the exponential number of patterns required, traditional simulation methods are unable to exhaust...
Clayton B. McDonald, Randal E. Bryant
WSC
2007
15 years 8 months ago
Important factors in screening for colorectal cancer
A complex, stochastic simulation model of Colorectal Cancer (CRC) is examined through factor screening to determine which factors in the model are important. The factor screening ...
Reza Yaesoubi, Stephen D. Roberts
WSC
2004
15 years 7 months ago
Permuted Weighted Area Estimators
Calvin and Nakayama previously introduced permuting as a way of improving existing standardized time series methods. The basic idea is to split a simulated sample path into nonove...
James M. Calvin, Marvin K. Nakayama
WSC
2004
15 years 7 months ago
Functional Analysis for Operating Emergency Department of a General Hospital
An entire emergency department of a general hospital is simulated to examine patient flows. First, times needed for both outpatients and patients arriving via ambulance to be proc...
Soemon Takakuwa, Hiroko Shiozaki