203 results  save search

hal-00934311v1  Conference papers
Sebastian BurckhardtAlexey GotsmanHongseok YangMarek Zawirski. Replicated Data Types: Specification, Verification, Optimality
POPL 2014: 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2014, San Diego, CA, United States. pp.271-284, ⟨10.1145/2535838.2535848⟩
hal-01350668v1  Conference papers
Marc ShapiroMasoud Saeida ArdekaniGustavo Petri. Consistency in 3D
Int. Conf. on Concurrency Theory (CONCUR) 2016, Aug 2016, Québec, Canada. pp.15
hal-01350558v1  Conference papers
Deepthi Devaki AkkoorathAlejandro TomsicManuel BravoZhongmiao LiTyler Crain et al.  Cure: Strong semantics meets high availability and low latency
Int. Conf. on Distributed Computing Systems (ICDCS 2016), Jun 2016, Nara, Japan. pp.405-414, ⟨10.1109/ICDCS.2016.98⟩
hal-01350657v1  Conference papers
Alejandro TomsicTyler CrainMarc Shapiro. PhysiCS-NMSI: efficient consistent snapshots for scalable snapshot isolation
PaPoC 2016 - 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, Apr 2016, London, United Kingdom. pp.4, ⟨10.1145/2911151.2911166⟩
hal-00932833v1  Journal articles
Marc ShapiroNuno PreguiçaCarlos BaqueroMarek Zawirski. Convergent and Commutative Replicated Data Types
Bulletin- European Association for Theoretical Computer Science, European Association for Theoretical Computer Science; 1999, 2011, pp.67-88
inria-00100983v1  Conference papers
Fabrice Rouillier. Computational problems related to positive polynomials
Workshop on positive polynomials, 2002, Oberwolfach, Germany
inria-00100984v1  Conference papers
Gabriel dos ReisBernard MourrainPhilippe TrebuchetFabrice Rouillier. An environment for Symbolic and Numeric Computation
International Congress of Mathematical Software - ICMS'2002, 2002, Beijing, China. pp.239-249
inria-00107637v1  Conference papers
Dongming Wang. GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically
The Fourth International Workshop on Automated Deduction in Geometry - ADG 2002, Franz Winkler, Sep 2002, Hagenberg Castle, Austria. pp.194-215, ⟨10.1007/978-3-540-24616-9_12⟩
inria-00107866v1  Conference papers
Daniel Lazard. Resolution of polynomial systems
4th Asian Symposium on Computer Mathematics - ASCM 2000, Dec 2000, Chiang Mai, Thailand. pp.1 - 8
tel-01067244v1  Theses
Jean-Pierre Lozi. Towards more scalable mutual exclusion for multicore architectures
Other [cs.OH]. Université Pierre et Marie Curie - Paris VI, 2014. English. ⟨NNT : 2014PA066119⟩
hal-01149185v1  Reports
Dastagiri Reddy MalikireddyMasoud Saeida ArdekaniMarc Shapiro. Emulating Geo-Replication on Grid5000
[Technical Report] RT-0455, Inria – Centre Paris-Rocquencourt; INRIA. 2015, pp.15
hal-00779937v1  Books
Serge HaddadFabrice KordonLaurent PautetLaure Petrucci. Distributed Systems Design and Algorithms
Haddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. John Wiley & Sons, Ltd., 2011
hal-00779944v1  Books
Serge HaddadFabrice KordonLaurent PautetLaure Petrucci. Models and Analysis in Distributed Systems
Haddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. John Wiley & Sons, Ltd., 2011
inria-00070678v1  Reports
Daniel LazardFabrice Rouillier. Solving Parametric Polynomial Systems
[Research Report] RR-5322, INRIA. 2004, pp.23
hal-00772641v1  Journal articles
Étienne AndréEmmanuelle EncrenazLaurent FribourgThomas Chatain. An Inverse Method for Parametric Timed Automata
International Journal of Foundations of Computer Science, World Scientific Publishing, 2009, 20 (5), pp.819-836. ⟨10.1142/S0129054109006905⟩
inria-00110525v1  Conference papers
Michel KernAgany OlouiJean-Charles FaugèreFabrice Rouillier. Using Groebner bases to compute higher order finite elements for mass lumping
Fourth International Congress on Industrial & Applied Mathematics - ICIAM'99, Jul 1999, Edinburgh, United Kingdom
hal-01109719v1  Conference papers
Valter BalegasMahsa NajafzadehSérgio DuarteCarla FerreiraMarc Shapiro et al.  Putting the Consistency Back Into Eventual Consistency
Large-Scale Distributed Systems and Middleware (LADIS) 2014, Oct 2014, Cambridge, United Kingdom
inria-00107534v1  Conference papers
Daniel Lazard. On the specification for solvers of polynomial systems
5th Asian Symposium on Computer Mathematics - ASCM 2001, Sep 2001, Matsuyama, Japan. pp.66 - 75, ⟨10.1142/9789812799661_0007⟩
hal-01109111v1  Journal articles
Bettina KemmeAndré SchiperRamlingam GanesanMarc Shapiro. Dagstuhl Seminar Review: Consistency in Distributed Systems
ACM SIGACT News, Association for Computing Machinery (ACM), 2014, 45 (1), pp.22. ⟨10.1145/2596583.2596601⟩
inria-00070537v1  Conference papers
Bernard MourrainPhilippe Trebuchet. Generalized normal forms and polynomial system solving
ISSAC 2005 - International Symposium on Symbolic and Algebraic Computation , Jul 2005, Beijing, China. pp.253-260, ⟨10.1145/1073884.1073920⟩
inria-00363024v1  Journal articles
Béatrice BérardFranck CassezSerge HaddadDidier LimeOlivier Roux. When are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?
Theoretical Computer Science, Elsevier, 2008, 403 (2--3), pp.202--220