|
|
-
Number 3
( 5 Articles )
To appear Dasor, a discrete Events Simulation Library for Grid and Peer-to-Peer Simulators, pp. 288-319 Cyril RABAT SPINE : Adaptive Publish/Subscribe for Wireless Mesh Networks, pp. 320-353 J.Alfonso BRIONA-GARCIA, Boris KOLDEHOFE, Kurt ROTHERMEL Detecting and Excluding Misbehaving Nodes in a P2P Network, pp. 354-384 François LESUEUR Ludovic ME, Valérie VIET TRIEM TONG Progress in the Development of the Distributed Simulation Tool P2PNetSim for analysis of large-scale P2P Networks, pp. 386-409Miguel ROJAS, Herwig UNGER A Stochastic and Pretopological Modeling Aerial Pollution of an Urban Area, pp. 410-426 M. LAMURE, S. BONNEVAY ; M. BUI ; S. BEN-AMOR
-
Number
( 9 Articles )
Qui sème la fonction, récolte le tuyau typé, pp 1-19Didier Parigot — Bernard Paul Serpette Foncteurs impératifs et composés: la notion de projets dans Frama-C, pp 20-51Julien Signoles Vers une programmation fonctionnelle en appel par valeur sur systèmes multi-coeurs : évaluation asynchrone et ramasse-miettes parallèle, pp 52-82Luca Saiu Vérification d’invariants pour des systèmes spécifiés en logique de réécriture, pp 83-112Vlad Rusu and Manuel Clavel Un modèle de l’assistant à la preuve PAF!, pp 113-142Séverine Maingaud Extraction certifiée dans Coq-en-Coq, pp143-165Stéphane Glondu Abstraction d’horloges dans les systemes synchrones flot de donnees, pp 166-194Louis Mandel and Florence Plateau Fouille au code OCaml par analyse de dépendances, pp 195-224Maxence Guesdon Faire bonne figure avec MLPOST, pp 225-252R. Bardou J.-C. Filliâtre J. Kanig S. Lescuyer
-
Number 1
( 8 Articles )
ISBN 978-27056-6894-5 Retour sur les origines de la prétopologie, pp. 5-23 Marcel BRISSAUD Prétopologie et applications: un état de l'art, pp. 25-44 Jean-Paul AURAY, Stéphane BONNEVAY, Marc BUI, Gérard DURU, Michel LAMURE Eléments de prétopologie généralisée, pp. 45-77Marcel BRISSAUD, Jean-Paul AURAY, Gérard DURU, Michel LAMURE, Carole SIANI Généralisation des processus de percolation discrets, pp. 78-93Sofiane BENAMOR, Marc BUI Structures pauvres, pp. 94-130Jean-Paul AURAY Prétopologie floues, pp. 131-171 Marcel EGEA Pretopological operators for gray-level image analysis, pp. 173-195Stéphane BONNEVAY Classification prétopologique basée sur la complexité de Kolmogorov, pp. 197-222Vincent LEVORATO, Than Van LE, Michel LAMURE, Marc BUI
|