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

Filtrer vos résultats

139 résultats
keyword_s : Concurrency
Page :
triés par
Image document

A Simple Snapshot Algorithm for Multicore Systems

 Damien Imbs , Michel Raynal
[Research Report] PI 1955, 2010
Rapport inria-00505233v1
Image document

Petri Net Synthesis

 Eric Badouel , Luca Bernardinello , Philippe Darondeau
Springer, pp.339, 2015, Text in Theoretical Computer Science, an EATCS Series, M. Henzinger, J. Hromkovic, M. Nielsen, G. Rozenberg, A. Salomaa, 978-3-662-47966-7. ⟨10.1007/978-3-662-47967-4⟩
Ouvrages hal-01237142v1
Image document

Investigations classiques, complexes et concurrentes à l'aide de la logique linéaire

 Olivier Laurent
Mathématiques [math]. Université Paris-Diderot - Paris VII, 2010
HDR tel-00460805v1

Resource-Tracking Concurrent Games

 Aurore Alcolei , Pierre Clairambault , Olivier Laurent
Foundations of Software Science and Computation Structures, Apr 2019, Prague, Czech Republic. pp.27-44, ⟨10.1007/978-3-030-17127-8_2⟩
Communication dans un congrès hal-02096306v1
Image document

A Fine-Grained Concurrent Completion Procedure

 Claude Kirchner , Christopher Lynch , Christelle Scharff
[Research Report] RR-2990, INRIA. 1996, pp.56
Rapport inria-00073707v1
Image document

Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq

 Nicolas Chappe , Paul He , Ludovic Henrio , Yannick Zakowski , Steve Zdancewic
Proceedings of the ACM on Programming Languages, 2023, pp.1-31. ⟨10.1145/3571254⟩
Article dans une revue hal-03886910v1
Image document

Seamless concurrent programming of objects, aspects and events

 Jurgen Michael van Ham
Programming Languages [cs.PL]. Ecole des Mines de Nantes, 2015. English. ⟨NNT : 2015EMNA0118⟩
Thèse tel-01238752v1

Special Issue FMPPTA'98

 Dominique Méry
World Scientific, 1999, Parallel Processing Letters
Ouvrages inria-00108068v1
Image document

Assessing the Scalability of Garbage Collectors on Many Cores

 Lokesh Gidra , Gaël Thomas , Julien Sopena , Marc Shapiro
PLOS '11 - 6th Workshop on Programming Languages and Operating Systems, Oct 2011, Cascais, Portugal. pp.7:1-7:5, ⟨10.1145/2039239.2039249⟩
Communication dans un congrès hal-00932818v1
Image document

Innocent strategies as presheaves and interactive equivalences for CCS (expanded version)

 Tom Hirschowitz , Damien Pous
Scientific Annals of Computer Science, 2012, 22 (1), pp.147-199. ⟨10.7561/SACS.2012.1.147⟩
Article dans une revue hal-00555144v3
Image document

Construction et simulation graphiques de comportements : le modèle des Icobjs

 Christian Brunette
Autre [cs.OH]. École Nationale Supérieure des Mines de Paris, 2004. Français. ⟨NNT : ⟩
Thèse tel-00327441v1
Image document

Reasoning between Programming Languages and Architectures

 Francesco Zappa Nardelli
Computer Science [cs]. ENS Paris - Ecole Normale Supérieure de Paris, 2014
HDR tel-01110117v1
Image document

Symbolic domains and reachability for nets with trajectories

 Loïc Hélouët , Prerak Contractor
2023
Pré-publication, Document de travail hal-04330097v1

Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides

 Alexander Bockmayr , Arnaud Courtois
Onzièmes Journées Francophone de Programmation en logique avec contraintes - JFPLC'02, 2002, Nice, France, pp.167-180
Communication dans un congrès inria-00100782v1
Image document

Formally Verifying Information Flow Type Systems for Concurrent and Thread Systems

 Gilles Barthe , Leonor Prensa Nieto
2nd ACM Workshop on Formal Methods in Security Engineering - FMSE'2004, Michael Backes, David Basin, and Michael Waidner, Oct 2004, Washington D.C./USA, pp.13-22, ⟨10.1145/1029133.1029136⟩
Communication dans un congrès inria-00000632v1
Image document

On the Complexity of Concurrent Multiset Rewriting

 Marin Bertier , Matthieu Perrin , Cédric Tedeschi
International Journal of Foundations of Computer Science, 2016, 27 (1), ⟨10.1142/S0129054116500052⟩
Article dans une revue hal-01326849v1
Image document

Power and limits of distributed computing shared memory models

 Sergio Rajsbaum , Michel Raynal
[Research Report] PI-1974, 2011, pp.15
Rapport inria-00583304v1
Image document

Programming in JoCaml --- Extended Version

 Louis Mandel , Luc Maranget
[Research Report] RR-6261, INRIA. 2007
Rapport inria-00166125v2
Image document

Dépliages et interprétation abstraite pour réseaux de régulation biologiques paramétrés

 Juraj Kolcak
Bioinformatics [q-bio.QM]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPASG048⟩
Thèse tel-03338961v1

Philosophers may Dine - Definitively!

 Safouan Taha , Burkhart Wolff , Lina Ye
16th International Conference on Integrated Formal Methods, 2020, ⟨10.1007/978-3-030-63461-2_23⟩
Chapitre d'ouvrage hal-03134972v1
Image document

The Renaming Problem in Shared Memory Systems: an Introduction

 Armando Castañeda , Sergio Rajsbaum , Michel Raynal
[Research Report] PI-1960, 2010, pp.29
Rapport inria-00537914v1
Image document

History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps

 Uli Fahrenberg , Axel Legay
MFPS XXIX - Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, Jun 2013, New Orleans, United States. pp.165 - 178, ⟨10.1016/j.entcs.2013.09.012⟩
Communication dans un congrès hal-01087917v1
Image document

A mechanized program logic for concurrent programs with the weak memory model of Multicore OCaml

 Glen Mével
Other [cs.OH]. Université Paris Cité, 2022. English. ⟨NNT : 2022UNIP7173⟩
Thèse tel-04356627v1
Image document

Calcul d'objet asynchrone : confluence et déterminisme

 Ludovic Henrio
Modélisation et simulation. Université Nice Sophia Antipolis, 2003. Français. ⟨NNT : ⟩
Thèse tel-00505940v1
Image document

Type Systems for Distributed Programs: Components and Sessions

 Ornela Dardha
Programming Languages [cs.PL]. Università degli studi di Bologna, 2014. English. ⟨NNT : ⟩
Thèse tel-01020998v1
Image document

Compositional verification of priority systems using sharp bisimulation

 Luca Di Stefano , Frédéric Lang
Formal Methods in System Design, 2023, ⟨10.1007/s10703-023-00422-1⟩
Article dans une revue hal-04103681v1
Image document

Compositional Verification of Priority Systems using Sharp Bisimulation

 Luca Di Stefano , Frédéric Lang
[Research Report] INRIA. 2022, pp.1-32
Rapport hal-03640683v1
Image document

Component-Oriented Programming with Sharing: Containment is not Ownership

 Daniel Hirschkoff , Tom Hirschowitz , Damien Pous , Alan Schmitt , Jean-Bernard Stefani
Generative Programming and Component Engineering (GPCE), 2005, Tallinn, Estonia. pp.389-404, ⟨10.1007/11561347_26⟩
Communication dans un congrès hal-00310126v1
Image document

OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel

 Baptiste Lepers , Josselin Giet , Julia Lawall , Willy Zwaenepoel
EuroSys 2023 : Eighteenth European Conference on Computer Systems, May 2023, Rome, Italy. pp.33-45, ⟨10.1145/3552326.3567504⟩
Communication dans un congrès hal-04109096v1
Image document

Ecosystem Causal Analysis Using Petri Net Unfoldings

 Giann Karlo Aguirre-Samboní
Computer science. Université Paris-Saclay, 2023. English. ⟨NNT : 2023UPASG105⟩
Thèse tel-04556225v1
Page :