Sciweavers

4074 search results - page 86 / 815
» Hardware Modelling and Simulation Using an Object-Oriented M...
Sort
View
FMSD
2002
128views more  FMSD 2002»
14 years 9 months ago
Combining Software and Hardware Verification Techniques
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
Robert P. Kurshan, Vladimir Levin, Marius Minea, D...
WCE
2007
14 years 11 months ago
High-Performance Multigrid Solvers in Reconfigurable Hardware
—Partial Differential Equations (PDEs) play an essential role in modeling real world problems. The broad field of modeling such systems has drawn the researchers’ attention for...
Safaa J. Kasbah, Issam W. Damaj
WSC
2000
14 years 11 months ago
Simply Simulation: an interactive CD-ROM-based approach for learning simulation concepts
The purpose of this paper is to introduce a new approach to teaching an introductory simulation course using an interactive CD-ROM titled "Simply Simulation". This metho...
Connie Nott, Graham Nott, C. Christopher Lee
WSC
2008
15 years 2 days ago
Establishing the credibility of a biotech simulation model
One of the key goals for a simulation model is to accurately replicate the real system under consideration. A protocol is proposed to add credibility to the outputs of a simulatio...
Lenrick Johnston, Lee Schruben, Arden Yang, David ...
BMCBI
2011
14 years 4 months ago
Simulated evolution applied to study the genetic code optimality using a model of codon reassignments
Background: As the canonical code is not universal, different theories about its origin and organization have appeared. The optimization or level of adaptation of the canonical ge...
Jose Santos, Ángel Monteagudo