Sciweavers

18493 search results - page 99 / 3699
» Timers for Distributed Systems
Sort
View
CSL
2010
Springer
15 years 3 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
MST
2007
97views more  MST 2007»
15 years 1 months ago
Distribution of Additive Functions with Respect to Numeration Systems on Regular Languages
Abstract. We study the distribution of values of additive functions related to numeration systems defined via regular languages.
Peter J. Grabner, Michel Rigo
110
Voted
OSDI
2006
ACM
16 years 2 months ago
The Chubby Lock Service for Loosely-Coupled Distributed Systems
We describe our experiences with the Chubby lock service, which is intended to provide coarse-grained locking as well as reliable (though low-volume) storage for a loosely-coupled...
Michael Burrows
ERLANG
2004
ACM
15 years 7 months ago
Monitoring and state transparency of distributed systems
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...
Martin J. Logan
ICCS
2003
Springer
15 years 7 months ago
JDOS: A Jini Based Distributed Operating System
J-DOS provides and integrated JAVA environment for the execution of a program across an interconnected network of heterogeneous computers. The system provides a file system, shar...
M. Saywell, J. S. Reeve