Leroy

Results: 1224



#Item
21

Controlled field experiments of wind effects on thermal signatures of buried and surface-laid land mines Remke L. van Dam∗, Brian Borchers, Jan M.H. Hendrickx, and Sung-ho Hong New Mexico Tech, 801 Leroy Place, Socorro

Add to Reading List

Source URL: infohost.nmt.edu

Language: English - Date: 2015-02-03 11:15:37
    22

    Trust in compilers, code generators, and software verification tools Xavier Leroy Inria Paris Embedded Real Time Software and Systems,

    Add to Reading List

    Source URL: xavierleroy.org

    Language: English - Date: 2018-08-01 14:49:25
      23

      Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy

      Add to Reading List

      Source URL: jtristan.github.io

      Language: English - Date: 2018-06-24 11:22:27
        24

        The OCaml system release 4.06 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon

        Add to Reading List

        Source URL: caml.inria.fr

        Language: English - Date: 2017-11-03 12:23:36
          25

          Formal Verification of Code Generators for Modeling Languages (Invited Talk) Xavier Leroy Inria, Paris, France

          Add to Reading List

          Source URL: refal.botik.ru

          - Date: 2018-03-19 17:25:59
            26

            The OCaml system release 4.06 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon

            Add to Reading List

            Source URL: caml.inria.fr

            - Date: 2017-11-03 12:23:36
              27

              PRESENT: Lemons, C.J., Goodwyn, Mims, Powell, Kelsey, and McCullough, JJ., and Millette, S.J. DEBRA CHILTON-BELLONI OPINION BY SENIOR JUSTICE LEROY F. MILLETTE, JR. November 9, 2017

              Add to Reading List

              Source URL: www.courts.state.va.us

              - Date: 2017-11-09 09:02:02
                28

                The Association for Diplomatic Studies and Training Foreign Affairs Oral History Project AMBASSADOR ALFRED LEROY ATHERTON, JR. Interviewed by: Dayton Mak Initial interview date: Summer 1990 Copyright 1998 ADST

                Add to Reading List

                Source URL: www.adst.org

                - Date: 2012-11-02 14:39:16
                  29

                  MEDIA RELEASE BellMediaPR.ca/Comedy Corrine Koslo Cast as Emma Leroy for The Comedy Network’s CORNER GAS: THE ANIMATED SERIES – Voice recordings currently underway in Vancouver and Toronto –

                  Add to Reading List

                  Source URL: www.cornergas.com

                  - Date: 2017-01-30 11:20:33
                    30

                    Data Mining Approach to Temporal Debugging of Embedded Streaming Applications Oleg Iegorov, Alexandre Termier, Vincent Leroy, Jean-Fran¸cois M´ehaut, Miguel Santana To cite this version:

                    Add to Reading List

                    Source URL: hal.archives-ouvertes.fr

                    - Date: 2016-12-23 05:37:16
                      UPDATE