Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
trace programs » trade programs, track programs, space programs
program trace » program traces, programs trace, program trade
https » http
trace programs » trade programs, track programs, space programs
program trace » program traces, programs trace, program trade
https » http
1
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Published 2010
Table of Contents:
“... Tolerant Programs -- A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While -- A...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Components -- Transactions -- A Trace Semantics for Long-Running Transactions -- Practical Application of CSP...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Programs -- The Use of Traces for Inlining in Java Programs -- A Practical MHP Information Analysis...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”View full text
Electronic
eBook
7
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
8
Published 2015
Table of Contents:
“... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“... with OCL -- Multi-perspectives on Feature Models -- Generating Better Partial Covering Arrays by Modeling...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“...Invited Program -- Embedded Systems as Datacenters -- Larrabee: A Many-Core Intel Architecture...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“...Keynote Speech -- Programming Challenges for Petascale and Multicore Parallel Systems -- Towards...”View full text
Electronic
eBook
13
Subjects:
“...Political Science. https://scigraph.springernature.com/ontologies/product-market-codes/911000...”
View full text
View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... -- Approximating Graphs by Graphs and Functions (Abstract) -- Traces, Feedback, and the Geometry of Computation...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... Based on Function Fields -- New LFSR-Based Cryptosystems and the Trace Discrete Log Problem (Trace-DLP...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... Rendering -- Architectures -- Controller Synthesis for Mapping Partitioned Programs on Array Architectures...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Semidefinite Programming -- Ranks of Hadamard Matrices and Equivalence of Sylvester—Hadamard and Pseudo-Noise...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Program RAY -- Neutron Beam Phase Space Mapping -- Raytrace of Neutron Optical Systems with RESTRAX...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... Synthesis of Circular Arrays Based on the Niche Genetic Algorithm -- The Application of Wavelet Analysis...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“... -- Access Annotation for Safe Program Parallelization -- Extracting Threaded Traces in Simulation...”View full text
Electronic
eBook