Laboratoire d'informatique fondamentale de Marseille
UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence
Consultation
Derniers dépôts
Liste des articles
Liste par équipe
Liste par date
Liste par domaine
Liste par auteurs
Rechercher
106 articles – 48 Notices
[english version]
.:.
Consultation
>
Liste par domaine
> Langage de programmation .:.
7 documents classés par :
Date
Titre
Nom du premier auteur
Type de documents
Date de dépôt
Recherche locale haute performance pour la planification des interventions à France Télécom
Estellon B., Gardi F., Nouioua K.
JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes
, France (2008) [inria-00290811 - version 1]
Towards a sharing strategy for the graph rewriting calculus
Baldan P., Bertolissi C., Cirstea H., Kirchner C.
7th International Workshop on Reduction Strategies in Rewriting and Programming - WRS 2007
, France (2007) [inria-00186141 - version 1]
A Concurrent Calculus with Atomic Transactions
Acciai L., Boreale M., Dal Zilio S.
[hal-00109264 - version 1] (24/10/2006)
XML schema, tree logic and sheaves automata
Dal Zilio S., Lugiez D.
Applicable Algebra in Engineering, Communication and Computing
17
(2006) (5):337-377 [hal-00109288 - version 1]
Resource Control for Synchronous Cooperative Threads
Amadio R. M., Dal Zilio S.
Journal of Theoretical Computer Science (TCS)
358
(2006) 229-254 [hal-00015836 - version 1]
Resource Control for Synchronous Cooperative Threads
Amadio R., Dal Zilio S.
Theoretical Computer Science
358
(2006) (2-3):229-254 [hal-00109277 - version 1]
A Typed Calculus for Querying Distributed XML Documents
Acciai L., Boreale M., Dal Zilio S.
17th Nordic Workshop on Programming Theory
, Danemark (2005) [hal-00091917 - version 1]