3820 search results - page 142 / 764 » Bounded Model Debugging |
106
Voted
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...
93
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
132
Voted
ANSS
2007
IEEE
15 years 6 months ago
2007
IEEE
Molecular Dynamics (MD) involves solving Newton's equations of motion for a molecular system and propagating the system by time-dependent updates of atomic positions and velo...
100
click to vote
ASPDAC
2001
ACM
15 years 6 months ago
2001
ACM
Loical defect diagnosis is a critical yet challenging process in VLSI manufacturing. It involves the identification of the defect spots in a logic IC that fails testing. In the la...
113
Voted
IEEECIT
2010
IEEE
15 years 1 months ago
2010
IEEE
—This paper compares parallel and distributed implementations of an iterative, Gibbs sampling, machine learning algorithm. Distributed implementations run under Hadoop on facilit...