Studia Informatica Universalis, Volume 7
Volume 7, Number 1, 2009
- Jean-Paul Auray, Stéphane Bonnevay, Marc Bui, Gérard Duru, Michel Lamure:
Prétopologie et applications: un état de l'art. 25-44 - Marcel Brissaud, Jean-Paul Auray, Gérard Duru, Michel Lamure, Carole Siani:
Eléments de prétopologie généralisée. 45-77 - Vincent Levorato, Than Van Le, Michel Lamure, Marc Bui:
Classification prétopologique basée sur la complexité de Kolmogorov. 197-222
Volume 7, Number 2, 2009
- Luca Saiu:
Vers une programmation fonctionnelle en appel par valeur sur systèmes multi-coeurs: évaluation asynchrone et ramasse-miettes parallèle. 52-82 - Vlad Rusu, Manuel Clavel:
Vérification d'invariants pour des systèmes spécifiés en logique de réécriture. 83-112 - Louis Mandel, Florence Plateau:
Abstraction d'horloges dans les systemes synchrones flot de donnees. 166-194 - Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer:
Faire bonne figure avec MLPOST. 225-252
Volume 7, Number 3, 2009
- Cyril Rabat:
Dasor, a discrete Events Simulation Library for Grid and Peer-to-Peer Simulators. 288-319 - J. Alfonso Briones-García, Boris Koldehofe, Kurt Rothermel:
SPINE: Adaptive Publish/Subscribe for Wireless Mesh Networks. 320-353 - François Lesueur, Ludovic Mé, Valérie Viet Triem Tong:
Detecting and Excluding Misbehaving Nodes in a P2P Network. 354-384 - Miguel Rojas, Herwig Unger:
Progress in the Development of the Distributed Simulation Tool P2PNetSim for analysis of large-scale P2P Networks. 386-409 - Michel Lamure, Stéphane Bonnevay, Marc Bui, Soufian Ben Amor:
A Stochastic and Pretopological Modeling Aerial Pollution of an Urban Area. 410-426