Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
internal organization » inter organization, informal organization, general organization
organization programs » organizations programs, organizations program, organization programming
program constructs » program construction, program constructing, programming constructs
programs program » programming program
constructs https » construction https, constructs loops, constructs arti
internal organization » inter organization, informal organization, general organization
organization programs » organizations programs, organizations program, organization programming
program constructs » program construction, program constructing, programming constructs
programs program » programming program
constructs https » construction https, constructs loops, constructs arti
1
Published 2012
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
2
Subjects:
“...Entrepreneurship. https://scigraph.springernature.com/ontologies/product-market-codes/514000...”
View full text
View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... Type System Improves a Foundational Program Verifier -- Computational Verification of Network Programs...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Bounds -- Cell-Probe Proofs and Nondeterministic Cell-Probe Complexity -- Constructing Efficient...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...”View full text
Electronic
eBook
7
Published 2012
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
8
Published 2011
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... Construction of Program Representations for Sparse Dataflow Analyses -- Inter-iteration Scalar Replacement...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... Component Language for Structured Parallel Programming -- Internal and External Token-Based Synchronization...”View full text
Electronic
eBook
12
Published 2011
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
13
Published 2012
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Parallelization -- Static Nonconcurrency Analysis of OpenMP Programs -- CCRG OpenMP Compiler: Experiments...”View full text
Electronic
eBook
17
Published 2015
Table of Contents:
“... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“...Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code...”View full text
Electronic
eBook