Studia Informatica Universalis, Volume 3

Volume 3, Number 1, January 2004

Spyros Voulgaris, Maarten van Steen, Aline Baggio, Gerco Ballintijn:
Transparent Data Relocation in Highly Available Distributed Systems. 1-18
Electronic Edition (link) BibTeX
Emmanuelle Anceaume, Eric Mourgaya, Philippe Raipin Parvédy:
Unreliable Distributed Timing Scrutinizer to Converge toward\\ Decision Conditions. 19-42
Electronic Edition (link) BibTeX
Boris Koldehofe:
Simple gossiping with balls and bins. 43-60
Electronic Edition (link) BibTeX
Stéphane Vialle, Guillaume Schaeffer, Michel Ianotto:
Design of a Multi-Strategy Parallelization for an Entire Application of Document Categorization on Low-Cost Multiprocessor PCs. 61-84
Electronic Edition (link) BibTeX
Tommaso Bolognesi:
Predicates for state changes vs. processes for event patterns. 85-124
Electronic Edition (link) BibTeX

Chryssis Georgiou, Alexander Russell, Alexander A. Shvartsman:
Analysis of memory access concurrency in robust parallel algorithms. 125-150
Electronic Edition (link) BibTeX
Shilpa Bansod, Jean Mayo:
A Distributed Algorithm For Unstable Global Predicate Evaluation With Approximately Synchronized Clocks. 151-168
Electronic Edition (link) BibTeX
Ismail Berrada, Richard Castanet, Patrick Félix:
From The Feasability Analysis To Real-Time Test Generation. 203-230
Electronic Edition (link) BibTeX
Takanori Mori, Akio Nakata, Teruo Higashino:
A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing. 231-
Electronic Edition (link) BibTeX
Armelle Prigent, Olivier Roux:
Testing Real-Time Parameterized Systems. 193-253
Electronic Edition (link) BibTeX