-
1Academic Journal
Συγγραφείς: David Monniaux
Συνεισφορές: VERIMAG (VERIMAG - IMAG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 ), European Project: 306595,EC:FP7:ERC,ERC-2012-StG_20111012,STATOR(2013)
Πηγή: Acta Informatica. 56:385-389
Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Computer Science - Programming Languages, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], MSC 68Q17 68Q60 03D80 03D35 03D25 03B35, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.1: Invariants, Programming Languages (cs.PL), Logic in Computer Science (cs.LO)
Σύνδεσμος πρόσβασης: http://arxiv.org/pdf/1709.04382
http://arxiv.org/abs/1709.04382
https://arxiv.org/abs/1709.04382
https://link.springer.com/article/10.1007/s00236-018-0324-y
https://dblp.uni-trier.de/db/journals/corr/corr1709.html#abs-1709-04382
https://link.springer.com/content/pdf/10.1007%2Fs00236-018-0324-y.pdf
http://arxiv.org/pdf/1709.04382.pdf
https://hal.archives-ouvertes.fr/hal-01587125 -
2Conference
Συγγραφείς: Finkel, Alain, Praveen, M.
Συνεισφορές: Laboratoire Spécification et Vérification Cachan (LSV), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS), Chennai Mathematical Institute Inde, ANR-17-CE40-0028,BRAVAS,IDEAL-BASED ALGORITHMS FOR VASSES AND WELL-STRUCTURED SYSTEMS(2017)
Πηγή: CONCUR 2019 ; https://hal.science/hal-02267453 ; CONCUR 2019, Aug 2019, AMSTERDAM, Netherlands
Θεματικοί όροι: reachability, FIFO, termination, Infinite state systems, complexity, flat systems, counters, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, [SCCO.COMP]Cognitive science/Computer science, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Θέμα γεωγραφικό: AMSTERDAM, Netherlands
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1908.07282; ARXIV: 1908.07282
-
3Academic Journal
Συγγραφείς: Mostefaoui, Achour, Raynal, Michel
Συνεισφορές: Nantes Université, Bibliothèque universitaire, Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS), As Scalable As Possible: foundations of large scale dynamic distributed systems (ASAP), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)
Πηγή: Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. :381-389
Θεματικοί όροι: FOS: Computer and information sciences, [INFO.INFO-DC]Computer Science [cs]/Distributed, Message type, Computer Science - Information Theory, Information Theory (cs.IT), ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, Process crash failure, 0102 computer and information sciences, 02 engineering and technology, Pro-cess crash failure, Atomic read-write register, ACM: F.: Theory of Computation, Parallel, 01 natural sciences, Sequence number, Asynchronous message-passing system, and Cluster Computing [cs.DC], Computer Science - Distributed, Parallel, and Cluster Computing, [INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT], [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, Distributed, Parallel, and Cluster Computing (cs.DC), Upper bound
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: http://arxiv.org/pdf/1602.02695
http://arxiv.org/abs/1602.02695
https://hal.inria.fr/hal-01271135/document
http://ui.adsabs.harvard.edu/abs/2016arXiv160202695M/abstract
https://dblp.uni-trier.de/db/journals/corr/corr1602.html#MostefaouiR16a
https://hal.inria.fr/hal-01271135
https://hal.archives-ouvertes.fr/hal-02056409
https://hal.archives-ouvertes.fr/hal-02056409/document -
4Academic Journal
Συγγραφείς: Matthieu Roy, Michel Raynal, Achour Mostefaoui
Συνεισφορές: Raynal, Michel, Roy, Matthieu, Nantes Université, Bibliothèque universitaire, Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS), As Scalable As Possible: foundations of large scale dynamic distributed systems (ASAP), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), IRISA, ASAP INRIA de Rennes, Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), the World Is Distributed Exploring the tension between scale and coordination (WIDE), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique (LAAS-TSF), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), ANR-14-CE35-0010,DISCMAT,Mathematical Methods in Distributed Computing(2014), ANR-16-CE40-0023,DESCARTES,Abstraction modulaire pour le calcul distribué(2016), Centre Inria de l'Université de Rennes
Πηγή: Lecture Notes in Computer Science ISBN: 9783319461397
Θεματικοί όροι: Synchronous behavior, FOS: Computer and information sciences, [INFO.INFO-DC]Computer Science [cs]/Distributed, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, Process crash failure, Time-efficient operation, Atomic read/write register, 0102 computer and information sciences, 02 engineering and technology, ACM: D.: Software, Parallel, 01 natural sciences, Asynchronous message-passing system, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming, and Cluster Computing [cs.DC], Computer Science - Distributed, Parallel, and Cluster Computing, Concurrency, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, Distributed, Parallel, and Cluster Computing (cs.DC), Fast operation
Περιγραφή αρχείου: application/pdf
Συνδεδεμένο Πλήρες ΚείμενοΣύνδεσμος πρόσβασης: http://arxiv.org/pdf/1601.04820
http://arxiv.org/abs/1601.04820
https://inria.hal.science/hal-01256067v1
https://inria.hal.science/hal-01256067v1/document
https://laas.hal.science/hal-01784210v1
https://doi.org/10.1007/s00607-018-0615-8
https://laas.hal.science/hal-01784210v1/document
https://dblp.uni-trier.de/db/journals/computing/computing101.html#MostefaouiRR19
https://hal.laas.fr/hal-01784210
https://link.springer.com/article/10.1007/s00607-018-0615-8
https://hal.archives-ouvertes.fr/hal-01784210
https://hal.laas.fr/hal-01784210/document
https://link.springer.com/content/pdf/10.1007%2Fs00607-018-0615-8.pdf
https://hal.archives-ouvertes.fr/hal-02056397/document
https://link.springer.com/chapter/10.1007%2F978-3-319-46140-3_21
https://hal.archives-ouvertes.fr/hal-02056397
https://dblp.uni-trier.de/db/journals/corr/corr1601.html#MostefaouiR16
https://doi.org/10.1007/978-3-319-46140-3_21
https://hal.inria.fr/hal-01256067 -
5Report
Συγγραφείς: von Wendland, Marcelle
Συνεισφορές: Bancstreet Capital Partners Ltd (BST)
Πηγή: https://hal.inria.fr/hal-01777510 ; 2018.
Θεματικοί όροι: Blockchain Technology, Smart Contracts, Distributed Ledger Technology, Semantic technology, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.0: Automata (e.g., finite, push-down, resource-bounded), [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-ET]Computer Science [cs]/Emerging Technologies [cs.ET]
Relation: hal-01777510; https://hal.inria.fr/hal-01777510; https://hal.inria.fr/hal-01777510/document; https://hal.inria.fr/hal-01777510/file/SemBlockChain_OpenAccess_April2018.pdf
-
6Book
Συγγραφείς: Devismes, Stéphane, Petit, Franck, Tixeuil, Sébastien
Συνεισφορές: Tixeuil, Sébastien, Publications, Lip6, VERIMAG (VERIMAG - IMAG), Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Algorithms and Scheduling for Distributed Heterogeneous Platforms (GRAAL), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Global parallel and distributed computing (GRAND-LARGE), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Laboratoire d'Informatique Fondamentale de Lille (LIFL), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria), Networks and Performance Analysis (NPA), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), INRIA, ANR-08-CORD-0019,R-DISCOVER,Réseaux de robots mobiles : Couverture décentralisée de l'espace basée vision omnidirectionnelle. Perception, localisation et navigation coopératives.(2008), Centre Inria de l'Université Grenoble Alpes, Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de Saclay, Large-Scale Distributed Systems and Applications (Regal), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Institut universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), Laboratory of Information, Network and Communication Sciences (LINCS), Université Pierre et Marie Curie - Paris 6 (UPMC)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut Mines-Télécom Paris (IMT), ANR-08-VERS-0015,SHAMAN,Architectures auto-* pour les réseaux adverses et malicieux(2008)
Πηγή: Lecture Notes in Computer Science ISBN: 9783642114755
Θεματικοί όροι: [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], FOS: Computer and information sciences, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], Obliviousness, Computational Complexity (cs.CC), 01 natural sciences, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-MC]Computer Science [cs]/Mobile Computing, Computer Science - Robotics, [INFO.INFO-MC] Computer Science [cs]/Mobile Computing, Computer Science - Data Structures and Algorithms, Mobile robots, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], Data Structures and Algorithms (cs.DS), Ring exploration, [INFO.INFO-DC]Computer Science [cs]/Distributed, [INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-RB] Computer Science [cs]/Robotics [cs.RO], ACM: F.: Theory of Computation, Parallel, Anonimity, Probabilistic algorithm, Computer Science - Computational Complexity, and Cluster Computing [cs.DC], Computer Science - Distributed, Parallel, and Cluster Computing, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], Exploration, Distributed, Parallel, and Cluster Computing (cs.DC), Robots, Robotics (cs.RO)
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/0902.1834
https://inria.hal.science/inria-00360305v1/document
https://inria.hal.science/inria-00360305v1
https://hal.archives-ouvertes.fr/hal-01295189
https://arxiv.org/pdf/0902.1834
https://rd.springer.com/chapter/10.1007/978-3-642-11476-2_16
https://arxiv.org/abs/0902.1834
https://link.springer.com/10.1007/978-3-642-11476-2_16
https://hal.inria.fr/inria-00360305
https://hal.archives-ouvertes.fr/hal-00930045
https://hal.inria.fr/hal-00930045
https://www.sciencedirect.com/science/article/pii/S030439751300443X
https://dblp.uni-trier.de/db/journals/tcs/tcs498.html#DevismesPT13
https://www.sciencedirect.com/science/article/abs/pii/S030439751300443X
https://hal.science/hal-01295189v1
https://doi.org/10.1007/978-3-642-11476-2_16 -
7Conference
Συγγραφείς: Di Lena, Pietro, Margara, Luciano
Συνεισφορές: Dipartimento di Scienze dell'Informazione Bologna (DISI), Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO), Susanne Albers and Jean-Yves Marion
Πηγή: 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009
https://inria.hal.science/inria-00359623
26th International Symposium on Theoretical Aspects of Computer Science STACS 2009, Feb 2009, Freiburg, Germany. pp.337-348Θεματικοί όροι: Cellular Automata, Undecidability, Symbolic Dynamics, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/0902.1441; inria-00359623; https://inria.hal.science/inria-00359623; https://inria.hal.science/inria-00359623/document; https://inria.hal.science/inria-00359623/file/dilena_new.pdf; ARXIV: 0902.1441
-
8Conference
Συγγραφείς: Brazdil, Tomas, Brozek, Vaclav, Kucera, Antonin, Obdrzalek, Jan
Συνεισφορές: Institut für Informatik (LRR-TUM), Technische Universität Munchen - Technical University Munich - Université Technique de Munich (TUM), Faculty of Informatics Brno (FI / MUNI), Masaryk University Brno (MUNI), Susanne Albers and Jean-Yves Marion
Πηγή: 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009
https://inria.hal.science/inria-00359186
26th International Symposium on Theoretical Aspects of Computer Science STACS 2009, Feb 2009, Freiburg, Germany. pp.207-218Θεματικοί όροι: Stochastic games, reachability, pushdown automata, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT]
Relation: inria-00359186; https://inria.hal.science/inria-00359186; https://inria.hal.science/inria-00359186/document; https://inria.hal.science/inria-00359186/file/17-brazdil.pdf
-
9Report
Συγγραφείς: Castañeda, Armando, Delporte, Carole, Fauconnier, Hugues, Rajsbaum, Sergio, Raynal, Michel
Συνεισφορές: Instituto de Matematicas México, Universidad Nacional Autónoma de México = National Autonomous University of Mexico (UNAM), Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Networks, Graphs and Algorithms (GANG), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), As Scalable As Possible: foundations of large scale dynamic distributed systems (ASAP), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)
Πηγή: https://inria.hal.science/hal-01265958 ; 2016.
Θεματικοί όροι: Asynchronous distributed computing, Cole and Vishkin's coloring algorithm, Locality of a computation, Process crash failure, Synchronous communication, Vertex coloring problem, Wait-freedom, ACM: F.: Theory of Computation, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, [INFO]Computer Science [cs], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
-
10Report
Συγγραφείς: Mostefaoui, Achour, Raynal, Michel
Συνεισφορές: Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS), As Scalable As Possible: foundations of large scale dynamic distributed systems (ASAP), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), IRISA, ASAP INRIA de Rennes
Πηγή: https://inria.hal.science/hal-01256067 ; [Research Report] IRISA. 2016, pp.14.
Θεματικοί όροι: Fast operation, Atomic read/write register, Concurrency, Asynchronous message-passing system, Process crash failure, Synchronous behavior, Time-efficient operation, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, ACM: D.: Software, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1601.04820; ARXIV: 1601.04820
-
11Report
Συγγραφείς: Mostefaoui, Achour, Petrolia, Matoula, Raynal, Michel, Jard, Claude
Συνεισφορές: Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS), As Scalable As Possible: foundations of large scale dynamic distributed systems (ASAP), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), ASAP INRIA de Rennes
Πηγή: https://inria.hal.science/hal-01238765 ; 2015.
Θεματικοί όροι: Reliable broadcast abstraction, Linearizability, Byzantine process, Asynchronous message-passing system, Atomic read/write register, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.4: Communications Management, [INFO]Computer Science [cs]
-
12Report
Συγγραφείς: Frey, Davide, Lakhlef, Hicham, Raynal, Michel
Συνεισφορές: As Scalable As Possible: foundations of large scale dynamic distributed systems (ASAP), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), IRISA, Inria Rennes, ASAP INRIA de Rennes
Πηγή: https://inria.hal.science/hal-01248428 ; [Research Report] 2030, IRISA, Inria Rennes. 2015, pp.19.
Θεματικοί όροι: Broadcast/receive communication, Collision, Conflict, Distance-2 graph coloring, Message-passing, Network traversal, Synchronous system, Time slot assignment, Tree network, Wireless network, ACM: F.: Theory of Computation, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, [INFO]Computer Science [cs]
Relation: Report N°: 2030
-
13Report
Συγγραφείς: Mostefaoui, Achour, Raynal, Michel
Συνεισφορές: As Scalable As Possible: foundations of large scale dynamic distributed systems (ASAP), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)
Πηγή: https://inria.hal.science/hal-00942889 ; 2014.
Θεματικοί όροι: Abstraction level, Agreement, Asynchronous message-passing system, Broadcast abstraction, Byzantine process, Consensus, Fault-tolerance, Intrusion-tolerance, Message validation, Reliable broadcast, Signature-free algorithm, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
-
14Report
Συγγραφείς: Castañeda, Armando, Imbs, Damien, Rajsbaum, Sergio, Raynal, Michel
Συνεισφορές: Technion - Israel Institute of Technology Haifa, Instituto de Matematicas México, Universidad Nacional Autónoma de México = National Autonomous University of Mexico (UNAM), As Scalable As Possible: foundations of large scale dynamic distributed systems (ASAP), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)
Πηγή: https://inria.hal.science/hal-00862230 ; 2013.
Θεματικοί όροι: Agreement, Asynchronous read/write model, Coordination, Concurrent object, Crash failure, Decision task, Distributed computability, Non-determinism, Problem hierarchy, Renaming, Set agreement, Symmetry breaking, Wait-freedom, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR]
-
15Conference
Συγγραφείς: Balabonski, Thibaut, Pelle, Robin, Rieg, Lionel, Tixeuil, Sébastien
Συνεισφορές: Vérification d'Algorithmes, Langages et Systèmes (LRI) (VALS - LRI), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Department of Computer Science (YALE), Yale University New Haven, Networks and Performance Analysis (NPA), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Laboratory of Information, Network and Communication Sciences (LINCS), Université Pierre et Marie Curie - Paris 6 (UPMC)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut Mines-Télécom Paris (IMT)
Πηγή: ICDCN '18 Proceedings of the 19th International Conference on Distributed Computing and Networking ; ICDCN 2018 - 19th International Conference on Distributed Computing and Networking ; https://hal.sorbonne-universite.fr/hal-01753439 ; ICDCN 2018 - 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. pp.1-10, ⟨10.1145/3154273.3154321⟩
Θεματικοί όροι: Mobile Robots, Proof Assistant, Exploration, Impossibility results, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering
-
16Report
Συγγραφείς: Devismes, Stéphane, Petit, Franck, Tixeuil, Sébastien
Συνεισφορές: VERIMAG (VERIMAG - IMAG), Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Algorithms and Scheduling for Distributed Heterogeneous Platforms (GRAAL), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Global parallel and distributed computing (GRAND-LARGE), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Laboratoire d'Informatique Fondamentale de Lille (LIFL), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria), Networks and Performance Analysis (NPA), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), INRIA, ANR-08-CORD-0019,R-DISCOVER,Réseaux de robots mobiles : Couverture décentralisée de l'espace basée vision omnidirectionnelle. Perception, localisation et navigation coopératives.(2008)
Πηγή: https://inria.hal.science/inria-00360305 ; [Research Report] RR-6838, INRIA. 2009, pp.29.
Θεματικοί όροι: Robots, Anonimity, Obliviousness, Exploration, ACM: F.: Theory of Computation, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-MC]Computer Science [cs]/Mobile Computing, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/0902.1834; ARXIV: 0902.1834
-
17Report
Συγγραφείς: Le Gall, Tristan, Jeannet, Bertrand
Συνεισφορές: Verification models and techniques applied to testing and control of reactive systems (VERTECS), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)
Πηγή: https://inria.hal.science/inria-00140831 ; [Research Report] PI 1839, 2007, pp.36.
Θεματικοί όροι: Asynchronous systems, Abstract interpretation, Verification of infinite systems, FIFO channels, Lattice automata, Interpocedural analysis, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Relation: Report N°: PI 1839
-
18Report
Συγγραφείς: Jeannet, Bertrand, Jéron, Thierry, Le Gall, Tristan
Συνεισφορές: Verification models and techniques applied to testing and control of reactive systems (VERTECS), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
Πηγή: https://inria.hal.science/inria-00001031 ; [Research Report] PI 1767, 2005, pp.25.
Θεματικοί όροι: Communicating Finite State Machines, Reachability Analysis, FIFO channels systems, Abstract Interpretation \\ Automates communicants, Analyse d'atteignabilité, Systèmes FIFO, Interprétation Abstraite, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Relation: Report N°: PI 1767
-
19Academic Journal
Συγγραφείς: Valiron, Benoît, Ross, Neil J., Selinger, Peter, Alexander, D. Scott, Smith, Jonathan M.
Συνεισφορές: CentraleSupélec, Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Dalhousie University Halifax, Applied Communication Sciences Basking Ridge, NJ (ACS), Department of Computer and Information Science Pennsylvania (CIS), University of Pennsylvania
Πηγή: ISSN: 0001-0782.
Θεματικοί όροι: ACM: B.: Hardware/B.7: INTEGRATED CIRCUITS/B.7.1: Types and Design Styles, ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [PHYS.QPHY]Physics [physics]/Quantum Physics [quant-ph], [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY]