4074 search results - page 147 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
148
click to vote
ICAI
2008
15 years 7 months ago
2008
coarse procedures or very abstract frames from the point of view of algorithm, because some crucial issues like the representation, evolution, storage, and learning process of conc...
175
click to vote
CAV
2001
Springer
15 years 11 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
162
click to vote
ACSD
2008
IEEE
16 years 27 days ago
2008
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, two automati...
169
click to vote
FIMH
2007
Springer
16 years 17 days ago
2007
Springer
This paper presents a first set of experiments to integrate a realistic electro-mechanical model of a beating heart into simulated real-time three-dimensional (RT3D) ultrasound da...
169
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
— Statistical static timing analysis deals with the increasing variations in manufacturing processes to reduce the pessimism in the worst case timing analysis. Because of the cor...