Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs 3 » programs 83, programs _, programs a
3 programs » c programs, 2 programs, 3 progress
https » http
programs 3 » programs 83, programs _, programs a
3 programs » c programs, 2 programs, 3 progress
https » http
1
Published 2014
Table of Contents:
“... Aspects and Management -- 3.3 Fruit Fly Detection Programs: The Potentials and Limitations of Trap Array...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... of Array Semantics -- MSA: Multiphase Specifically Shared Arrays -- Supporting SQL-3 Aggregations on Grid...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... and Food Markets, Policies and Programs—Walter J. Armbruster, President Emeritus, Farm Foundation...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“... Exploration in the Polyhedral Model -- Compiler Optimizations: Machine Learning versus O3 -- The STAPL...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Therapy for preschool children with conduct problems -- Parent Management Programs for Children...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”View full text
Electronic
eBook
12
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“...-Lite -- Verification of Golog Programs over Description Logic Actions -- Invited Talk 3...”View full text
Electronic
eBook
15
Table of Contents:
“...Foreword -- Introduction -- Bayesian data analysis of Pulsar Timing Arrays -- Gravitational-wave...”
View full text
View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... Building -- Chapter 2: Health -- Chapter 3: Environmentally Sustainable Energy Projects -- Chapter 4...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
19
Table of Contents:
“...The three-dimensional structure of proteins -- Liquid chromatography of biomolecules -- Mass...”
View full text
View full text
Electronic
eBook
20
Table of Contents:
“... User Interfaces -- Database Support -- Network Programming -- Python and the Web -- Testing, 1-2-3...”
View full text
View full text
Electronic
eBook