Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interface verification » interface specification, inference verification, interactive verification
verification problems » purification problems, verification process, identification problems
program construction » programmed instruction
construction https » instruction https, conservation https, construction history
problems program » problems programs, problem program, problems progress
interface verification » interface specification, inference verification, interactive verification
verification problems » purification problems, verification process, identification problems
program construction » programmed instruction
construction https » instruction https, conservation https, construction history
problems program » problems programs, problem program, problems progress
1
Published 2007
Table of Contents:
“... with Cooperating Analysis Plugins -- The Why/Krakatoa/Caduceus Platform for Deductive Program Verification...”View full text
Electronic
eBook
2
Table of Contents:
“... and Design -- 4.2 The Interface Construct -- 4.3 Stimulus Timing -- 4.4 Interface Driving and Sampling -- 4.5...”
View full text
View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... the Security in the GSM Radio Network Using Attack Jungles -- Formal Modeling and Verification of Sensor...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... -- Refining Interface Alphabets for Compositional Verification -- MAVEN: Modular Aspect Verification...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... and Heterogeneous Clusters -- Verification of Message Passing Programs -- Visual Debugging of MPI Applications...”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 2010
Table of Contents:
“...Keynote Speeches -- Selected Problems of the Static Complex Systems Identification -- Combining...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... -- An Ownership Verification Scheme by Using Image Pinned Field and Genetic Algorithm -- Multiple-Image...”View full text
Electronic
eBook
9
Table of Contents:
“... Level Design of a Shared Memory System -- Specification of Interfaces -- Data Paths of Caches -- Cache...”
View full text
View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”View full text
Electronic
eBook
12
Table of Contents:
“... Approach -- Model Construction Language and Systems Implementation Language -- Computer-Acceptable Set...”
View full text
View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... Exploration Problem on Cycles -- Straightening Drawings of Clustered Hierarchical Graphs -- Improved Upper...”View full text
Electronic
eBook
14
Published 2012
Table of Contents:
“... Association-Rule Mining Algorithm -- An Algorithm of Parallel Programming Design Based on Problem Domain Model...”View full text
Electronic
eBook