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
  
• Emmanuelle Anceaume, Eric Mourgaya, Philippe Raipin Parvédy:
  Unreliable Distributed Timing Scrutinizer to Converge toward\\ Decision Conditions. 19-42
  
• Boris Koldehofe:
  Simple gossiping with balls and bins. 43-60
  
• 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
  
• Tommaso Bolognesi:
  Predicates for state changes vs. processes for event patterns. 85-124
  

Volume 3, Number 2, April 2004

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