4074 search results - page 182 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
143
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
184
click to vote
EGITALY
2006
15 years 8 months ago
2006
We describe an architecture for massive simulation of a distributed behavioral model using graphics hardware. By leveraging on the recent programmable capabilities of GPUs we impl...
159
click to vote
ISCAS
2005
IEEE
16 years 2 days ago
2005
IEEE
Inductance effects of on-chip interconnects have become more and more significant in today’s high-speed digital circuits, especially for global interconnects such as signal buse...
173
click to vote
FPL
2009
Springer
15 years 9 months ago
2009
Springer
The acceleration of molecular dynamics (MD) simulations using high performance reconfigurable computing (HPRC) has been much studied. Given the intense competition from multicore...
185
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
We describe a clustering algorithm based on continuous Hidden Markov Models (HMM) to automatically classify both electrocardiogram (ECG) and intracranial pressure (ICP) beats base...