1008 search results - page 24 / 202 » A cis-regulatory logic simulator |
ISLPED
1996
ACM
14 years 23 days ago
1996
ACM
The power versus frequency performance of a micropipelined conventional CMOS logic family is compared with that of three similarly pipelined energy-recovering logic families. Usin...
PATMOS
2005
Springer
14 years 2 months ago
2005
Springer
DAC
1990
ACM
14 years 20 days ago
1990
ACM
Symbolic simulation involves evaluating circuit behavior using special symbolic values to encode a range of circuit operating conditions. In one simulation run, a symbolic simulat...
WSC
1997
13 years 10 months ago
1997
A new scheme for interactively testing what-if and alternative scenarios in parallel simulations is presented. Potential branches or choices can be specified interactively and in...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. This paper presents simulation-based relations for probabilistic game structures. The first relation is called probabilistic alternating simulation, and the second called...