-
1
المؤلفون: Hugues Evrard, Alastair F. Donaldson
المصدر: Model Checking Software ISBN: 9783031321566
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4cbf658a4a7dfde2938703699f2ca5eb
https://doi.org/10.1007/978-3-031-32157-3_3 -
2
المؤلفون: Harmit Raval, Margaret Martonosi, John Wickerson, Tyler Sorensen, Lucas F. Salvador, Alastair F. Donaldson, Hugues Evrard
المساهمون: Engineering & Physical Science Research Council (E, Engineering and Physical Sciences Research Council
مصطلحات موضوعية: FOS: Computer and information sciences, Technology, Computer science, test case synthesis, GPU, 02 engineering and technology, Thread (computing), computer.software_genre, Porting, Oracle, Synchronization (computer science), 0202 electrical engineering, electronic engineering, information engineering, Test suite, Workgroup, Safety, Risk, Reliability and Quality, semantics, Science & Technology, Computer Science - Programming Languages, Programming language, 020207 software engineering, Computer Science, Software Engineering, model checking, WEAK MEMORY, 020202 computer hardware & architecture, liveness, Computer Science, Parallel programming model, General-purpose computing on graphics processing units, computer, Software, Programming Languages (cs.PL)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c3d2281273dbc6e64eccd5fbf5edb16c
http://arxiv.org/abs/2109.06132 -
3
المؤلفون: Hugues Evrard
المصدر: MARS@ETAPS
مصطلحات موضوعية: FOS: Computer and information sciences, Correctness, Computer science, Programming language, Process calculus, Raft, computer.software_genre, Toolbox, Software Engineering (cs.SE), Computer Science - Software Engineering, Computer Science - Distributed, Parallel, and Cluster Computing, Consensus, Paxos, Formal language, Distributed, Parallel, and Cluster Computing (cs.DC), computer, Protocol (object-oriented programming)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::78e06f30c8598b972f7075c3cf613e3a
-
4
المؤلفون: Alastair F. Donaldson, Hugues Evrard, Tyler Sorensen
المصدر: ESEC/SIGSOFT FSE
11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017مصطلحات موضوعية: 020203 distributed computing, Computer science, 020207 software engineering, 02 engineering and technology, Parallel computing, computer.software_genre, Porting, Scheduling (computing), Rendering (computer graphics), Kernel (image processing), 0202 electrical engineering, electronic engineering, information engineering, Human multitasking, Computer multitasking, Compiler, General-purpose computing on graphics processing units, computer, Algorithm
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::46aa9094d57e6846334f4d822d4bf46c
https://doi.org/10.1145/3106237.3106265 -
5
المؤلفون: Andrei Lascu, Alastair F. Donaldson, Paul Thomson, Hugues Evrard
المصدر: Object-oriented Programming, Systems, Languages, and Applications (OOPSLA)
مصطلحات موضوعية: Fixed-function, Multiple Render Targets, Computer science, OpenGL, 020207 software engineering, 02 engineering and technology, HLSL2GLSL, OpenGL Shading Language, Unified shader model, 020204 information systems, Computer graphics (images), 0202 electrical engineering, electronic engineering, information engineering, Shading language, Safety, Risk, Reliability and Quality, Shader, Software, ComputingMethodologies_COMPUTERGRAPHICS
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c1b5bdd1bb34d2b72f66902853000d90
http://hdl.handle.net/10044/1/50407 -
6
المؤلفون: Hugues Evrard, Frédéric Lang
المساهمون: Construction of verified concurrent systems (CONVECS ), 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 ), 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])-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]), Grid'5000
المصدر: Journal of Logical and Algebraic Methods in Programming
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2017, 88, pp.33. ⟨10.1016/j.jlamp.2016.09.002⟩
Journal of Logical and Algebraic Methods in Programming, 2017, 88, pp.33. ⟨10.1016/j.jlamp.2016.09.002⟩مصطلحات موضوعية: Multiway Rendezvous, Logic, Computer science, Distributed computing, Concurrency, Process calculus, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], computer.software_genre, Theoretical Computer Science, Process Algebra, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Code generation, Protocol (object-oriented programming), Formal verification, Programming language, Rendezvous, 020207 software engineering, Compilation, Computational Theory and Mathematics, Asynchronous communication, Distributed Systems, Compiler, computer, Software
-
7
المؤلفون: Hugues Evrard
المساهمون: Construction of verified concurrent systems (CONVECS ), 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 ), 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])-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])
المصدر: TACAS'2016
TACAS'2016, Apr 2016, Eindhoven, Netherlands. ⟨10.1007/978-3-662-49674-9_34⟩
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783662496732
TACASمصطلحات موضوعية: Correctness, Computer science, Programming language, Process calculus, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], computer.software_genre, Formal methods, 01 natural sciences, Toolbox, 010201 computation theory & mathematics, Formal specification, 0202 electrical engineering, electronic engineering, information engineering, Compiler, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c2f1ac14b6070f10ca0b1dba74c7e193
https://inria.hal.science/hal-01250925/file/Evrard_TACAS_2016.pdf -
8
المؤلفون: Frédéric Lang, Hugues Evrard
المساهمون: Construction of verified concurrent systems (CONVECS), 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), 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)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF), This work was partly funded by the French Fonds national pour la Société Numérique (FSN), Pôles Minalogic, Systematic and SCS (project OpenCloudware).Experiments presented in this paper were carried out using the Grid'5000 testbed, supported by a scientific interest group hosted by Inria and including CNRS, RENATER and several Universities as well as other organizations (see https://www.grid5000.fr)., Grid'5000, 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)
المصدر: 23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2015)
23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2015), Mar 2015, Turku, Finland
PDPمصطلحات موضوعية: Programming language, Semantics (computer science), Computer science, Distributed computing, Concurrency, Process (computing), 02 engineering and technology, computer.software_genre, Asynchronous communication, 020204 information systems, Synchronization (computer science), 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Code generation, Compiler, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], computer, Formal verification
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5e53d7c1de67e029d976c8ed87a005d9
https://hal.inria.fr/hal-01086522/file/EvrardLang14.pdf -
9
المؤلفون: Frédéric Lang, Hugues Evrard
المساهمون: Construction of verified concurrent systems (CONVECS), 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), This work was partly funded by the French Fonds national pour la Société Numérique (FSN), Pôles Minalogic, Systematic and SCS (project OpenCloudware)., Dirk Beyer, Michele Boreale, TC 6, WG 6.1, 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)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)
المصدر: Lecture Notes in Computer Science
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.146-160
Formal Techniques for Distributed Systems ISBN: 9783642385919
FMOODS/FORTEمصطلحات موضوعية: Correctness, Programming language, Computer science, Distributed computing, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Deadlock, computer.software_genre, Formal methods, 01 natural sciences, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking, 010201 computation theory & mathematics, Synchronization (computer science), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, 0202 electrical engineering, electronic engineering, information engineering, Mutual exclusion, Formal verification, computer, Protocol (object-oriented programming), Semantic gap
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7bd98150ae9d694c8add9126e0439497
https://inria.hal.science/hal-00818788