Sciweavers

2467 search results - page 11 / 494
» Finite State Machines
Sort
View
ICCD
1995
IEEE
119views Hardware» more  ICCD 1995»
15 years 3 months ago
Extraction of finite state machines from transistor netlists by symbolic simulation
– This paper describes a new technique for extracting clock-level finite state machines(FSMs) from transistor netlists using symbolic simulation. The transistor netlist is prepr...
Manish Pandey, Alok Jain, Randal E. Bryant, Derek ...
94
Voted
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
ICASSP
2011
IEEE
14 years 4 months ago
Detecting human activities in retail surveillance using hierarchical finite state machine
Cashiers in retail stores usually exhibit certain repetitive and periodic activities when processing items. Detecting such activities plays a key role in most retail fraud detecti...
Hoang Trinh, Quanfu Fan, Jiyan Pan, Prasad Gabbur,...
IPPS
2009
IEEE
15 years 7 months ago
A fusion-based approach for tolerating faults in finite state machines
Given a set of n different deterministic finite state machines (DFSMs) modeling a distributed system, we examine the problem of tolerating f crash or Byzantine faults in such a ...
Vinit A. Ogale, Bharath Balasubramanian, Vijay K. ...
ICWE
2011
Springer
14 years 3 months ago
Formal Modeling of RESTful Systems Using Finite-State Machines
Representational State Transfer (REST), as an architectural style for distributed hypermedia systems, enables scalable operation of the World Wide Web (WWW) and is the foundation f...
Ivan Zuzak, Ivan Budiselic, Goran Delac