Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
inference verification » coherence verification, convergence verification, inference identification
verification program » verification problems, verification process, verification proving
process computers » process computer, processor computers, processing computers
program process » program progress, programs processes, program processing
computers https » computing https, computers gtt, computers help
inference verification » coherence verification, convergence verification, inference identification
verification program » verification problems, verification process, verification proving
process computers » process computer, processor computers, processing computers
program process » program progress, programs processes, program processing
computers https » computing https, computers gtt, computers help
1
Published 2008
Table of Contents:
“... in Concurrent Programs -- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations...”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“... Decision Processes -- Symbolic Polytopes for Quantitative Interpolation and Verification -- Adaptive...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... Verification Using Network Flow Model -- Performance Evaluation of Process Partitioning Using Probabilistic...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Convex Programming -- Complexity Bounds for the Verification of Real-Time Software -- An Abstract Domain...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“... the Verification of Adaptable Processes.- Runtime Verification: The Application Perspective.- What Does AI Have...”View full text
Electronic
eBook
6
Published 2012
Table of Contents:
“...Linux Driver Verification (Position Paper).- Bioscientific Data Processing and Modeling.- Using...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“...) -- Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... Inference System -- Active Learning using Fuzzy K-NN for Cancer Classification from Microarray Gene...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“...Inference and Declaration of Independence in Task-Parallel Programs -- BDDT: Block-Level Dynamic...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...”View full text
Electronic
eBook
13
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“...Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Handlers as Extensible Cases -- Sound and Complete Type Inference for a Systems Programming Language...”View full text
Electronic
eBook
16
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”View full text
Electronic
eBook
17
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... Semantics for Type Inference -- Principal Type Schemes for Modular Programs -- A Consistent Semantics...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Analysis in k-Bits -- Path Optimization in Programs and Its Application to Debugging -- Inference of User...”View full text
Electronic
eBook
19
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Watershed Algorithm -- Inferring Cause/Effect Relationships in Multi-sensor Ambient Intelligence Systems...”View full text
Electronic
eBook