Sciweavers

1321 search results - page 5 / 265
» Logic Simulation Using Networks of State Machines
Sort
View
ICCD
1992
IEEE
84views Hardware» more  ICCD 1992»
13 years 11 months ago
Synthesis of 3D Asynchronous State Machines
We describe a new synthesis procedure for designing asynchronous controllers from burst-mode specifications, a class of specifications allowing multiple input change fundamental m...
Kenneth Y. Yun, David L. Dill, Steven M. Nowick
DSRT
2008
IEEE
14 years 1 months ago
Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
PADS
1998
ACM
13 years 11 months ago
Synchronized Data Distribution Management in Distributed Simulations
A considerable amount of effort in the DIS community has been devoted to developing efficient, scaleable, mechanisms for distributing state updates and interaction information in ...
Ivan Tacic, Richard Fujimoto
ICSEA
2006
IEEE
14 years 1 months ago
Testing a Network by Inferring Representative State Machines from Network Traces
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...
Nancy D. Griffeth, Yuri Cantor, Constantinos Djouv...
IJCNN
2006
IEEE
14 years 1 months ago
Preparing More Effective Liquid State Machines Using Hebbian Learning
—In Liquid State Machines, separation is a critical attribute of the liquid—which is traditionally not trained. The effects of using Hebbian learning in the liquid to improve s...
David Norton, Dan Ventura