Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program validation » programs validation, program vilidation, program evaluation
function computing » education computing, generation computing
validation https » evaluation https, animation https, visualization https
https function » its function, sites function, ups function
program validation » programs validation, program vilidation, program evaluation
function computing » education computing, generation computing
validation https » evaluation https, animation https, visualization https
https function » its function, sites function, ups function
1
by Fitzgerald, John., Fitzgerald, John., Larsen, Peter Gorm., Mukherjee, Paul., Plat, Nico., Verhoef, Marcel.
Published 2005
Table of Contents:
“... -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered...”Published 2005
View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“...-functional Avionics Requirements -- A Simulation Approach for Performance Validation during Embedded Systems...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Approach -- Test Generation: A Hierarchical Approach -- Test Program Generation from High-level...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Tutorial) -- Abstract Interpretation with Applications to Timing Validation -- Session 1: Concurrency...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... mutation paradigm for Genetic Programming -- Introducing an Age-Varying Fitness Estimation Function -- EC...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“...Extreme Accuracy in Symbolic Regression -- Exploring Interestingness in a Computational Evolution...”View full text
Electronic
eBook
15
Subjects:
“...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
View full text
View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... and Agile Values among Software Developers -- Part Short Papers -- Agile Methodologies in Web Programming: A...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Problems -- Validating the Knuth-Morris-Pratt Failure Function, Fast and Online -- Identical Relations...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”View full text
Electronic
eBook