Results for:
"
Frits+Peutz
" in Documents
- Minimizable Timed Automata 1996 45 citations ? 3 self
- . State minimization plays a fundamental role in both classical automata theory and in the theory of reactive systems. Many algorithms and results are based on the fact that for each finite automaton ...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 13-05-09
- Frits Went's atomic age greenhouse: the changing labscape on the lab-f...
- In Landscapes and Labscapes Robert Kohler emphasized the separation between laboratory and field cultures and the creation of new "hybrid" or mixed practices as field sciences matured in the early twe...
-
Rating:
Views: ()
Pages: ()
Uploaded: 2009-11-18
- Root Contention in IEEE 1394 1999 24 citations ? 3 self
- The model of probabilistic I/O automata of Segala and Lynch is used for the formal specification and analysis of the root contention protocol from the physical layer of the IEEE 1394 ("FireWire") stan...
-
Rating:
Views: (1004)
Pages: ()
Uploaded: 13-05-09
- Root Contention in IEEE 1394 1999 24 citations ? 3 self
- The model of probabilistic I/O automata of Segala and Lynch is used for the formal specification and analysis of the root contention protocol from the physical layer of the IEEE 1394 ("FireWire") stan...
-
Rating:
Views: (1005)
Pages: ()
Uploaded: 13-05-09
- Hybrid I/O Automata Revisited 16 citations ? 3 self
- In earlier work, we developed a mathematical hybrid I/O automaton (HIOA) modeling framework, capable of decribing both discrete and continuous behavior. This framework has been used, amongst others, t...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 13-05-09
- Hybrid I/O Automata Extended Abstract
- We propose a new hybrid I/O automaton model that is capable of describing both continuous and discrete behavior. The model, which extends the timed I/O automaton model of [12, 7] and the phase transit...
-
Rating:
Views: (1004)
Pages: ()
Uploaded: 13-05-09
- Hybrid I/O Automata Extended Abstract
- We propose a new hybrid I/O automaton model that is capable of describing both continuous and discrete behavior. The model, which extends the timed I/O automaton model of [12, 7] and the phase transit...
-
Rating:
Views: (1001)
Pages: ()
Uploaded: 15-05-09
- Visualization of Time-Dependent Data using Feature Tracking 2001
- Visualization of time-dependent data is an enormous task because of the immense amount of data involved. However, most of the time the scientist is mainly interested in the evolution of certain featur...
-
Rating:
Views: (1005)
Pages: ()
Uploaded: 13-05-09