-
Modelling Planning Problems with Rules & Strategies
Rapport interne. -
From Intuitionistic Proof Nets to Interaction Grammars
Rapport interne. -
Synchronous FPNNs: neural models that fit reconfigurable hardware
Rapport interne. -
Timed-pNets: A Communication Behavioural Semantic Model for Distributed Syste...
This paper presents an approach to build a communication behavioural semantic model for heterogeneous distributed systems that include synchronous and asynchronous... -
Les motivations et représentations des futurs habitants de la montagne
Réalisation des étudiants du Master IDT (Institut de Géographie Alpine) : Flora BERNARD Clémentine LAFOUGE Simon VIOLINO Thomas TISSOT Gabriel CONSTANS Maxime LEMAITRE Chloé... -
Optimal Control for Quasi-Static Evolution of Plasma Equilibrium in Tokamaks
We present a new approach to the optimization of plasma scenarios in tokamaks. We formulate this task as an optimal control problem and use numerical methods for... -
Visibly Pushdown Transducers with Well-nested Outputs
Visibly pushdown transducers (VPTs) are visibly pushdown automata extended with outputs. They have been introduced to model transformations of nested words, i.e. words... -
Automated analysis of security protocols with global state
Security APIs, key servers and protocols that need to keep the status of transactions, require to maintain a global, non-monotonic state, e.g., in the form of a... -
Comptage et nommage simples et efficaces dans les protocoles de populations s...
Nous améliorons les meilleurs résultats connus, en terme de nombre d'états d'un agent, pour les solutions aux problèmes du \emph{comptage} et du \emph{nommage} dans un... -
Reconnaissance de tables de matières
Rapport de contrat. -
Vérification des Systèmes Réactifs Dans le Modèle Synchrone
Stage de DEA. Rapport de stage. -
SPLAD: scattering and placing data replicas to enhance long-term durability
Distributed storage systems have to ensure data availability and durability despite the occurrence of failures. To do so, many of them rely on replication mechanisms:... -
Les communications multipoints dans les réseaux actifs
Stage de DEA. Rapport de stage. -
Conception et validation d'architectures distribuées temps réel
Rapport de contrat. -
Preuves de systèmes réactifs dans le modèle synchrone
Stage de DEA. Rapport de stage. -
Asynchronous Consensus with Bounded Memory
We present here a bounded memory consensus Obstruction-Free algorithm for the asynchronous shared memory model. More precisely for a set of n processes, this algorithm... -
Etude des sépultures [Sagone, 2010]
In : ISTRIA (D.) dir. - Sant'Appianu de Sagone 4 - Rapport intermédiaire d'opération de fouille programmée triennale, Direction Régionale des Affaires Culturelles d'Ajaccio,... -
Test de validation du protocole de contrôle d'IPv6
Stage de DEA. Rapport de stage.
