Sciweavers

116 search results - page 4 / 24
» Introducing Communication in Dis-POMDPs with Finite State Ma...
Sort
View
ICC
2007
IEEE
122views Communications» more  ICC 2007»
15 years 6 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
ICST
2009
IEEE
15 years 6 months ago
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the ...
Abdul Salam Kalaji, Robert M. Hierons, Stephen Swi...
97
Voted
FASE
2009
Springer
15 years 6 months ago
Control Dependence for Extended Finite State Machines
Abstract. Though there has been nearly three decades of work on program slicing, there has been comparatively little work on slicing for state machines. One of the primary challeng...
Kelly Androutsopoulos, David Clark, Mark Harman, Z...
91
Voted
ATS
2005
IEEE
100views Hardware» more  ATS 2005»
15 years 5 months ago
Finite State Machine Synthesis for At-Speed Oscillation Testability
In this paper, we propose an oscillation-based test methodology for sequential testing. This approach provides many advantages over traditional methods. (1) It is at-speed testing...
Katherine Shu-Min Li, Chung-Len Lee, Tagin Jiang, ...
IH
2004
Springer
15 years 5 months ago
Information Hiding in Finite State Machine
In this paper, we consider how to hide information into finite state machine (FSM), one of the popular computation models. The key advantage of hiding information in FSM is that t...
Lin Yuan, Gang Qu