Sizeof

Results: 276



#Item
11C / Data types / Struct / Pointer / C++ classes / Sizeof / Stat

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

Add to Reading List

Source URL: coccinelle.lip6.fr

Language: English
12C++ / Parallel computing / Application programming interfaces / Message Passing Interface / Sizeof / C++ classes

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
13C / Struct / Sizeof / Stat / C++ classes / Coccinelle

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
14C / Data types / Sizeof / Integer / Signedness / Type punning / C data types

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
15Software engineering / Computer programming / C / Computing / Data types / Assertion / Debugging / Const / Sizeof / Symbolic execution

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
16Computing / Software engineering / C / Computer programming / Interrupts / Data types / Typedef / Interrupt / Sizeof / C++ classes / Struct / Bit field

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
17C / Computer programming / Software engineering / Computing / Typedef / Sizeof / C++ classes / Bit field / Printf format string / Struct

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
18C programming language / Cross-platform software / Elementary mathematics / C++ / Sizeof / SIMD / C / Function / Array programming / Computer programming / Computing / Software engineering

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
19Memory management / Data types / Garbage collection / Pointer / C dynamic memory allocation / C / Region-based memory management / Memory safety / Sizeof / Software engineering / Computing / Computer programming

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
20Memory management / Parallel computing / Computer buses / Static variable / Sizeof / Variable / C dynamic memory allocation / OpenMP / PCI Express / Computing / Software engineering / Computer programming

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
UPDATE