Sciweavers

15614 search results - page 30 / 3123
» The State of State
Sort
View
WSC
1997
13 years 8 months ago
Multiplexed State Saving for Bounded Rollback
Optimistic parallel discrete event simulation (PDES) uses a state history trail to support rollback. State saving strategies range from making a complete copy of a model’s state...
Fabian Gomes, Brian Unger, John G. Cleary, Steve F...
CPE
1998
Springer
80views Hardware» more  CPE 1998»
13 years 11 months ago
Probability, Parallelism and the State Space Exploration Problem
We present a new dynamic probabilistic state exploration algorithm based on hash compaction. Our method has a low state omission probability and low memory usage that is independen...
William J. Knottenbelt, Mark Mestern, Peter G. Har...
VTS
1999
IEEE
114views Hardware» more  VTS 1999»
13 years 11 months ago
Partial Scan Using Multi-Hop State Reachability Analysis
Sequential test generators fail to yield tests for some stuck-at-faults because they are unable to reach certain states necessary for exciting propagating these target faults. Add...
Sameer Sharma, Michael S. Hsiao
EOR
2007
86views more  EOR 2007»
13 years 7 months ago
Multiple dependent state sampling plans for lot acceptance based on measurement data
This paper proposes a multiple dependent (or deferred) state sampling plan by variables for the inspection of normally distributed quality characteristics. The decision upon the a...
S. Balamurali, Chi-Hyuck Jun
ETFA
2008
IEEE
14 years 2 months ago
Optimal on-line (m, k)-firm constraint assignment for real-time control tasks based on plant state information
1 In this paper, we study the problem of scheduling a set of control tasks. We distinguish three different situations of states of controlled plants: not activated, steady state si...
Felicioni Flavia, Jia Ning, Françoise Simon...