5493 search results - page 105 / 1099 » Effectively Polynomial Simulations |
116
click to vote
JSAT
2010
14 years 8 months ago
2010
Groote and Zantema proved that a particular OBDD computation of the pigeonhole formula has exponential size, and that limited OBDD derivations cannot simulate resolution polynomia...
102
click to vote
DAC
1996
ACM
15 years 5 months ago
1996
ACM
This paper presents a new concept for accurate modeling and timing simulationof electronicsystems integrated in a typical VHDL design environment, taking into account the requirem...
119
click to vote
SIGCSE
2000
ACM
15 years 1 months ago
2000
ACM
Effective teaching of operating system concepts requires projects. This paper describes a series of operating system projects all based on a simple hardware simulator that have be...
106
Voted
CN
2006
15 years 1 months ago
2006
Performance evaluation of computer networks through traditional packet-level simulation is becoming increasingly difficult as networks grow in size along different dimensions. Due...
WSC
2004
15 years 2 months ago
2004
This paper reviews the performance of various methods used to detect the warm up length in steady state discrete event simulation. An evaluation procedure is used to compare the m...