Primitive - PDFSEARCH.IO - Document Search Engine

Primitive
Results: 1920

#	Item
831	Write Barrier Elision for Concurrent Garbage Collectors Martin T. Vechev David F. Bacon Computer Laboratory Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:24:26 Data types Primitive types C++ C programming language Automatic memory management Pointer Garbage collection Dangling pointer Unreachable memory Software engineering Computing Computer programming
832	C++11 User-defined Literals Michael R¨ uegg on behalf of Prof. Peter Sommerlad ACCU[removed]Bristol, UK / April 10, 2013 Add to Reading List Source URL: accu.org Language: English - Date: 2013-04-13 17:30:45 C++ C++11 String literal Primitive data type Literal Decltype Constant C data types Computer programming Computing Software engineering
833	Proc. of the European Conference on Object-Oriented Programming, Glasgow, UK, July[removed]Derivation and Evaluation of Concurrent Collectors Martin T. Vechev1 , David F. Bacon2 , Perry Cheng2 , and David Grove2 1 Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:24:18 Data types Memory management Automatic memory management Primitive types Cross-platform software Garbage collection Reference counting Unreachable memory Pointer Computing Software engineering Computer programming
834	Sage Reference Manual: Finite Rings Release 6.6.beta0 The Sage Development Team February 21, 2015 Add to Reading List Source URL: sagemath.org Language: English - Date: 2015-02-21 07:35:21 Field theory Polynomials Conway polynomial Primitive polynomial Finite field Field extension Field Sage Factorization of polynomials over a finite field and irreducibility tests Abstract algebra Algebra Mathematics
835	Usage AIS Data for Analyzing Ship’s Motion Intensity K. Naus, A. Makar & J. Apanowicz Polish Naval Academy, Gdynia, Poland ABSTRACT: In preliminary unit of report were introduced order, structure and format of VDM code Add to Reading List Source URL: transnav2007.am.gdynia.pl Language: English - Date: 2010-03-14 05:12:48 Computing Technology Binary arithmetic Data types Primitive types Bit Ip Transport Automatic Identification System Water transport
836	Chameleon: Adaptive Selection of Collections Ohad Shacham Martin Vechev Eran Yahav Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:46 Memory management Cross-platform software Data types Primitive types C++ Garbage collection C dynamic memory allocation C Garbage Computing Software engineering Computer programming
837	Bignum Arithmetic Felix von Leitner CCC Berlin [removed] December 2006 Abstract Add to Reading List Source URL: dl.fefe.de Language: English - Date: 2006-12-25 09:51:14 Software engineering Data types C++ Primitive types C programming language Arbitrary-precision arithmetic Sizeof GNU Multiple Precision Arithmetic Library Integer Computing Computer arithmetic Computer programming
838	Microsoft Word - water_b-tree_2008f.doc Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2009-06-22 15:39:37 Data types Cross-platform software Primitive types Procedural programming languages Java Variable C Reference Primitive data type Computing Software engineering Computer programming
839	Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2013-04-22 14:23:31 Predicate logic Functions and mappings Model theory Propositional calculus Formal languages Predicate Function Primitive recursive function FO Mathematical logic Logic Mathematics
840	Pointers and Memory By Nick Parlante Copyright ©[removed], Nick Parlante Add to Reading List Source URL: cslibrary.stanford.edu Language: English - Date: 2008-04-01 19:05:37 Data types C++ Primitive types C programming language Pointer Software bugs Reference C syntax C Software engineering Computing Computer programming

UPDATE