4074 search results - page 383 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
188
Voted
DATE
2005
IEEE
16 years 12 days ago
2005
IEEE
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...
173
click to vote
CAV
2003
Springer
16 years 19 hour ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
173
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
The problem of registering Diffusion Tensor (DT) images is considered. We describe a novel intensity based registration method capable of performing affine and nonlinear registrat...
190
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
o much higher levels of abstraction than today's design practices, which are usually at the level of synthesizable RTL for custom hardware or Instruction Set Simulator (ISS) f...
202
click to vote
AAAI
1996
15 years 8 months ago
1996
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect incons...