27913 search results - page 477 / 5583 » Simulation |
137
click to vote
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Classical formalizations of systems and properties are boolean: given a system and a property, the property is either true or false of the system. The classical view part...
186
click to vote
TASLP
2010
14 years 11 months ago
2010
Abstract-- In many research fields of engineering and acoustics, the image-source model represents one of the most popular tools for the simulation of sound fields in virtual rever...
150
click to vote
WSC
1997
15 years 5 months ago
1997
Modeling and simulation of very large systems introduces a number of issues that are not seen in the modeling of simpler systems. These arise because the resource requirements for...
153
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
The threshold voltage (Vth) of a nanoscale transistor is severely affected by random dopant fluctuations and line-edge roughness. The analysis of these effects usually requires at...
124
click to vote
SIGCSE
2009
ACM
16 years 5 months ago
2009
ACM
ion and Extensibility in Digital Logic Simulation Software Richard M. Salter and John L. Donaldson Computer Science Department Oberlin College Oberlin, OH 44074 rms@cs.oberlin.edu,...