Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
3 programs » c programs, 2 programs, 3 progress
program 3 » program _, program a
https » http
3 programs » c programs, 2 programs, 3 progress
program 3 » program _, program a
https » http
1
Published 2015
Table of Contents:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”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 2007
Table of Contents:
“... Scheduling on Multi-issue Digital Signal Processors -- An Array Allocation Scheme for Energy Reduction...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”View full text
Electronic
eBook
8
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
9
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
10
Published 2014
Table of Contents:
“...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”View full text
Electronic
eBook
11
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
12
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
13
Published 2013
Table of Contents:
“... and Food Markets, Policies and Programs—Walter J. Armbruster, President Emeritus, Farm Foundation...”View full text
Electronic
eBook
14
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Published 2008
Table of Contents:
“... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... -- Tweaking ICSI for a PGD program -- Comprehensive Chromosomal Screening from Polar Body Biopsy to Blastocyst...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Approach for Autonomic Profiling and Performance Assessment -- Ladder Metamodeling and PLC Program...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... -- On the Reconstruction of Crystals Through Discrete Tomography -- Binary Tomography by Iterating Linear Programs from...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Protocol for Live Streaming Services -- Session 3: Web Techniques -- Dynamic Thread Management in Kernel...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...”View full text
Electronic
eBook