Models of computation

Results: 1716



#Item
11Lecture 8: The Cache Oblivious Approach www.cs.illinois.edu/~wgropp Designing for Memory Hierarchy

Lecture 8: The Cache Oblivious Approach www.cs.illinois.edu/~wgropp Designing for Memory Hierarchy

Add to Reading List

Source URL: wgropp.cs.illinois.edu

Language: English - Date: 2015-01-15 15:21:32
12Analyzing Concurrency in Streaming Applications Sander Stuijk, Twan Basten ES Reports ISSN

Analyzing Concurrency in Streaming Applications Sander Stuijk, Twan Basten ES Reports ISSN

Add to Reading List

Source URL: www.es.ele.tue.nl

Language: English - Date: 2005-03-23 08:07:59
13RMM Vol. 3, 2012, 66–70 http://www.rmm-journal.de/ Book Review  Michael Laver and Ernest Sergenti:

RMM Vol. 3, 2012, 66–70 http://www.rmm-journal.de/ Book Review Michael Laver and Ernest Sergenti:

Add to Reading List

Source URL: www.rmm-journal.com

Language: English - Date: 2012-08-15 11:31:55
14Microsoft Word - D5.2.B.doc

Microsoft Word - D5.2.B.doc

Add to Reading List

Source URL: spes2020.informatik.tu-muenchen.de

Language: English - Date: 2012-03-23 07:32:41
15ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal

ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal

Add to Reading List

Source URL: www.ijmetmr.com

Language: English - Date: 2015-06-09 12:18:16
161968  IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 59, NO. 7, JULY 2014 Holding Time Maximization Preserving Output Performance for Timed Event Graphs

1968 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 59, NO. 7, JULY 2014 Holding Time Maximization Preserving Output Performance for Timed Event Graphs

Add to Reading List

Source URL: www.control.tu-berlin.de

Language: English - Date: 2015-03-26 15:31:05
17Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings Claus Schr¨oter1 and Victor Khomenko2 1  Institut f¨

Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings Claus Schr¨oter1 and Victor Khomenko2 1 Institut f¨

Add to Reading List

Source URL: rodin.cs.ncl.ac.uk

Language: English - Date: 2004-10-12 08:45:38
18An Introduction to Logical Relations Proving Program Properties Using Logical Relations Lau Skorstengaard   Contents

An Introduction to Logical Relations Proving Program Properties Using Logical Relations Lau Skorstengaard Contents

Add to Reading List

Source URL: www.cs.uoregon.edu

Language: English - Date: 2016-06-30 06:06:10
19Motivation  Overview Traces

Motivation Overview Traces

Add to Reading List

Source URL: lama.univ-savoie.fr

Language: English - Date: 2016-01-12 10:36:12
20Parameterized Dataflow Scenarios Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth ES Reports ISSNESR

Parameterized Dataflow Scenarios Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth ES Reports ISSNESR

Add to Reading List

Source URL: www.es.ele.tue.nl

Language: English - Date: 2015-11-16 10:46:32