Search Sciweavers | Sciweavers

936 search results - page 2 / 188

» FSM-Hume is finite state

click to vote

ISCAS
2006
IEEE

119views Hardware» more ISCAS 2006»

Finite state machine state assignment for area and power minimization

13 years 12 months ago

Download faculty.kfupm.edu.sa

— In this paper, we address the problem of FSM state assignment to minimize area and power. The objectives are targeted as single/independent as well as multi-objective optimizat...

Aiman H. El-Maleh, Sadiq M. Sait, F. Nawaz Khan

claim paper

Read More »

click to vote

DATE
2002
IEEE

105views Hardware» more DATE 2002»

CHESMIN: A Heuristic for State Reduction in Incompletely Specified Finite State Machines

13 years 11 months ago

Download www.date-conference.com

Sezer Gören, F. Joel Ferguson

claim paper

Read More »

click to vote

CONCUR
2004
Springer

126views Distributed And Parallel Com...» more CONCUR 2004»

A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications

13 years 9 months ago

Download www.lsv.ens-cachan.fr

We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...

Antonín Kucera, Ph. Schnoebelen

claim paper

Read More »

click to vote

FATES
2006
Springer

123views Software Engineering» more FATES 2006»

State-Identification Problems for Finite-State Transducers

13 years 9 months ago