Sciweavers

2467 search results - page 106 / 494
» Finite State Machines
Sort
View
COMPSAC
2007
IEEE
15 years 12 months ago
Learning Parameterized State Machine Model for Integration Testing
Although many of the software engineering activities can now be model-supported, the model is often missing in software development. We are interested in retrieving statemachine m...
Muzammil Shahbaz, Keqin Li 0002, Roland Groz
IJCNN
2007
IEEE
15 years 12 months ago
Compact hardware for real-time speech recognition using a Liquid State Machine
Abstract— Hardware implementations of Spiking Neural Networks are numerous because they are well suited for implementation in digital and analog hardware, and outperform classic ...
Benjamin Schrauwen, Michiel D'Haene, David Verstra...
170
Voted
ECRTS
2000
IEEE
15 years 10 months ago
Prototyping distributed multimedia systems using communicating real-time state machines
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
Giancarlo Fortino, Libero Nigro
SIGSOFT
2006
ACM
16 years 6 months ago
Scenarios, goals, and state machines: a win-win partnership for model synthesis
Models are increasingly recognized as an effective means for elaborating requirements and exploring designs. For complex systems, model building is far from an easy task. Efforts ...
Christophe Damas, Bernard Lambeau, Axel van Lamswe...
ISSTA
2004
ACM
15 years 11 months ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner