Runtime system

Results: 126



#Item
1Suggesting Edits to Explain Failing Traces Giles Reger University of Manchester, UK Abstract. Runtime verification involves checking whether an execution trace produced by a running system satisfies a specification. Howe

Suggesting Edits to Explain Failing Traces Giles Reger University of Manchester, UK Abstract. Runtime verification involves checking whether an execution trace produced by a running system satisfies a specification. Howe

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2016-07-20 13:08:32
2M AR Q: Monitoring At Runtime with QEA Giles Reger, Helena Cuenca Cruz and David Rydeheard University of Manchester Abstract. Runtime monitoring is the process of checking whether an execution trace of a running system s

M AR Q: Monitoring At Runtime with QEA Giles Reger, Helena Cuenca Cruz and David Rydeheard University of Manchester Abstract. Runtime monitoring is the process of checking whether an execution trace of a running system s

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2016-07-20 13:13:50
3The StarPU Runtime System Part. 1 – Introducing StarPU ST RM Static Optimizations – Runtime Methods

The StarPU Runtime System Part. 1 – Introducing StarPU ST RM Static Optimizations – Runtime Methods

Add to Reading List

Source URL: starpu.gforge.inria.fr

Language: English - Date: 2017-04-19 03:54:18
    4Modeling and Simulation of a Dynamic Task-Based Runtime System for Heterogeneous Multi-Core Architectures Luka Stanisic, Samuel Thibault, Arnaud Legrand, Brice Videau, Jean-Fran¸cois M´ehaut

    Modeling and Simulation of a Dynamic Task-Based Runtime System for Heterogeneous Multi-Core Architectures Luka Stanisic, Samuel Thibault, Arnaud Legrand, Brice Videau, Jean-Fran¸cois M´ehaut

    Add to Reading List

    Source URL: hal.inria.fr

    - Date: 2016-12-21 02:35:19
      5Faithful Performance Prediction of a Dynamic Task-Based Runtime System for Heterogeneous Multi-Core Architectures Luka Stanisic, Samuel Thibault, Arnaud Legrand, Brice Videau, Jean-Fran¸cois M´ehaut

      Faithful Performance Prediction of a Dynamic Task-Based Runtime System for Heterogeneous Multi-Core Architectures Luka Stanisic, Samuel Thibault, Arnaud Legrand, Brice Videau, Jean-Fran¸cois M´ehaut

      Add to Reading List

      Source URL: hal.inria.fr

      - Date: 2016-12-19 06:37:15
        6Modeling and Simulation of a Dynamic Task-Based Runtime System for Heterogeneous Multi-Core Architectures Luka Stanisic, Samuel Thibault, Arnaud Legrand, Brice Videau, Jean-Fran¸cois M´ehaut

        Modeling and Simulation of a Dynamic Task-Based Runtime System for Heterogeneous Multi-Core Architectures Luka Stanisic, Samuel Thibault, Arnaud Legrand, Brice Videau, Jean-Fran¸cois M´ehaut

        Add to Reading List

        Source URL: hal.inria.fr

        - Date: 2016-12-22 01:34:48
          7AIR Overview Daniel Dura Platform Evangelist Adobe Systems, Inc. Adobe Integrated Runtime (AIR) is a crossoperating system runtime that allows

          AIR Overview Daniel Dura Platform Evangelist Adobe Systems, Inc. Adobe Integrated Runtime (AIR) is a crossoperating system runtime that allows

          Add to Reading List

          Source URL: www.danieldura.com

          - Date: 2007-09-05 22:15:00
            8StarPU: a Runtime System for Scheduling Tasks over Accelerator-Based Multicore Machines C´edric Augonnet, Samuel Thibault, Raymond Namyst To cite this version: C´edric Augonnet, Samuel Thibault, Raymond Namyst. StarPU:

            StarPU: a Runtime System for Scheduling Tasks over Accelerator-Based Multicore Machines C´edric Augonnet, Samuel Thibault, Raymond Namyst To cite this version: C´edric Augonnet, Samuel Thibault, Raymond Namyst. StarPU:

            Add to Reading List

            Source URL: hal.inria.fr

            - Date: 2016-06-14 10:40:23
              9MetaVM: A Transparent Distributed Object System Supported by Runtime Compiler Kazuyuki Shudo Yoichi Muraoka School of Science and Engineering Waseda University Okubo 3-4-1, Shinjuku-ku, Tokyo, Japan

              MetaVM: A Transparent Distributed Object System Supported by Runtime Compiler Kazuyuki Shudo Yoichi Muraoka School of Science and Engineering Waseda University Okubo 3-4-1, Shinjuku-ku, Tokyo, Japan

              Add to Reading List

              Source URL: www.shudo.net

              - Date: 2003-06-09 05:29:36
                10QuickStart QC is a development tool for stress testing application and stand alone code during runtime. It is designed to be thorough, fast, and easy to use. QC requires System 7 in order to function. This document is in

                QuickStart QC is a development tool for stress testing application and stand alone code during runtime. It is designed to be thorough, fast, and easy to use. QC requires System 7 in order to function. This document is in

                Add to Reading List

                Source URL: www.onyxtech.com

                Language: English - Date: 2004-07-08 04:31:05