601 search results - page 5 / 121 » Simulation vs. Equivalence |
CORR
2007
Springer
14 years 11 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
15 years 3 months ago
1998
IEEE
TVLSI
2008
14 years 11 months ago
2008
HPCA
1999
IEEE
15 years 4 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
15 years 6 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...