Sciweavers

4074 search results - page 30 / 815
» Hardware Modelling and Simulation Using an Object-Oriented M...
Sort
View
88
Voted
ISCAS
2005
IEEE
138views Hardware» more  ISCAS 2005»
15 years 3 months ago
Modeling of MOS transistors based on genetic algorithm and simulated annealing
— A novel method to extract the efficient model for Metal-Oxide-Semiconductor (MOS) transistors in order to satisfy a specific accuracy is presented. The approach presented here ...
Mohammad Taherzadeh-Sani, Ali Abbasian, Behnam Ame...
94
Voted
CAV
2003
Springer
121views Hardware» more  CAV 2003»
15 years 2 months ago
Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods
Sanjit A. Seshia, Randal E. Bryant
EGH
2003
Springer
15 years 2 months ago
Simulation of cloud dynamics on graphics hardware
This paper presents a physically-based, visually-realistic interactive cloud simulation. Clouds in our system are modeled using partial differential equations describing fluid mot...
Mark J. Harris, William V. Baxter, Thorsten Scheue...
FMICS
2009
Springer
15 years 4 months ago
Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-...
83
Voted
ACMACE
2006
ACM
15 years 3 months ago
3DCG authoring system using turtle metaphor
A new type of Authoring System for 3DCG animation is developed in which a user can easily manipulate three dimensional objects in three dimensional simulated space on the computer...
Katsuhide Tsushima, Masayuki Ueno, Takeshi Nishiki...