1663 search results - page 180 / 333 » Validation and Verification of Simulation Models |
230
click to vote
ASIAMS
2009
IEEE
15 years 9 months ago
2009
IEEE
—Reduced ordered binary decision diagram (ROBDD) is a memory-efficient data structure which is used in many applications such as synthesis, digital system, verification, testing ...
146
click to vote
AIPS
2007
15 years 6 months ago
2007
A great deal of research has addressed the problem of generating optimal plans, but these plans are of limited use in circumstances where noisy sensors, unanticipated exogenous ac...
125
click to vote
AFRIGRAPH
2001
ACM
15 years 7 months ago
2001
ACM
Three dimensional computer reconstruction provides us with a means of visualising past environments, allowing us a glimpse of the past that might otherwise be difficult to appreci...
116
click to vote
VLSID
2008
IEEE
16 years 4 months ago
2008
IEEE
Negative Bias Temperature Instability (NBTI) has been identified as a major and critical reliability issue for PMOS devices in nano-scale designs. It manifests as a negative thres...
141
click to vote
DSN
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper introduces SymPLFIED, a program-level framework which allows specification of arbitrary error detectors and the verification of their efficacy against hardware errors. ...