Sizeof

Results: 276



#Item
11Advanced SmPL: Finding Missing IS ERR tests Julia Lawall January 26,

Advanced SmPL: Finding Missing IS ERR tests Julia Lawall January 26,

Add to Reading List

Source URL: coccinelle.lip6.fr

Language: English
12spcl.inf.ethz.ch @spcl_eth TIMO SCHNEIDER <>  DPHPC Recitation Session 2

spcl.inf.ethz.ch @spcl_eth TIMO SCHNEIDER <> DPHPC Recitation Session 2

Add to Reading List

Source URL: spcl.inf.ethz.ch

Language: English - Date: 2015-09-29 09:35:32
13A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julia Lawall (University of Copenhagen) Joint work with

A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julia Lawall (University of Copenhagen) Joint work with

Add to Reading List

Source URL: coccinelle.lip6.fr

Language: English
14CS:APP Web Aside DATA:TMIN: Writing TMin in C∗ Randal E. Bryant David R. O’Hallaron June 5, 2012

CS:APP Web Aside DATA:TMIN: Writing TMin in C∗ Randal E. Bryant David R. O’Hallaron June 5, 2012

Add to Reading List

Source URL: csapp.cs.cmu.edu

Language: English - Date: 2012-06-05 05:37:35
15Triggering Deep Vulnerabilities Using Symbolic Execution  Dan Caselden, Alex Bazhanyuk, Mathias Payer,

Triggering Deep Vulnerabilities Using Symbolic Execution Dan Caselden, Alex Bazhanyuk, Mathias Payer,

Add to Reading List

Source URL: hexhive.github.io

Language: English - Date: 2016-06-13 11:08:40
16BS-Entwicklung mit Literate Programming Foliensatz 7: Interrupts und Faults Hans-Georg Eßer TH Nürnberg

BS-Entwicklung mit Literate Programming Foliensatz 7: Interrupts und Faults Hans-Georg Eßer TH Nürnberg

Add to Reading List

Source URL: ohm.hgesser.de

Language: English - Date: 2014-11-18 08:03:39
17Vorschau von „Diff Checker - Online diff tool to compare text to find the difference between two text files“.pdf

Vorschau von „Diff Checker - Online diff tool to compare text to find the difference between two text files“.pdf

Add to Reading List

Source URL: ohm.hgesser.de

Language: English - Date: 2014-11-20 05:01:13
18Symbolic Crosschecking of Floating-Point and SIMD Code Peter Collingbourne, Cristian Cadar, Paul H J Kelly Department of Computing, Imperial College London  4 November, 2010

Symbolic Crosschecking of Floating-Point and SIMD Code Peter Collingbourne, Cristian Cadar, Paul H J Kelly Department of Computing, Imperial College London 4 November, 2010

Add to Reading List

Source URL: www.llvm.org

Language: English - Date: 2010-11-17 01:55:50
19Precise Garbage Collection for C Jon Rafkind Adam Wick  John Regehr

Precise Garbage Collection for C Jon Rafkind Adam Wick John Regehr

Add to Reading List

Source URL: www.cs.utah.edu

Language: English - Date: 2009-04-13 14:57:15
20Oak Ridge National Laboratory Computing and Computational Sciences Preparing OpenSHMEM for Exascale Presented by:

Oak Ridge National Laboratory Computing and Computational Sciences Preparing OpenSHMEM for Exascale Presented by:

Add to Reading List

Source URL: hpcadvisorycouncil.com

Language: English - Date: 2015-02-02 12:20:17