Sciweavers

7311 search results - page 15 / 1463
» Time in State Machines
Sort
View
DATE
2002
IEEE
86views Hardware» more  DATE 2002»
14 years 8 days ago
A Layered, Codesign Virtual Machine Approach to Modeling Computer Systems
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
JoAnn M. Paul, Donald E. Thomas
ECML
1993
Springer
13 years 11 months ago
Decision Tree Pruning as a Search in the State Space
Floriana Esposito, Donato Malerba, Giovanni Semera...
DATE
1998
IEEE
74views Hardware» more  DATE 1998»
13 years 11 months ago
State Relaxation Based Subsequence Removal for Fast Static Compaction in Sequential Circuits
We extend the subsequence removal technique to provide signi cantly higher static compaction for sequential circuits. We show that state relaxation techniques can be used to ident...
Michael S. Hsiao, Srimat T. Chakradhar
SIAMCOMP
2010
83views more  SIAMCOMP 2010»
13 years 5 months ago
Reaching and Distinguishing States of Distributed Systems
Some systems interact with their environment at physically distributed interfaces, called ports, and in testing such a system it is normal to place a tester at each port. Each test...
Robert M. Hierons