- Weak Bisimulation Up to Elaboration Damien Pous
- Using Bisimulation Proof Techniques for the Analysis of Distributed Abstract
- Complete Lattices and Up-To Techniques Damien Pous
- Weak Bisimulation up to Elaboration Damien Pous -ENS Lyon, France
- A Correct Abstract Machine for Safe Ambients Daniel Hirschkoff1
- Rewriting: Confluence Strong confluence
- Up-to Techniques for Weak Bisimulation Damien Pous
- d'ordre : 453 No attribu par la bibliothque : 07ENSL0453
- Damien Pous CNRS Researcher
- A Distribution Law for CCS and a New Congruence Result for the -Calculus
- Component-Oriented Programming with Sharing: Containment is not Ownership
- Weak Bisimulation up to Elaboration (long version, with full proofs)
- Weak Bisimulation up to Elaboration Damien Pous -ENS Lyon, France
- Complete Lattices and Up-to Techniques Damien Pous -ENS Lyon, France
- Commutation with Termination; Up-to Techniques for Bisimulation
- EJB 3.0 Expert Group Specification Lead
- On Bisimulation Proofs for the Analysis of Distributed Abstract Machines
- Damien Pous 8 rue Ren Thomas 38000 Grenoble, France
- Rapport du RPG MimSoft Damien Pous & Paul Dorbec
- Complete Lattices and Up-to Techniques Damien Pous -ENS Lyon, France
- Dcouverte de l'assistant la preuve Coq Damien Pous, CNRS
- The Kell Calculus: A Family of HigherOrder Distributed Process Calculi
- Safe Dynamic Binding in the Join Calculus Alan Schmitt
- An Implementation of Ambients in JoCaml (position paper for MOS'99)
- JoCaml: a Language for Concurrent Distributed and Mobile Programming
- An Asynchronous, Distributed Implementation of Mobile Ambients
- INRIA/RR4361FR+ENG appo r t de r eche r che
- Ann ee : 2002 N o attribu e par la biblioth eque
- Universite Joseph Fourier --Master 2 Recherche -Syst`emes et Logiciels Protocoles de diffusion totalement ordonnee pour les syst`emes
- Introduction to Distributed Systems
- Typing Communicating Component Assemblages Michael Lienhardt
- Sacha Krakowiak Universit Joseph Fourier
- Coquet: a Coq library for verifying hardware Thomas Braibant
- Histoire et actualit de linformatique volution, problmes, perspectives
- OZ/K: A Kernel Language for Component-Based Open Programming
- Sacha Krakowiak Universit Joseph Fourier
- La discipline "systmes" tat et volution
- Socket-based Distributed
- EJB 3.0 Expert Group Specification Lead
- Quelques dfis actuels de linformatique Sacha Krakowiak
- Work machine Laptop Setup: 3 computers and a website to keep up to date
- Informatique & Mathmatiques Appliques JOSEPH FOURIER
- Fabienne Boyer Laboratoire LIG (INRIA-UJF-INPG)
- Cours de Systmes d'Exploitation RICM 4, Anne 2011-2012
- Comp. by: CSenthilkumaranGalleys0000875849 Date:8/11/08 Time:07:22:51 Stage:First Proof File Path://ppdys1108/Womat3/Production/PRODENV/0000000005/0000008302/0000000016/
- Autonomic Management of Clustered Applications Sara Bouchenak
- Universit Joseph Fourier Promotion 2001
- Self-Protected System: an experiment Noel Depalma
- Distributed Application Configuration Luc Bellissard
- Universite Joseph Fourier --Master 2 Recherche -Syst`emes et Applications Reparties Repartition adaptative d'ev`enements en contexte
- Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data
- cole d't sur les Intergiciels et la Construction d'Applications Rparties
- Weak Bisimulation up to Elaboration Damien Pous -ENS Lyon, France
- The Kell calculus : operational semantics and type system Philippe Bidinger and Jean-Bernard Stefani
- Sacha Krakowiak Universit Joseph Fourier
- 1 F. Boyer, UJF Cours de Systmes d'Exploitation RICM4 2. Mcanismes d'excution
- DEA d'Informatique -Systmes et Communication. Anne 1999-2000 INPG-UJF Grenoble
- A Calculus of Kells Jean-Bernard Stefani
- Using Components for Architecture-Based Management The Self-Repair case
- Sacha Krakowiak Universit Joseph Fourier
- Sacha Krakowiak Universit Joseph Fourier
- Universit Joseph Fourier DESS Gnie Informatique -anne 2001-2002
- Histoire de linformatique Les applications et limpact socital
- Persistent Shared Object Support in the Guide System: Evaluation & Related Work
- 1 2009, F. Boyer, UJF Cours de Systmes d'Exploitation Polytech/RICM2 Le systme NACHOS
- Au coeur de linformatique, le logiciel Sacha Krakowiak
- Calendrier TYPE 2011-2012 M2PGI Alternance -Universit Joseph Fourier
- Boomerang: Resourceful Lenses for String Data Aaron Bohannon
- Histoire et actualit de linformatique volution, problmes, perspectives
- Universit Joseph Fourier M2P-GI/RICM3
- Universit Joseph Fourier DESS Gnie Informatique -anne 2000-2001
- juin 19, 2008 -15:02 version finale COMMUNICATION SYNCHRONE ENTRE PROGRAMME
- On the Expressiveness and Decidability of Higher-Order Process Calculi Ivan Lanese Jorge A. Perez Davide Sangiorgi
- Etudes d'approfondissement UE Intergiciels rpartis
- Janvier 2010 Examen de Systme d'Exploitation
- Complete Lattices and Up-To Techniques Damien Pous
- Sacha Krakowiak Universit Joseph Fourier
- "!$#%!'&)(103254167(84@9A&CBEDGFBH4)4C6I&P#RQTSU&WV DX6CY32a`ADX6cbd2a#Ae32a#3f g@hpirqsh tvuwhpxpyhpxphp@aushpugwedfhp1hg
- Sacha Krakowiak Universit Joseph Fourier
- C'est quoi, au fond, l'informatique ? Sacha Krakowiak
- Commutation with Termination; Up-to Techniques for Bisimulation
- Histoire et actualit de linformatique volution, problmes, perspectives
- Efficient Static Analysis of XML Paths and Types Pierre Genev`es
- 1 2010, F. Boyer, UJF Cours de Systmes d'Exploitation RICM2 5 -Gestion de la mmoire
- Sacha Krakowiak Universit Joseph Fourier
- Universite Joseph Fourier --Master 2 Recherche -Syst`emes et Logiciels Gestion autonome de flots d'execution evenementiels
- Proposition de stage de Master Jean-Bernard Stefani
- Component-Based Autonomic Management System Jeremy Philippe
- Coquet: A Coq library for verifying hardware Thomas Braibant
- Damien Pous 8 rue Ren Thomas 38000 Grenoble, France
- Building reconfigurable component-based OS with THINK Juraj Polakovic
- Sacha Krakowiak Universit Joseph Fourier
- XML Goes Native: Run-time Representations for Xtatic
- d'ordre : 453 No attribu par la bibliothque : 07ENSL0453
- XML Goes Native: Run-time Representations for Xtatic
- A Black-Box Approach for Web Application SLA Jeremy Philippe
- DEA d'Informatique -Systmes et Communication INPG-UJF Grenoble
- Pour obtenir le grade de DOCTEUR DE L'UNIVERSIT DE GRENOBLE
- Experience with Shared Object Support in the Guide System
- Weak Bisimulation Up to Elaboration Damien Pous
- Complete Lattices and Up-to Techniques Damien Pous -ENS Lyon, France
- ISSN0249-6399 de recherche
- Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem
- Autonomic Management of Internet Services: Experience with Self-Optimization
- On the Expressiveness and Decidability of Higher-Order Process Calculi $,$$
- EJB 3.0 Expert Group Specification Lead
- Universit Joseph Fourier UFR IMA Module Systme TP Systmes n1
- Complete Lattices and Up-to Techniques Damien Pous -ENS Lyon, France
- UNIVERSITE JOSEPH FOURIER DE GRENOBLE pour obtenir le titre de
- On Bisimulation Proofs for the Analysis of Distributed Abstract Machines
- Architecture des systmes Avances et dfis
- Architecture des systmes pass et avenir
- A l'attention du lecteur: cette presentation n'a pas pour but d'^etre lue sans se referer aux articles sur les types pour DREAM disponibles
- Universit Joseph Fourier Master 2 Recherche -Systmes et Logiciels Gestion de ressources dans les services Internet
- Systems Architecture Advances & Challenges
- INSTITUT NATIONAL POLYTECHNIQUE DE GRENOBLE attribu par la bibliothque
- Universit Joseph Fourier DESS Gnie Informatique -anne 2001-2002
- 1 2010, F. Boyer, UJF Cours de Systmes d'Exploitation RICM2 6 -Le systme de gestion de fichiers
- The probabilistic modal -calculus with independent product
- Formal proofs and proof languages Enrico Tassi
- S. Krakowiak Publications
- HABILITATION DIRIGER LES RECHERCHES prsente par
- 1 F. Boyer, UJF Cours de Systmes d'Exploitation RICM4 4. Interblocages
- DEA d'Informatique -Systmes et Communication. Anne 2001-2002 INPG-UJF Grenoble
- Autonomic Management of Internet Services: Experience with Self-Optimization
- 1 F. Boyer, UJF Cours de Systmes d'Exploitation RICM4 3. Mcanismes de base pour la synchronisation
- Using Bisimulation Proof Techniques for the Analysis of Distributed Abstract
- Histoire et actualit de linformatique volution, problmes, perspectives
- Histoire et actualit de linformatique volution, problmes, perspectives
- Sacha Krakowiak Universit Joseph Fourier
- TSI. Volume X n x/anne, pages 1 X Jade : un environnement d'administration
- INSTITUT NATIONAL POLYTECHNIQUE DE GRENOBLE N attribu par la bibliothque
- Universit Joseph Fourier -anne 2004-2005 Master 2me
- MVC et applications Web Servlets/JSP et modle MVC
- RenPar'17 / SympA'2006 / CFSE'5 / JC'2006 Canet en Roussillon, 4 au 6 octobre 2006
- Gestion de l'adaptabilit dans les applications rparties
- Rewriting: Confluence Strong confluence
- DEA d'Informatique -Systmes et Communication INPG-UJF Grenoble
- Dream Types A Domain Specific Type System for
- Histoire et actualit de linformatique volution, problmes, perspectives
- Installation du projet eCOM Installation du projet eCOM
- JJavanaiseavanaiseFast, robust and easy to use system for shared, distributed and duplicated Java classes
- Self-Sizing of Clustered Databases Christophe Taton1
- Universit Joseph Fourier Master 2me
- Presentation of the Reflexive Fractal Service
- Weak Bisimulation up to Elaboration (long version, with full proofs)
- Can Aspects Be Injected ? Experience with Replication and Protection
- Information and Computation 209 (2011) 13901433 Contents lists available at SciVerse ScienceDirect
- Efficient Workstealing for Multicore Event-Driven Fabien Gaud, Sylvain Genevs, Renaud Lachaize
- Exploiting Schemas in Data Synchronization J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard,
- Fabienne Boyer Laboratoire LIG (INRIA-UJF-INPG)
- Sacha Krakowiak Universit Joseph Fourier
- Sacha Krakowiak Universit Joseph Fourier
- Les tapes de la cration d'images pour le Web peuvent tre dcoupes en quatre parties : l'acquisition des images ou prise de vue,
- Projet PiCoq Deliverable D5
- EJB 3.0 Expert Group Specification Lead
- Up-to Techniques for Weak Bisimulation Damien Pous
- Normal Bisimulations in Calculi with Passivation Serguei Lenglet1
- A Correct Abstract Machine for Safe Ambients Daniel Hirschkoff1
- de recherche ISSN0249-6399ISRNINRIA/RR--6730--FR+ENG
- Bilan des activit s du laboratoire et du projet R. Balter, S. Krakowiak
- GICOM : un atelier pour l'exprimentation des technologies de systmes distribus d'entreprise
- Histoire et actualit de linformatique volution, problmes, perspectives
- Tactics for Reasoning modulo AC in Coq Thomas Braibant and Damien Pous
- Coquet: A Coq library for verifying hardware Thomas Braibant
- Pour obtenir le grade de DOCTEUR DE L'UNIVERSIT E DE GRENOBLE
- Sacha Krakowiak Universit Joseph Fourier
- 1 F. Boyer, UJF Cours de Systmes d'Exploitation RICM4 4. Outils pour la synchronisation
- Sacha Krakowiak Universit Joseph Fourier
- Esope : une etape de la recherche francaise en syst`emes d'exploitation (1968-72)
- Soumission la confrence TICE2002 http://tice2002.insa-lyon.fr/fr/ateliers.html Catgorie Atelier GICOM : un atelier pour l'exprimentation des technologies de systmes distribus d'entreprise 1
- Caching Dynamic Web Content: Designing and Analysing an Aspect-Oriented Solution
- Controlling Reversibility in Higher-Order Pi Ivan Lanese1
- Socket-based Distributed Systems
- A Distribution Law for CCS and a New Congruence Result for the -Calculus
- Sacha Krakowiak Universit Joseph Fourier
- The M-calculus: A Higher-Order Distributed Process Calculus Alan Schmitt, Jean-Bernard Stefani
- Self-protection for Distributed Component-Based Applications
- RenPar'17 / SympA'2006 / CFSE'5 / JC'2006 Canet en Roussillon, 4 au 6 octobre 2006
- Histoire de linformatique Les origines, la science et la technique
- Sacha Krakowiak Universit Joseph Fourier
- Typing Component-Based Communication Michael Lienhardt, Claudio Antares Mezzina,
- Sacha Krakowiak Universit Joseph Fourier
- Howe's Method for Calculi with Passivation Serguei Lenglet1
- de recherche ISSN0249-6399ISRNINRIA/RR--6575--FR+ENG
- Universite Joseph Fourier, Grenoble UFR d'Informatique et de Math. Appliquees
- RenPar'19 / SympA'13 / CFSE'7 Toulouse, France, du 9 au 11 septembre 2009
- RenPar'17 / SympA'2006 / CFSE'5 / JC'2006 Canet en Roussillon, 4 au 6 octobre 2006
- Universit Joseph Fourier DESS Gnie Informatique -anne 2000-2001
- Histoire et actualit de linformatique volution, problmes, perspectives
- Sacha Krakowiak Universit Joseph Fourier
- On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi
- Weak Bisimulation up to Elaboration Damien Pous -ENS Lyon, France
- A. Fiche contacts L'alternant
- High Throughput Total Order Broadcast for Cluster Environments Rachid Guerraoui
- INRIA Rhne-Alpes 655, avenue de l'Europe, Montbonnot
- Sacha Krakowiak Universit Joseph Fourier
- Patterns and Frameworks for Middleware Construction
- Sacha Krakowiak Universit Joseph Fourier
- Introduction to Distributed Systems
- Examen de Systme d'Exploitation Dure : 2h, Documents autoriss l'exception des livres. Le barme est indicatif.
- Architecture-Based Autonomous Repair Management: An Application to J2EE Clusters
- Failure Detection in Large-Scale Systems: a Survey Marcia Pasin
- DEA d'Informatique -Systmes et Communication. Anne 2002-2003 INPG-UJF Grenoble
- Damien Pous CNRS Researcher
- Schema-Directed Data Synchronization J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard,
- 1 2010, F. Boyer, UJF Cours de Systmes d'Exploitation RICM2 Gestion de mmoire secondaire
- Components, Coalgebras, and Chu Spaces Jean-Bernard Stefani
- UNIVERSIT JOSEPH FOURIER Rapport scientique prsent pour l'obtention d'une
- Improving the Performances of JMS-Based Applications
- Sacha Krakowiak Universit Joseph Fourier
- Histoire et actualit de linformatique volution, problmes, perspectives
- INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET
- F1 F5 F1 F5
- Projet PiCoq Deliverable D4
- Dcouverte de l'assistant la preuve Coq Damien Pous, CNRS
- Projet PiCoq Deliverable D123
- 3 F. Boyer, UJF Projet JAVANAISE, UE Etude et projet d'intergiciels, M2PGI Motivations (1/2)
- Histoire et actualit de linformatique volution, problmes, perspectives
- RenPar'18 / SympA'2008 / CFSE'6 Fribourg, fvrier 2008
- Annee : 2002 attribue par la biblioth`eque
- J2EE Server Scalability through EJB Replication Sylvain Sicard
- Histoire et actualit de linformatique volution, problmes, perspectives
- RenPar'17 / SympA'2006 / CFSE'5 / JC'2006 Canet en Roussillon, 4 au 6 octobre 2006
