Sciweavers

2346 search results - page 180 / 470
» Hierarchical State Machines
Sort
View
FSTTCS
2007
Springer
14 years 4 months ago
Synthesis of Safe Message-Passing Systems
We show that any regular set of basic MSCs can be implemented by a deadlock-free communicating finite-state machine with local termination: Processes stop in local dead-states ind...
Nicolas Baudru, Rémi Morin
ECML
2005
Springer
14 years 3 months ago
Inducing Hidden Markov Models to Model Long-Term Dependencies
We propose in this paper a novel approach to the induction of the structure of Hidden Markov Models. The induced model is seen as a lumped process of a Markov chain. It is construc...
Jérôme Callut, Pierre Dupont
IJCNN
2006
IEEE
14 years 4 months ago
Reservoir-based techniques for speech recognition
— A solution for the slow convergence of most learning rules for Recurrent Neural Networks (RNN) has been proposed under the terms Liquid State Machines (LSM) and Echo State Netw...
David Verstraeten, Benjamin Schrauwen, Dirk Stroob...
ICCAD
1998
IEEE
79views Hardware» more  ICCAD 1998»
14 years 1 months ago
Reencoding for cycle-time minimization under fixed encoding length
This paper presents efficient reencoding and resynthesis algorithms for cycle-time minimization of multilevel implementations of synchronous finite state machines (FSMs) under a fi...
Balakrishnan Iyer, Maciej J. Ciesielski
ASM
2005
ASM
14 years 9 days ago
A Modular Design for the Common Language Runtime (CLR) Architecture
Abstract. This paper provides a modular high-level design of the Common Language Runtime (CLR) architecture. Our design is given in terms act State Machines (ASMs) and takes the fo...
Nicu G. Fruja