3082 search results - page 12 / 617 » Deviation Analysis: A New Use of Model Checking |
TCAD
2010
14 years 4 months ago
2010
Artificial neural networks (ANNs) have shown great promise in modeling circuit parameters for computer aided design applications. Leakage currents, which depend on process paramete...
ICC
2008
IEEE
15 years 3 months ago
2008
IEEE
— A signal space diversity (SSD) scheme is one of techniques to achieve diversity gain in fading channels. This method consists of two key operations: constellation rotation and ...
112
Voted
EMSOFT
2008
Springer
14 years 11 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
CAV
2005
Springer
15 years 3 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
96
Voted
CAV
2006
Springer
15 years 1 months ago
2006
Springer
We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction...