2467 search results - page 103 / 494 » Finite State Machines |
167
Voted
TOCL
2008
15 years 5 months ago
2008
State Machines Capture Parallel Algorithms: Correction and Extension ANDREAS BLASS University of Michigan and YURI GUREVICH Microsoft Research We consider parallel algorithms worki...
165
click to vote
SAFECOMP
2007
Springer
15 years 11 months ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
137
Voted
HASE
1997
IEEE
15 years 9 months ago
1997
IEEE
Fault-tolerant behavior is an important non-functional requirement for systems that involve high criticality. We present a framework which allows the analysis of faulttolerant beh...
199
click to vote
ICFEM
2003
Springer
15 years 10 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
172
click to vote
IJCAI
2007
15 years 7 months ago
2007
Over the past decade functional Magnetic Resonance Imaging (fMRI) has emerged as a powerful technique to locate activity of human brain while engaged in a particular task or cogni...