Sciweavers

16822 search results - page 349 / 3365
» Designing Simulation Experiments
Sort
View
DATE
2010
IEEE
163views Hardware» more  DATE 2010»
15 years 11 months ago
AgeSim: A simulation framework for evaluating the lifetime reliability of processor-based SoCs
Aggressive technology scaling has an ever-increasing adverse impact on the lifetime reliability of microprocessors. This paper proposes a novel simulation framework for evaluating...
Lin Huang, Qiang Xu
ICPR
2002
IEEE
15 years 11 months ago
Simulated Static Electric Field (SSEF) Snake for Deformable Models
In this paper, a novel design of external force for snake is proposed. This kind of external force is actually a field, which we call the Simulated Static Electric Field (SSEF). T...
Dan Yuan, Siwei Lu
DAC
2003
ACM
16 years 7 months ago
Using a formal specification and a model checker to monitor and direct simulation
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
Serdar Tasiran, Yuan Yu, Brannon Batson
161
Voted
RSP
2005
IEEE
16 years 9 days ago
Test-Time, Run-Time, and Simulation-Time Temporal Assertions in RSP
For cost-effective prototyping, system designers should have a clear understanding of the intended use of the prototype under development. This paper describes a classification of...
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Dem...
DATE
2003
IEEE
108views Hardware» more  DATE 2003»
16 years 9 hour ago
Comparing Analytical Modeling with Simulation for Network Processors: A Case Study
Programming network processors remains an art due to the variety of different network processor architectures and due to little support to reason and explore implementations on su...
Matthias Gries, Chidamber Kulkarni, Christian Saue...