Damien

Results: 1013



#Item
51

Automating Separation Logic Using SMT Ruzica Piskac1 , Thomas Wies2 , and Damien Zufferey3 1 2

Add to Reading List

Source URL: www.lsv.ens-cachan.fr

- Date: 2014-02-21 17:46:20
    52

    Energy-Aware Task Allocation onto Unrelated Heterogeneous Multicore Platform for Mixed Criticality Systems Muhammad Ali Awan, Damien Masson, Eduardo Tovar To cite this version:

    Add to Reading List

    Source URL: hal-upec-upem.archives-ouvertes.fr

    - Date: 2016-12-20 09:10:53
      53

      Right Ventricle Segmentation From Cardiac MRI: A Collation Study Caroline Petitjeana,∗, Maria A. Zuluagab , Wenjia Baid , Jean-Nicolas Dacherc , Damien Grosgeorgea , J´erˆome Caudronc , Su Ruana , Ismail Ben Ayedh ,

      Add to Reading List

      Source URL: www.litislab.fr

      - Date: 2014-10-13 08:33:15
        54

        The OCaml system release 4.04 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: 2016-11-04 12:44:19
          55

          Response Time Analysis for Thermal-Aware Real-Time Systems Under Fixed-Priority Scheduling Youn`es Chandarli, Nathan Fisher, Damien Masson To cite this version: Youn`es Chandarli, Nathan Fisher, Damien Masson. Response T

          Add to Reading List

          Source URL: hal.archives-ouvertes.fr

          - Date: 2016-12-02 16:02:14
            56

            YARTISS: A Generic, Modular and Energy-Aware Scheduling Simulator for Real-Time Multiprocessor Systems Youn`es Chandarli, Manar Qamhieh, Fr´ed´eric Fauberteau, Damien Masson To cite this version:

            Add to Reading List

            Source URL: hal.archives-ouvertes.fr

            - Date: 2016-11-28 02:54:06
              57

              IMPROVED CRT ALGORITHM FOR CLASS POLYNOMIALS IN GENUS 2 KRISTIN E. LAUTER AND DAMIEN ROBERT Abstract. We present a generalization to genus 2 of the probabilistic algorithm of Sutherland for computing Hilbert class polyno

              Add to Reading List

              Source URL: www.normalesup.org

              - Date: 2013-11-15 16:58:00
                58

                Aberlady Community Association (ACA) Incorporating the Hall Management Committee Minutes of Committee Meeting 14th April 2015 Present: Archie Baird, Sheila Baird, Jackie Burman Donald Hay, Angus McCallum, Damien Noonan,

                Add to Reading List

                Source URL: www.aberlady.org

                - Date: 2015-09-15 07:13:19
                  59

                  Discovering a botnet from Russia (With love) Damien Aumaitre - Christophe Devaux - Julien Lenoir - Sogeti/ESEC

                  Add to Reading List

                  Source URL: esec-lab.sogeti.com

                  - Date: 2016-07-01 12:08:46
                    60

                    On the CRT method to compute class polynomials in genus 2 Réunion CHIC Kristin Lauter1 , Damien Robert1 1

                    Add to Reading List

                    Source URL: www.normalesup.org

                    - Date: 2014-08-03 16:15:38
                      UPDATE