Sciweavers

34 search results - page 1 / 7
» Sequence Compaction for Probabilistic Analysis of Finite-Sta...
Sort
View
95
Voted
DAC
1997
ACM
15 years 3 months ago
Sequence Compaction for Probabilistic Analysis of Finite-State Machines
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). T...
Diana Marculescu, Radu Marculescu, Massoud Pedram
125
Voted
DAC
1994
ACM
15 years 2 months ago
Probabilistic Analysis of Large Finite State Machines
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fab...
109
Voted
EVOW
2008
Springer
15 years 21 days ago
Composing Music with Neural Networks and Probabilistic Finite-State Machines
In this paper, biological (human) music composition systems based on Time Delay Neural Networks and Ward Nets and on a probabilistic Finite-State Machine will be presented. The sys...
Tomasz Michal Oliwa, Markus Wagner
122
Voted
ISLPED
1997
ACM
104views Hardware» more  ISLPED 1997»
15 years 2 months ago
Composite sequence compaction for finite-state machines using block entropy and high-order Markov models
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). B...
Radu Marculescu, Diana Marculescu, Massoud Pedram
86
Voted
EUROMICRO
2009
IEEE
15 years 2 months ago
Formal Semantics of the ProCom Real-Time Component Model
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlso...