Interleaving - PDFSEARCH.IO - Document Search Engine

Interleaving
Results: 112

#	Item
1	Motivation Interleaving AVATAR Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 13:24:52 School of Computer Science University of Manchester Vampire
2	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
3	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
4	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
5	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
6	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
7	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
8	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 Computing Software Concurrent computing Edsger W. Dijkstra Lock Code coverage Interleaving Thread
9	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 Polytopes Simplex Topology X3 Interleaving Numerical software Mathematics Donald Knuth PROPT GEC
10	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 Semigroup theory Category theory Functional programming Formal languages Free monoid Monoid Net NC Equivalence relation Sequence Monad Ordinal number

UPDATE