Sciweavers

1753 search results - page 49 / 351
» State Machines
Sort
View
QSIC
2003
IEEE
15 years 3 months ago
Validating Use-Cases with the AsmL Test Tool
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
Michael Barnett, Wolfgang Grieskamp, Wolfram Schul...
EUROGP
2003
Springer
15 years 3 months ago
Evolving Finite State Transducers: Some Initial Explorations
Finite state transducers (FSTs) are finite state machines that map strings in a source domain into strings in a target domain. While there are many reports in the literature of ev...
Simon M. Lucas
TIT
2008
68views more  TIT 2008»
14 years 10 months ago
A Generalization of the Blahut-Arimoto Algorithm to Finite-State Channels
The classical Blahut
Pascal O. Vontobel, Aleksandar Kavcic, Dieter-Mich...
VLSID
2002
IEEE
142views VLSI» more  VLSID 2002»
15 years 10 months ago
Degree-of-Freedom Analysis for Sequential Machines Targeting BIST Quality and Gate Area
| This paper reports the design of BIST structures for sequential machines. Testability of an FSM is limited due to the fact that some machine states remain unreachable and some ac...
Samir Roy, Biplab K. Sikdar, Monalisa Mukherjee, D...
CORR
2007
Springer
108views Education» more  CORR 2007»
14 years 10 months ago
SystemC Analysis of a New Dynamic Power Management Architecture
This paper presents a new dynamic power management architecture of a System on Chip. The Power State Machine describing the status of the core follows the recommendations of the A...
Massimo Conti