8190 search results - page 212 / 1638 » From Timed to Hybrid Systems |
170
click to vote
UAI
1996
15 years 7 months ago
1996
In this paper we propose a family of algorithms combining treeclustering with conditioning that trade space for time. Such algorithms are useful for reasoning in probabilistic and...
178
click to vote
PVLDB
2010
15 years 4 months ago
2010
Spatial and temporal data have become ubiquitous in many application domains such as the Geosciences or life sciences. Sophisticated database management systems are employed to ma...
155
click to vote
RTCSA
2005
IEEE
15 years 11 months ago
2005
IEEE
Garbage collection considerably increases programmer productivity and software quality. However, it is difficult to implement garbage collection both efficiently and suitably fo...
188
click to vote
IFM
2007
Springer
16 years 8 days ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
142
click to vote
LADC
2005
Springer
15 years 11 months ago
2005
Springer
We present a framework for building fail-safe hard real-time applications in timed asynchronous distributed systems subject to communication partitions and performance, omission, ...