Sciweavers

4044 search results - page 163 / 809
» The Evolution of a Distributed Operating System
Sort
View
ISMIS
1994
Springer
15 years 10 months ago
Distributed Multi-Agent Probabilistic Reasoning With Bayesian Networks
Main stream approaches in distributed artificial intelligence (DAI) are essentially logic-based. Little has been reported to explore probabilistic approach in DAI. On the other han...
Yang Xiang
COMPSAC
1997
IEEE
15 years 10 months ago
DRDB: a distributed real-time database server for high-assurance time-critical applications
Many real-time database systems are now being used in safety-critical applications, in which human lives or expensive machinery may be at stake. Transactions in real-time database...
Sang Hyuk Son, Robert C. Beckinger, David A. Baker
CDC
2010
IEEE
150views Control Systems» more  CDC 2010»
15 years 1 months ago
An adjoint method for second-order switching time optimization
Abstract-- Switched systems evolve over a sequence of continuous modes of operation, transitioning between modes in a discrete manner. Assuming a mode sequence is known, the evolut...
Timothy M. Caldwell, Todd D. Murphey
SRDS
1994
IEEE
15 years 10 months ago
Coordinated Checkpointing-Rollback Error Recovery for Distributed Shared Memory Multicomputers
Most recovery schemes that have been proposed for Distributed Shared Memory (DSM) systems require unnecessarily high checkpointing frequency and checkpoint traffic, which are sens...
G. Janakiraman, Yuval Tamir
CONCUR
2012
Springer
13 years 9 months ago
MSO Decidability of Multi-Pushdown Systems via Split-Width
Abstract. Multi-threaded programs with recursion are naturally modeled as multi-pushdown systems. The behaviors are represented as multiply nested words (MNWs), which are words enr...
Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar