Sciweavers

1321 search results - page 119 / 265
» Logic Simulation Using Networks of State Machines
Sort
View
106
Voted
DSN
2007
IEEE
15 years 9 months ago
BlackJack: Hard Error Detection with Redundant Threads on SMT
Testing is a difficult process that becomes more difficult with scaling. With smaller and faster devices, tolerance for errors shrinks and devices may act correctly under certain ...
Ethan Schuchman, T. N. Vijaykumar
133
Voted
WSC
1997
15 years 4 months ago
Arena Software Tutorial
The Arena modeling system from Systems Modeling Corporation is a flexible and powerful tool that allows analysts to create animated simulation models that accurately represent vir...
David A. Takus, David M. Profozich
118
Voted
ICPADS
2007
IEEE
15 years 9 months ago
Federated clusters using the transparent remote Execution (TREx) environment
- Due to the increasing complexity of scientific models, large-scale simulation tools often require a critical amount of computational power to produce results in a reasonable amou...
Richert Wang, Enrique Cauich, Isaac D. Scherson
113
Voted
ICDCSW
2006
IEEE
15 years 8 months ago
Fault-Tolerance Verification of the Fluids and Combustion Facility of the International Space Station
The Fluids and Combustion Facility (FCF) will be a permanent modular, multi-user facility used to accommodate microgravity science experiments in the U.S. Laboratory Module onboar...
Raquel S. Whittlesey-Harris, Mikhail Nesterenko
120
Voted
AIEDU
2004
95views more  AIEDU 2004»
15 years 2 months ago
Looking Ahead to Select Tutorial Actions: A Decision-Theoretic Approach
We propose and evaluate a decision-theoretic approach for selecting tutorial actions by looking ahead to anticipate their effects on the student and other aspects of the tutorial s...
R. Charles Murray, Kurt VanLehn, Jack Mostow