Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

161 résultats
Page :
triés par

Optimization tools and applications developed during the OMD & OMD2 projects

 Rodolphe Le Riche , Denis Caromel , Régis Duvigneau
Forum Teratech 2011, Complex systems engineering workshop (atelier ingénierie des systèmes complexes), Jun 2011, Palaiseau, France
Communication dans un congrès emse-00686596v1

Finite Model Generation for Distributed Java Programs

 Rabea Boulifa , Eric Madelaine
Workshop on Model-Checking for Dependable Software-Intensive Systems, 2003, San Francisco, United States
Communication dans un congrès hal-02988879v1

Another Implementation Technique for Functional Programming Languages.

 Rabea Boulifa , Mezghiche Mohamed
Journées francophones des langages applicatifs (JFLA'03), 2003, Chamrousse, France
Communication dans un congrès hal-02988863v1

Model Generation for Distributed Java Programs

 Rabea Boulifa , Eric Madelaine
Scientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, pp.139-152, 2003, ⟨10.1007/978-3-540-24639-8_13⟩
Chapitre d'ouvrage istex hal-02988853v1
Image document

De la programmation parallèle structurée à la programmation pour la grille

 Françoise Baude
Informatique [cs]. Université Nice Sophia Antipolis, 2006
HDR tel-00507049v1
Image document

Formalisation and verification of the Chilean electronic invoice system

 Tomás Barros , Eric Madelaine
RR-5217, INRIA. 2004, pp.55
Rapport inria-00070777v1
Image document

PLAY: Semantics-based Event Marketplace

 Roland Stühmer , Yiannis Verginadis , Iyad Alshabani , Thomas Morsellino , Antonio Aversa
14th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2013, Sep 2013, Dresden, Germany
Communication dans un congrès hal-00916386v1
Image document

Combining Grid and Cloud Resources by Use of Middleware for SPMD Application

 Brian Amedro , Françoise Baude , Fabrice Huet , Elton Mathias
2nd International Conference on Cloud Computing Technology and Science, Nov 2010, Indianapolis, IN, United States. pp.177-184
Communication dans un congrès inria-00538549v1
Image document

Executing Hydrodynamic Simulation on Desktop Grid with ObjectWeb ProActive

 Denis Caromel , Vincent Cavé , Alexandre Di Costanzo , Céline Brignolles , Bruno Grawitz , et al.
HIC2006: Proceedings of the 7th International Conference on HydroInformatics, Sep 2006, Nice, France
Communication dans un congrès inria-00068176v1
Image document

Dynamic TTL-Based Search In Unstructured Peer-to-Peer Networks

 Imen Filali , Fabrice Huet
CCGrid 2010, May 2010, Melbourne, Australia. 10 p
Communication dans un congrès inria-00485790v1
Image document

Multi-cluster parallel job submission: Experiences with Monte Carlo simulations for computational finance on Grid5000

 Ian Stokes-Rees , Françoise Baude , Viet Dung Doan , Mireille Bossy
2007
Pré-publication, Document de travail inria-00173360v1
Image document

Coq à la conquête des moulins

 Laurence Rideau , Bernard P. Serpette
JFLA '2005, INRIA, Mar 2005, Obernai, pp.169-180
Communication dans un congrès inria-00001128v1
Image document

Towards Grid Monitoring and deployment in Jade, using ProActive

 Cristian Ruz , Françoise Baude , Virginie Legrand Contes
[Research Report] RR-6340, INRIA. 2007, pp.20
Rapport inria-00182554v2
Image document

A Fault Tolerance protocol for ASP calculus: Design and Proof

 Françoise Baude , Denis Caromel , Christian Delbé , Ludovic Henrio
[Research Report] RR-5246, INRIA. 2004, pp.37
Rapport inria-00070752v1
Image document

UNE APPROCHE À COMPOSANT POUR L'ORCHESTRATION DE SERVICES À LARGE ÉCHELLE

 Virginie Legrand Contes
Architectures Matérielles [cs.AR]. Université Nice Sophia Antipolis, 2011. Français. ⟨NNT : ⟩
Thèse tel-00710427v1
Image document

Mechanical Support for Efficient Dissemination on the CAN Overlay Network

 Francesco Bongiovanni , Ludovic Henrio
[Research Report] RR-7599, INRIA. 2011
Rapport inria-00585057v1
Image document

Spécification et vérification formelles des systèmes de composants répartis

 Tomás Barros
Réseaux et télécommunications [cs.NI]. Université Nice Sophia Antipolis, 2005. Français. ⟨NNT : ⟩
Thèse tel-00090718v1
Image document

Asynchronous Sequential Processes

 Denis Caromel , Ludovic Henrio
[Research Report] RR-4753, INRIA. 2003
Rapport inria-00071834v1
Image document

Functional Active Objects: Typing and Formalisation

 Ludovic Henrio , Florian Kammüller
Foundations of Coordination Languages and Software Architectures (FOCLASA'09), 2010, France. pp.83-101
Communication dans un congrès hal-00485759v1
Image document

Tolérance aux pannes pour objets actifs asynchrones : modèle, protocole et expérimentations

 Delbé Christian
Réseaux et télécommunications [cs.NI]. Université Nice Sophia Antipolis, 2007. Français. ⟨NNT : ⟩
Thèse tel-00207953v1
Image document

Contribution à la programmation générative

 Didier Parigot
Génie logiciel [cs.SE]. Université Nice Sophia Antipolis, 2003
HDR tel-00506070v1
Image document

Multi-threaded Active Objects

 Ludovic Henrio , Fabrice Huet , Zsolt István
COORDINATION 2013, Jun 2013, Firenze, Italy
Communication dans un congrès hal-00818482v1
Image document

An Optimal Broadcast Algorithm for Content-Addressable Networks

 Ludovic Henrio , Fabrice Huet , Justine Rochas
OPODIS 2013 - International Conference on Principles of DIstributed Systems, Inria, Dec 2013, Nice, France. pp.176-190, ⟨10.1007/978-3-319-03850-6_13⟩
Communication dans un congrès hal-00916301v1
Image document

A Component Platform for Experimenting with Autonomic Composition

 Françoise Baude , Ludovic Henrio , Paul Naoumenko
First International Conference on Autonomic Computing and Communication Systems (Autonomics 2007), Oct 2007, Rome, Italy
Communication dans un congrès inria-00178365v1

Behavioural models for distributed Fractal components

 Tomás Barros , Rabéa Ameur-Boulifa , Antonio Cansado , Ludovic Henrio , Eric Madelaine
Annals of Telecommunications - annales des télécommunications, 2009, 64 (1-2), pp.25-43. ⟨10.1007/s12243-008-0069-7⟩
Article dans une revue hal-02904822v1
Image document

Managing Algorithmic Skeleton Nesting Requirements in Realistic Image Processing Applications: The Case of the SKiPPER-II Parallel Programming Environment's Operating Model

 Rémi Coudarcher , Florent Duculty , Jocelyn Serot , Frédéric Jurie , Jean-Pierre Derutin , et al.
EURASIP Journal on Advances in Signal Processing, 2005, 2005 (7), pp.218656
Article dans une revue hal-00784484v1
Image document

Modular P2P-Based Approach for RDF Data Storage and Retrieval

 Imen Filali , Laurent Pellegrino , Francesco Bongiovanni , Fabrice Huet , Françoise Baude
Advances in P2P Systems, Nov 2011, Lisbonne, Portugal
Communication dans un congrès inria-00636408v1
Image document

Asynchonous Distributed Components: Concurrency and Determinacy

 Denis Caromel , Ludovic Henrio
Theoretical Computer Science 2006 (IFIP TCS'06), 2006, Santiago, Chile
Communication dans un congrès inria-00122924v1
Image document

Verification of Distributed Hierarchical Components

 Tomás Barros , Ludovic Henrio , Eric Madelaine
International Workshop on Formal Aspects of Component Software (FACS'05), 2005, Macao
Communication dans un congrès inria-00122926v1
Image document

A Formalization of the Theory of Objects in Isabelle/HOL

 Ludovic Henrio , Florian Kammüller
[Research Report] RR-6079, INRIA. 2006, pp.17
Rapport inria-00121816v2
Page :