Laure

Results: 631



#Item
111

Estimation of Parallel Complexity with Rewriting Techniques Christophe Alias, Carsten Fuhs, Laure Gonnord To cite this version: Christophe Alias, Carsten Fuhs, Laure Gonnord. Estimation of Parallel Complexity with Rewrit

Add to Reading List

Source URL: hal.archives-ouvertes.fr

Language: English - Date: 2018-08-06 19:18:59
    112

    Département IMA / 4A (S8) Informatique FondamentaleLaure Gonnord http://laure.gonnord.org/pro/

    Add to Reading List

    Source URL: laure.gonnord.org

    Language: French
      113

      Validation of Memory Accesses Through Symbolic Analyses Laure Gonnord Lyon1/LIP 2015, June 23rd - Google Seminar

      Add to Reading List

      Source URL: laure.gonnord.org

      Language: English
        114

        Compilation and Program Analysis (#4) : Types, Typing Laure Gonnord http://laure.gonnord.org/pro/teaching/capM1.html Master 1, ENS de Lyon

        Add to Reading List

        Source URL: laure.gonnord.org

        Language: English
          115

          Synthesis of ranking functions using extremal counterexamples Laure Gonnord, David Monniaux, Gabriel Radanne To cite this version: Laure Gonnord, David Monniaux, Gabriel Radanne. Synthesis of ranking functions using extr

          Add to Reading List

          Source URL: hal.archives-ouvertes.fr

          Language: English - Date: 2018-08-15 05:29:41
            116

            PROGRAMMING LANGUAGES LABORATORY! Universidade  Federal  de  Minas  Gerais  -­‐    Department  of  Computer  Science   REGISTER ALLOCATION! PROGRAM ANALYSIS

            Add to Reading List

            Source URL: laure.gonnord.org

            Language: English
              117

              Département IMA / 3A (S5) Programmation Structuréehttp://laure.gonnord.org/pro/teaching/

              Add to Reading List

              Source URL: laure.gonnord.org

              Language: French
                118

                Internship report Laboratoire d’Informatique Fondamentale de Lille Lucas Seguinot August 23, 2013 Improvement of a termination analysis

                Add to Reading List

                Source URL: laure.gonnord.org

                Language: English
                  119

                  Département IMA / 4A (S8) Informatique FondamentaleLaure Gonnord et Julien Forget http://laure.gonnord.org/pro/

                  Add to Reading List

                  Source URL: laure.gonnord.org

                  Language: French
                    120

                    GNU Emacs Reference Card (for version 20) Starting Emacs To enter GNU Emacs 20, just type its name: emacs To read in a file to edit, see Files, below.

                    Add to Reading List

                    Source URL: laure.gonnord.org

                    Language: English
                      UPDATE