![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Technique et Science Informatiques, Volume 34
Volume 34, Numbers 1-2, 2015
- Etienne Rivière:
Introduction. 7-9 - Alexandre 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. 11-29 - Sébastien Fremal, Michel Bagein, Pierre Manneback:
Optimisation des transferts de données inter-domaines au sein de Xen. 31-52 - Mohamed 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. 53-78 - Jonathan Lejeune, Luciana Arantes, Julien Sopena, Pierre Sens:
Allouer efficacement des ressources dans un environnement distribué. 79-100 - Maxime Lorrillere, Julien Sopena, Sébastien Monnet, Pierre Sens:
Conception et évaluation d'un système de cache réparti adapté aux environnements virtualisés. 101-123 - Fabien Rozar:
Passage à l'échelle mémoire et impact des allocations dynamiques dans l'application GYSELA. 125-152 - Guillaume 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. 153-173 - Maxime Pierre Andre 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. 175-194
Volume 34, Number 3, 2015
- Imad Afyouni, Cyril Ray, Christophe Claramunt, Sergio Ilarri:
Traitement continu des requêtes dépendantes de la localisation dans les environnements intérieurs. 203-231 - Maurice Margenstern:
Automates cellulaires hyperboliques universels II. 273-310 - Philippe Collet, Lydie du Bousquet, Laurence Duchien, Pierre-Etienne Moreau:
Chronique - Défis 2015. 311-324 - Histoire de l'informatique - Entretien avec Jacques STERN. 325-336
- Valerie Shafer:
Histoire de l'informatique - Entretien avec Véronique Donzeau-Gouge. 337-345
Volume 34, Number 4, 2015
- Sommaire. 355-356
- Nazim Fatès, Sylvain Sené:
Introduction. 357-360 - Lucas Gerin:
L'automate Épidémie et le modèle d'Eden face à l'irrégularité. 361-376 - Kévin Perrot, Eric Rémila:
Piles de sable décroissantes 1D. Classification expérimentale d'émergences. 377-400 - Tarek Melliti, Mathilde Noual, Damien Regnault, Sylvain Sené:
Cycles, double-cycles d'interactions et modes de mise à jour. 401-430 - Pierre-Yves Louis
:
Automates cellulaires probabilistes et de la physique statistique. 431-461 - Loïc Paulevé, Maxime Folschette
, Morgan Magnin, Olivier F. Roux:
Analyses statiques de la dynamique des réseaux d'automates indéterministes. 463-484
Volume 34, Number 5, 2015
- Catherine Dubois, Régine Laleau:
Introduction. 493-494 - Rahma 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. 495-521 - Linda 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. 523-548 - Jean-Pierre Jacquot:
Premières leçons sur la spécification d'un train d'atterrissage en B Événementiel. 549-573 - Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall
, Paolo Ballarini:
Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa. 575-600 - Ré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. 601-626
Volume 34, Number 6, 2015
- Noël Plouzeau, Pascal Poizat:
Introduction. 635-636 - Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau:
Formalisation de la recontextualisation de modèles par graphe de dépendance. 637-666 - Mahmoud El Hamlaoui, Sophie Ebersold
, Bernard Coulette, Adil Anwar, Mahmoud Nassar:
Maintien de la cohérence de modèles de conception hétérogènes. 667-702 - Eric Cariou, Olivier Le Goaër, Franck Barbier, Samson Pierre, Mohamed Graiet:
Adaptation d'exécution de modèles par contrats. 703-730 - Salwa 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. 731-755
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.