Interleaving

Results: 112



#Item
1Motivation Interleaving AVATAR

Motivation Interleaving AVATAR

Add to Reading List

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

Language: English - Date: 2016-07-20 13:24:52
2Assessment and Integrative Learning Think: Medina’s “interleaving,” iteration, cycles of learning

Assessment and Integrative Learning Think: Medina’s “interleaving,” iteration, cycles of learning

Add to Reading List

Source URL: www.learningoutcomesassessment.org

Language: English - Date: 2016-07-15 15:38:02
    31 Optimal Interleaving on Tori Anxiao (Andrew) Jiang, Matthew Cook, and Jehoshua Bruck California Institute of Technology Electrical Engineering Department

    1 Optimal Interleaving on Tori Anxiao (Andrew) Jiang, Matthew Cook, and Jehoshua Bruck California Institute of Technology Electrical Engineering Department

    Add to Reading List

    Source URL: www.paradise.caltech.edu

    Language: English - Date: 2004-04-14 21:09:09
      4Assessment and Integrative Learning Think: Medina’s “interleaving,” iteration, cycles of learning

      Assessment and Integrative Learning Think: Medina’s “interleaving,” iteration, cycles of learning

      Add to Reading List

      Source URL: learningoutcomesassessment.org

      Language: English - Date: 2016-07-15 15:38:02
        5Interleaving of Modification and Use in Data-driven Tool Development Marcel Taeumel1 Michael Perscheid2

        Interleaving of Modification and Use in Data-driven Tool Development Marcel Taeumel1 Michael Perscheid2

        Add to Reading List

        Source URL: hirschfeld.org

        - Date: 2016-01-13 13:34:01
          6Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels? Peter Collingbourne1?? Alastair F. Donaldson1 Jeroen Ketema1 Shaz Qadeer2 1 Imperial College London

          Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels? Peter Collingbourne1?? Alastair F. Donaldson1 Jeroen Ketema1 Shaz Qadeer2 1 Imperial College London

          Add to Reading List

          Source URL: www.doc.ic.ac.uk

          - Date: 2013-01-20 10:20:30
            7ESPRES: Easy Scheduling and Prioritization for SDN † Peter Pereˇs´ıni† Maciej Ku´zniar† Marco Canini∗ Dejan Kosti´c‡ EPFL ∗ Universit´e catholique de Louvain ‡ Institute IMDEA Networks interleaving ru

            ESPRES: Easy Scheduling and Prioritization for SDN † Peter Pereˇs´ıni† Maciej Ku´zniar† Marco Canini∗ Dejan Kosti´c‡ EPFL ∗ Universit´e catholique de Louvain ‡ Institute IMDEA Networks interleaving ru

            Add to Reading List

            Source URL: perso.uclouvain.be

            - Date: 2014-03-02 02:10:18
              8TOPIC #1: Concurrent Testing - Eitan Farchi, Jan Fiedor, Tomas Vojnar, Michael Pradel, Severin Heiniger, Samira Tasharofi When to stop? • A concurrent program is run repeatedly – each run new interleavings are execut

              TOPIC #1: Concurrent Testing - Eitan Farchi, Jan Fiedor, Tomas Vojnar, Michael Pradel, Severin Heiniger, Samira Tasharofi When to stop? • A concurrent program is run repeatedly – each run new interleavings are execut

              Add to Reading List

              Source URL: faculty.uoit.ca

              Language: English - Date: 2012-07-18 00:49:35
              9Generic Code Optimization Jack Dongarra, Shirley Moore, Keith Seymour, and Haihang You LACSI Symposium Automatic Tuning of Whole Applications Workshop October 11, 2005

              Generic Code Optimization Jack Dongarra, Shirley Moore, Keith Seymour, and Haihang You LACSI Symposium Automatic Tuning of Whole Applications Workshop October 11, 2005

              Add to Reading List

              Source URL: www.cs.rice.edu

              Language: English - Date: 2005-10-12 00:13:29
              10Leaving the Nest: Nominal techniques for variables with interleaving scopes Murdoch J. Gabbay1 , Dan R. Ghica2 , and Daniela Petrişan3 1 2 3

              Leaving the Nest: Nominal techniques for variables with interleaving scopes Murdoch J. Gabbay1 , Dan R. Ghica2 , and Daniela Petrişan3 1 2 3

              Add to Reading List

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

              Language: English - Date: 2015-06-27 12:59:58