Browsing Τμήμα Πληροφορικής / Department of Computer Science by Author "Musiał, Peter M."
Now showing items 1-10 of 10
-
Conference Object
An abstract channel specification and an algorithm implementing it using Java sockets
Georgiou, Chryssis; Shvartsman, A. A.; Musiał, Peter M.; Sonderegger, E. L. (2008)Models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are often negated by the ad hoc process of ...
-
Conference Object
Brief announcement: A formal treatment of an abstract channel implementation using java sockets and TCP
Georgiou, Chryssis; Musiał, Peter M.; Shvartsman, A. A.; Sonderegger, E. L. (2007)Abstract models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are offset by the challenging process ...
-
Article
Developing a consistent domain-oriented distributed object service
Georgiou, Chryssis; Musiał, Peter M.; Shvartsman, A. A. (2009)This paper presents a new algorithm for a reconfigurable distributed domain-oriented atomic object service, called DO-RAMBO, which stands for Domain-Oriented Reconfigurable Atomic Memory for Basic Objects. This service is ...
-
Conference Object
Developing a consistent domain-oriented distributed object service
Georgiou, Chryssis; Musiał, Peter M.; Shvartsman, A. A. (2005)This paper presents a new algorithm for a reconfigurable distributed domain-oriented atomic object service, called DO-RAMBO, which stands for Domain-Oriented Reconfigurable Atomic Memory for Basic Objects. This service is ...
-
Article
Evaluating a dependable sharable atomic data service on a planetary-scale network
Georgiou, Chryssis; Hadjiprocopiou, N.; Musiał, Peter M. (2009)Practical implementations of atomically consistent read/write memory service are important building blocks for higher level applications. This is especially true when data accessibility and survivability are provided by a ...
-
Article
Long-lived Rambo: Trading knowledge for communication
Georgiou, Chryssis; Musiał, Peter M.; Shvartsman, A. A. (2007)Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with efficiency in practical algorithms is difficult. ...
-
Article
Long-lived Rambo: Trading knowledge for communication
Georgiou, Chryssis; Musiał, Peter M.; Shvartsman, A. A. (2004)Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with efficiency in practical algorithms is difficult. ...
-
Article
On the automated implementation of time-based Paxos using the IOA compiler
Georgiou, Chryssis; Hadjiprocopiou, Procopis; Musiał, Peter M. (2010)Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been successfully used in the industry (eg., ...
-
Article
On the efficiency of atomic multi-reader, multi-writer distributed memory
Englert, B.; Georgiou, Chryssis; Musiał, Peter M.; Nicolaou, Nicolas C.; Shvartsman, A. A. (2009)This paper considers quorum-replicated, multi-writer, multi-reader (MWMR) implementations of survivable atomic registers in a distributed message-passing system with processors prone to failures. Previous implementations ...
-
Conference Object
Tempo-toolkit: Tempo to java translation module
Georgiou, Chryssis; Musiał, Peter M.; Ploutarchou, Christos (2013)TIOA is a formal language for modeling distributed, concurrent, and timed/untimed systems as collections of interacting state machines, called Timed Input/Output Automata. TIOA provide natural mathematical notations for ...