Sciweavers

10952 search results - page 123 / 2191
» Advances in Network Simulation
Sort
View
ICCAD
2007
IEEE
103views Hardware» more  ICCAD 2007»
15 years 8 months ago
Enhancing design robustness with reliability-aware resynthesis and logic simulation
While circuit density and power efficiency increase with each major advance in IC technology, reliability with respect to soft errors tends to decrease. Current solutions to this...
Smita Krishnaswamy, Stephen Plaza, Igor L. Markov,...
DATE
2008
IEEE
122views Hardware» more  DATE 2008»
15 years 5 months ago
Simulation-Directed Invariant Mining for Software Verification
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
Xueqi Cheng, Michael S. Hsiao
IPPS
2003
IEEE
15 years 4 months ago
Performance Modeling for Entity-Level Simulations
Advances across many fields of study are driving changes in the basic nature of scientific computing applications. Scientists have recognized a growing need to study phenomena b...
Alan Su, Francine Berman, Henri Casanova
ATAL
2006
Springer
15 years 2 months ago
Synergistic integration of agent technologies for military simulation
To perform large-scale coordination in real-world environments requires that many individually complex technologies come together to form integrated solutions. In this paper, we p...
Sean Owens, Paul Scerri, Robin Glinton, Bin Yu, Ka...
JCC
2008
138views more  JCC 2008»
14 years 11 months ago
Circular dichroism enhancement in large DNA aggregates simulated by a generalized oscillator model
Abstract: An increased circular dichroism (CD) signal of large molecular aggregates formed upon DNA condensation was observed a long time ago, and is often referred to as w-CD. The...
Valery Andrushchenko, Petr Bour