Rocquencourt

Results: 247



#Item
61

PDF Document

Add to Reading List

Source URL: www-ijpb.versailles.inra.fr

Language: English - Date: 2013-05-22 04:47:23
62STYX: Connecting the XML Web to the World of Semantics Irini Fundulaki1 , Bernd Amann1 , Catriel Beeri2 , Michel Scholl1 , and Anne-Marie Vercoustre3 1 Cedric-CNAM Paris, INRIA Rocquencourt

STYX: Connecting the XML Web to the World of Semantics Irini Fundulaki1 , Bernd Amann1 , Catriel Beeri2 , Michel Scholl1 , and Anne-Marie Vercoustre3 1 Cedric-CNAM Paris, INRIA Rocquencourt

Add to Reading List

Source URL: users.ics.forth.gr

Language: English - Date: 2010-09-29 12:12:00
63The Reactive Engine for Modular Transducers G´erard Huet and Benoˆıt Razet INRIA Rocquencourt, BP 105, 78153 Le Chesnay Cedex, France Abstract. This paper explains the design of the second release of the

The Reactive Engine for Modular Transducers G´erard Huet and Benoˆıt Razet INRIA Rocquencourt, BP 105, 78153 Le Chesnay Cedex, France Abstract. This paper explains the design of the second release of the

Add to Reading List

Source URL: gallium.inria.fr

Language: English - Date: 2006-04-04 08:48:02
64Automata Mista G´erard Huet INRIA Rocquencourt, BP 105, 78153 Le Chesnay Cedex, France, , http://pauillac.inria.fr/~huet

Automata Mista G´erard Huet INRIA Rocquencourt, BP 105, 78153 Le Chesnay Cedex, France, , http://pauillac.inria.fr/~huet

Add to Reading List

Source URL: gallium.inria.fr

Language: English - Date: 2005-02-18 11:56:22
65MSFPSimulating Finite Eilenberg Machines with a Reactive Engine Benoˆıt Razet1 INRIA Paris-Rocquencourt

MSFPSimulating Finite Eilenberg Machines with a Reactive Engine Benoˆıt Razet1 INRIA Paris-Rocquencourt

Add to Reading List

Source URL: eg.bucknell.edu

Language: English - Date: 2016-05-16 11:53:19
    66Computing with Relational Machines G´erard Huet and Benoˆıt Razet INRIA Paris-Rocquencourt ICON’2008 Tutorial, Pune, DecemberAbstract. We give a quick presentation of the X-machines of Eilenberg, a generalisa

    Computing with Relational Machines G´erard Huet and Benoˆıt Razet INRIA Paris-Rocquencourt ICON’2008 Tutorial, Pune, DecemberAbstract. We give a quick presentation of the X-machines of Eilenberg, a generalisa

    Add to Reading List

    Source URL: eg.bucknell.edu

    Language: English - Date: 2016-05-16 11:53:19
      67Foundational Property-Based Testing Zoe Paraskevopoulou1,2 C˘at˘alin Hrit¸cu1 Maxime D´en`es1 Leonidas Lampropoulos3 Benjamin C. Pierce3 1 Inria Paris-Rocquencourt

      Foundational Property-Based Testing Zoe Paraskevopoulou1,2 C˘at˘alin Hrit¸cu1 Maxime D´en`es1 Leonidas Lampropoulos3 Benjamin C. Pierce3 1 Inria Paris-Rocquencourt

      Add to Reading List

      Source URL: prosecco.gforge.inria.fr

      Language: English - Date: 2015-06-06 02:52:29
        68Finite Eilenberg Machines Benoˆıt Razet INRIA Paris-Rocquencourt, Abstract. Eilenberg machines define a general computational model.

        Finite Eilenberg Machines Benoˆıt Razet INRIA Paris-Rocquencourt, Abstract. Eilenberg machines define a general computational model.

        Add to Reading List

        Source URL: eg.bucknell.edu

        Language: English - Date: 2016-05-16 11:53:19
          69Introduction to communication avoiding linear algebra algorithms in high performance computing Laura Grigori Inria Rocquencourt/UPMC

          Introduction to communication avoiding linear algebra algorithms in high performance computing Laura Grigori Inria Rocquencourt/UPMC

          Add to Reading List

          Source URL: www.lifl.fr

          Language: English
          70Algorithmique “diviser-pour-r´egner” pour le calcul de cartes routi`eres Mohab Safey el Din Universit´e Paris 6 and INRIA Paris-Rocquencourt April 2, 2010

          Algorithmique “diviser-pour-r´egner” pour le calcul de cartes routi`eres Mohab Safey el Din Universit´e Paris 6 and INRIA Paris-Rocquencourt April 2, 2010

          Add to Reading List

          Source URL: jncf.math.cnrs.fr

          Language: French - Date: 2010-04-02 05:53:31