Journal: Technique et Science Informatiques

Volume 34, Issue 6

635 -- 636Noël Plouzeau, Pascal Poizat. Introduction
637 -- 666Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau. Formalisation de la recontextualisation de modèles par graphe de dépendance
667 -- 702Mahmoud El Hamlaoui, Sophie Ebersold, Bernard Coulette, Adil Anwar, Mahmoud Nassar. Maintien de la cohérence de modèles de conception hétérogènes
703 -- 730Eric Cariou, Olivier Le Goaer, Franck Barbier, Samson Pierre, Mohamed Graiet. Adaptation d'exécution de modèles par contrats
731 -- 755Salwa M'barek, Leïla Baccouche, Henda Ben Ghézala. Un Framework dirigé par les modèles pour modéliser la gestion de qualité de service dans les SGBD temps réel

Volume 34, Issue 5

493 -- 494Catherine Dubois, Régine Laleau. Introduction
495 -- 521Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Yves Ledru, Akram Idani. Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires
523 -- 548Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer. Modélisation formelle d'IHM multimodales en sortie avec B Événementiel. Approche par généralisation et instanciation
549 -- 573Jean-Pierre Jacquot. Premières leçons sur la spécification d'un train d'atterrissage en B Événementiel
575 -- 600Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini. Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa
601 -- 626Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti. Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multi-périodique

Volume 34, Issue 4

355 -- 356. Sommaire
357 -- 360Nazim Fatès, Sylvain Sené. Introduction
361 -- 376Lucas Gerin. L'automate Épidémie et le modèle d'Eden face à l'irrégularité
377 -- 400Kévin Perrot, Eric Rémila. Piles de sable décroissantes 1D. Classification expérimentale d'émergences
401 -- 430Tarek Melliti, Mathilde Noual, Damien Regnault, Sylvain Sené. Cycles, double-cycles d'interactions et modes de mise à jour
431 -- 461Pierre-Yves Louis. Automates cellulaires probabilistes et de la physique statistique
463 -- 484Loïc Paulevé, Maxime Folschette, Morgan Magnin, Olivier H. Roux. Analyses statiques de la dynamique des réseaux d'automates indéterministes

Volume 34, Issue 3

203 -- 231Imad Afyouni, Cyril Ray, Christophe Claramunt, Sergio Ilarri. Traitement continu des requêtes dépendantes de la localisation dans les environnements intérieurs
273 -- 310Maurice Margenstern. Automates cellulaires hyperboliques universels II
311 -- 324Philippe Collet, Lydie du Bousquet, Laurence Duchien, Pierre-Étienne Moreau. Chronique - Défis 2015
325 -- 336. Histoire de l'informatique - Entretien avec Jacques STERN
337 -- 345Valerie Shafer. Histoire de l'informatique - Entretien avec Véronique Donzeau-Gouge

Volume 34, Issue 1-2

7 -- 9Etienne Rivière. Introduction
11 -- 29Alexandre Briere, Julien Denoulet, Andréa Pinna, Bertrand Granado, François Pêcheux. Un réseau sur puce RF reconfigurable dynamiquement pour les many-cœurs
31 -- 52Sébastien Fremal, Michel Bagein, Pierre Manneback. Optimisation des transferts de données inter-domaines au sein de Xen
53 -- 78Mohamed Lamine Karaoui, Quentin L. Meunier, Franck Wajsbürt, Alain Greiner. GECOS : Mécanisme de synchronisation passant à l'échelle à plusieurs lecteurs et un écrivain pour structures chaînées
79 -- 100Jonathan Lejeune, Luciana Arantes, Julien Sopena, Pierre Sens. Allouer efficacement des ressources dans un environnement distribué
101 -- 123Maxime Lorrillere, Julien Sopena, Sébastien Monnet, Pierre Sens. Conception et évaluation d'un système de cache réparti adapté aux environnements virtualisés
125 -- 152Fabien Rozar. Passage à l'échelle mémoire et impact des allocations dynamiques dans l'application GYSELA
153 -- 173Guillaume Sarrazin, Nicolas Fournel, Patrice Gerin, Frédéric Pétrot. Simulation native basée sur le support matériel à la virtualisation cas des systèmes many-cœurs spécifiques
175 -- 194Maxime Veron, Olivier Marin, Sébastien Monnet. Étude des services de matchmaking dans les jeux multijoueurs en ligne. Récupérer des traces d'utilisateurs pour améliorer l'expérience de jeu