601 search results - page 5 / 121 » Simulation vs. Equivalence |
CORR
2007
Springer
13 years 9 months ago
2007
Springer
: New nanotechnology based devices are replacing CMOS devices to overcome CMOS technology’s scaling limitations. However, many such devices exhibit nonmonotonic I-V characteristi...
ICRA
1998
IEEE
14 years 1 months ago
1998
IEEE
TVLSI
2008
13 years 9 months ago
2008
HPCA
1999
IEEE
14 years 2 months ago
1999
IEEE
Previous simulators for shared-memory architectures have imposed a large tradeoff between simulation accuracy and speed. Most such simulators model simple processors that do not e...
CONCUR
2009
Springer
14 years 4 months ago
2009
Springer
Stuttering bisimulation is a well-known behavioural equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preord...