Manuel

Results: 8085



#Item
201

Data Flow Fusion with Series Expressions in Haskell Ben Lippmeier† Manuel M. T. Chakravarty† Gabriele Keller†

Add to Reading List

Source URL: benl.ouroborus.net

- Date: 2013-10-29 21:31:15
    202

    Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio

    Add to Reading List

    Source URL: cliplab.org

    - Date: 2017-11-15 11:58:15
      203

      Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses Pedro LOPEZ-GARCIA1,2 , Francisco BUENO3 and Manuel HERMENEGILDO1,3 1

      Add to Reading List

      Source URL: cliplab.org

      - Date: 2009-08-18 19:10:21
        204

        Incremental Analysis of Constraint Logic Programs MANUEL HERMENEGILDO and GERMAN PUEBLA Universidad Polit´ecnica de Madrid KIM MARRIOTT Monash University and

        Add to Reading List

        Source URL: cliplab.org

        - Date: 2005-07-26 16:20:28
          205

          GRECOM PSR-800 EZ Scan Digital Manuel d’Emploi GRECOM PSR-800

          Add to Reading List

          Source URL: www.greamerica.com

          - Date: 2014-11-13 13:09:53
            206

            Strong and Efficient Cache Side-Channel Protection using Hardware Transactional Memory Daniel Gruss∗, Julian Lettner†, Felix Schuster, Olga Ohrimenko, Istvan Haller, Manuel Costa Microsoft Research Abstract Cache-bas

            Add to Reading List

            Source URL: gruss.cc

            - Date: 2017-08-03 10:03:39
              207

              MANU E L POU R LES N O U VE AU X E MPLO Y ÉS ===================================================================== MANUEL POUR LES

              Add to Reading List

              Source URL: media.steampowered.com

              - Date: 2018-02-07 12:46:21
                208

                Software libre Malcolm Bain Manuel Gallego Rodríguez Manuel Martínez Ribas Judit Rius Sanjuán

                Add to Reading List

                Source URL: www.sw-computacion.f2s.com

                - Date: 2011-07-11 23:46:30
                  209

                  Software libre Malcolm Bain Manuel Gallego Rodríguez Manuel Martínez Ribas Judit Rius Sanjuán

                  Add to Reading List

                  Source URL: www.sw-computacion.f2s.com

                  - Date: 2011-07-11 23:50:44
                    210

                    Global Sequence Protocol A Robust Abstraction for Replicated Shared State Sebastian Burckhardt1 , Daan Leijen1 , Jonathan Protzenko1 , and Manuel Fähndrich2 1 2

                    Add to Reading List

                    Source URL: jonathan.protzenko.fr

                    - Date: 2015-08-08 20:45:58
                      UPDATE