1279 search results - page 162 / 256 » Fast Implementations of Automata Computations |
121
Voted
SAGA
2005
Springer
15 years 8 months ago
2005
Springer
We consider temporal aspects of self-replication and evolvability – in particular, the massively asynchronous parallel and distributed nature of living systems. Formal views of s...
141
click to vote
HYBRID
1998
Springer
15 years 6 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
194
Voted
Publication
We propose an explicit rate indication scheme for congestion avoidance in ATM networks. In this scheme, the network switches monitor their load on each link, determining a load fac...
269
Voted
ICDE
2004
IEEE
16 years 4 months ago
2004
IEEE
Moving objects (e.g., vehicles in road networks) continuously generate large amounts of spatio-temporal information in the form of data streams. Efficient management of such strea...
95
Voted
ISBI
2002
IEEE
16 years 3 months ago
2002
IEEE
We consider detection of high-energy photons in PET using thick scintillation crystals. Parallax effect and multiple Compton interactions in this type of crystals significantly re...