Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
problem compositional » problem computational, problem positional, problems computational
compositional program » composition programs, computational program, compositional problems
processing programs » processing programmed, processing problems, processing products
programs problem » programs problems, program problem, programmes problems
program https » programs https, program has, program help
problem compositional » problem computational, problem positional, problems computational
compositional program » composition programs, computational program, compositional problems
processing programs » processing programmed, processing problems, processing products
programs problem » programs problems, program problem, programmes problems
program https » programs https, program has, program help
1
Published 2008
Table of Contents:
“... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Post Embedding Problem -- Alternation Removal in Büchi Automata -- Linear Orders in the Pushdown...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... for Piecewise Affine Systems -- Reachability and Mortality Problems for Restricted Hierarchical Piecewise...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... for Automotive Applications -- From MDD to Full Industrial Process: Building Distributed Real-Time Embedded...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Language Semantics Through Logical Form Composition -- Contributed Papers -- Gradience, Constructions...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Tool to Find Errors in Task-Based Parallel Programs -- Automated Tuning in Parallel Sorting on Multi...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Models and Compositional Models -- Bayesian Networks vs. Evidential Networks: An Application to Convoy...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... Differential Evolution Approach for Solving Integer Programming Problems -- Liver Disease Diagnosis Using...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Concurrent Programs -- Parallelisation of Sequential Programs by Invasive Composition and Aspect Weaving...”View full text
Electronic
eBook
13
Table of Contents:
“...Mathematical Preliminaries -- Elasticity Problems -- Elastoplastic Problems -- Sensitivity Analysis...”
View full text
View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“...Invited Talks -- Analysis of Systems with Stochastic Process Creation -- Verifying Concurrent...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“...: Runtime Verification and So Much More -- Visual Debugging for Stream Processing Applications -- Runtime...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... Ontological Structures from Portuguese Written Texts -- Speech Processing -- On the Use of Machine Learning...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... -- Engineering Optimization Using SOMGA -- Goal Programming Approach to Trans-shipment Problem -- An Efficient...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... Patterns in Memory -- Synthesis of Circular Compositional Program Proofs via Abduction -- As Soon...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...”View full text
Electronic
eBook