4074 search results - page 675 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
107
Voted
SAT
2004
Springer
15 years 8 months ago
2004
Springer
The Boolean circuits is well established as a data structure for building propositional encodings of problems in preparation for satisfiability solving. The standard method for co...
141
Voted
ET
1998
15 years 2 months ago
1998
This paper explores the design of efficient test sets and test-pattern generators for online BIST. The target applications are high-performance, scalable datapath circuits for whi...
147
Voted
CGF
2010
15 years 2 months ago
2010
Molecular dynamics simulations are a principal tool for studying molecular systems. Such simulations are used to investigate molecular structure, dynamics, and thermodynamical pro...
103
click to vote
ISCA
2007
IEEE
15 years 9 months ago
2007
IEEE
Transient faults due to particle strikes are a key challenge in microprocessor design. Driven by exponentially increasing transistor counts, per-chip faults are a growing burden. ...
111
Voted
ICPR
2000
IEEE
16 years 3 months ago
2000
IEEE
Recognizing structure of human body is important for modeling human motion. Human body is usually represented as an articulate model, which consists of the rigid parts and the joi...