Searching for authors named "Eric Goubault" – sorted by Relevance.
23 documents found, showing 1 through 10.
Next 10 →
-
Transitions take time (Extended Abstract)
- …Transitions take time Eric Goubault Ecole Normale Sup'erieure Extended Abstract Abstract…
- Add To MetaCart
-
Static Analyses of Floating-Point Operations
- …Static analyses of floating-point operations Eric Goubault LIST (CEA - Recherche Technologique…
- Cited by 3 (0 self) – Add To MetaCart
-
The Dynamics of Wait-Free Distributed Computations
- … Press The Dynamics of Wait-Free Distributed Computations Eric Goubault C.N.R.S & Ecole Normale Sup…
- Cited by 1 (1 self) – Add To MetaCart
-
Optimal Implementation of Wait-Free Binary Relations
- …Optimal Implementation of Wait-Free Binary Relations Eric Goubault CNRS & LIENS, ' Ecole Normale…
- Cited by 2 (1 self) – Add To MetaCart
-
Cubical Sets are Generalized Transition Systems
- …Cubical Sets are Generalized Transition Systems Eric Goubault LIST/DTSI/SLA, CEA Saclay, F-91191…
- Cited by 2 (1 self) – Add To MetaCart
-
Some Geometric Perspectives in Concurrency Theory
- … PERSPECTIVES IN CONCURRENCY THEORY ERIC GOUBAULT (communicated by Gunnar Carsson and Rick Jardine) Abstract…
- Cited by 23 (3 self) – Add To MetaCart
-
Geometry and Concurrency: A User's Guide
- …-sur-Yvette Cedex, France Email: Eric.Goubault@(email omitted); Received 31 January 2000 Geometrical methods in concurrency…
- Cited by 20 (2 self) – Add To MetaCart
-
Static Analysis of Numerical Algorithms
- …Static Analysis of Numerical Algorithms Eric Goubault and Sylvie Putot CEA Saclay, F91191 Gif…
- Cited by 4 (2 self) – Add To MetaCart
-
Weakly Relational Domains for Floating-Point Computation Analysis. Presented at NSAD’05
- …Weakly Relational Domains for Floating-Point Computation Analysis 1 Introduction Eric Goubault…
- Cited by 2 (2 self) – Add To MetaCart
-
Dihomotopy as a Tool in State Space Analysis
- …Dihomotopy as a tool in state space analysis Eric Goubault 1 and Martin Raussen 2 1 LIST (CEA…
- Cited by 14 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
