Tristan

Results: 697



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

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
    22Multi-Cycle Query Caching in Agent Programming Tristan Behrens Natasha Alechina Mehdi Dastani

    Multi-Cycle Query Caching in Agent Programming Tristan Behrens Natasha Alechina Mehdi Dastani

    Add to Reading List

    Source URL: www.marcvanzee.nl

    Language: English - Date: 2015-10-13 11:22:57
      23CENTRE GEORGES CHEVRIER UMR CNRS UB 7366 Atelier Transition(s) - CGC

      CENTRE GEORGES CHEVRIER UMR CNRS UB 7366 Atelier Transition(s) - CGC

      Add to Reading List

      Source URL: tristan.u-bourgogne.fr

      Language: French - Date: 2018-05-24 08:16:08
        242. Platz der Heidelberger Theatertage 2017 Dem in Wien ansässigen ILIOS Théâtre gelang es mit ihrem Stück „Tristan Isolde Desaster“ einen mittelalterlichen und man könnte meinen erschöpfend behandelten Stoff

        2. Platz der Heidelberger Theatertage 2017 Dem in Wien ansässigen ILIOS Théâtre gelang es mit ihrem Stück „Tristan Isolde Desaster“ einen mittelalterlichen und man könnte meinen erschöpfend behandelten Stoff

        Add to Reading List

        Source URL: www.iliostheatre.com

        - Date: 2018-02-05 15:48:18
          251 TRISTAN ISOLDE DESASTER von Julian Friedrichs Frei nach Joseph Bédiers „Roman von Tristan und Isolde“

          1 TRISTAN ISOLDE DESASTER von Julian Friedrichs Frei nach Joseph Bédiers „Roman von Tristan und Isolde“

          Add to Reading List

          Source URL: www.iliostheatre.com

          - Date: 2018-02-05 15:48:00
            26Djinni 2.1 Approximating NP-Complete Problems, Fast Jeff Ohlmann, Barrett Thomas, Robert Hansen, Tristan Thiede Presented at OSCON 2006

            Djinni 2.1 Approximating NP-Complete Problems, Fast Jeff Ohlmann, Barrett Thomas, Robert Hansen, Tristan Thiede Presented at OSCON 2006

            Add to Reading List

            Source URL: conferences.oreillynet.com

            - Date: 2014-01-16 14:36:50
              27Perceptually-Driven Video Coding with the Daala Video Codec Yushin Choa,b , Thomas J. Daedea,b , Nathan E. Eggea,b , Guillaume Martresa,b , Tristan Matthewsa,b , Christopher Montgomerya,b , Timothy B. Terriberrya,b , and

              Perceptually-Driven Video Coding with the Daala Video Codec Yushin Choa,b , Thomas J. Daedea,b , Nathan E. Eggea,b , Guillaume Martresa,b , Tristan Matthewsa,b , Christopher Montgomerya,b , Timothy B. Terriberrya,b , and

              Add to Reading List

              Source URL: jmvalin.ca

              - Date: 2016-09-14 17:03:52
                28Open Watermarking of EIDR Identifiers Paul Mears – President, CEO – Copperline Media Tristan de Kerautem – Global Product Marketing Manager – Kantar Media S

                Open Watermarking of EIDR Identifiers Paul Mears – President, CEO – Copperline Media Tristan de Kerautem – Global Product Marketing Manager – Kantar Media S

                Add to Reading List

                Source URL: cimm-us.org

                - Date: 2018-01-31 18:47:56
                  29Califfato e barbarie Tristan Leoni [ ddt21.noblogs.org, dicembre 2015 ] «Gli arabi costituivano il sostegno indispensabile dei grandi imperi, in qualità di mercenari o di ausiliari. Si comprava la loro adesione, si

                  Califfato e barbarie Tristan Leoni [ ddt21.noblogs.org, dicembre 2015 ] «Gli arabi costituivano il sostegno indispensabile dei grandi imperi, in qualità di mercenari o di ausiliari. Si comprava la loro adesione, si

                  Add to Reading List

                  Source URL: dl.dropboxusercontent.com