Sciweavers

1249 search results - page 11 / 250
» State Machine Modeling: From Synch States to Synchronized St...
Sort
View
ISCAS
2002
IEEE
125views Hardware» more  ISCAS 2002»
14 years 17 days ago
Switching activity estimation of finite state machines for low power synthesis
A technique for computing the switching activity of synchronous Finite State Machine (FSM) implementations including the influence of temporal correlation among the next state si...
Mikael Kerttu, Per Lindgren, Mitchell A. Thornton,...
IPPS
2005
IEEE
14 years 1 months ago
Dynamic Reconfiguration of Mechatronic Real-Time Systems Based on Configuration State Machines
Data flow and FSMs are used intensively to specify real-time systems in the field of mechatronics. Their implementation in FPGAs is discussed against the background of dynamic rec...
Steffen Toscher, Roland Kasper, Thomas Reinemann
ICC
2007
IEEE
122views Communications» more  ICC 2007»
14 years 2 months ago
Representation of a CPM Modulator through a Finite-State Sequential Machine
The well known decomposition of a CPM signal into PAM waveforms represents the linear part of a CPM modulator. The paper deals with the non–linear part, not fully developed in t...
Gianfranco Cariolaro, Alberto Vigato
ICASSP
2011
IEEE
12 years 11 months ago
Online Kernel SVM for real-time fMRI brain state prediction
The Support Vector Machine (SVM) methodology is an effective, supervised, machine learning method that gives stateof-the-art performance for brain state classification from funct...
Yongxin Taylor Xi, Hao Xu, Ray Lee, Peter J. Ramad...
ISSTA
1998
ACM
13 years 11 months ago
Improving Efficiency of Symbolic Model Checking for State-Based System Requirements
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
William Chan, Richard J. Anderson, Paul Beame, Dav...