Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function variability » functions variability, functional variability, function visibility
variability https » variability helps, reliability https, variability its
program function » programme function, programs functional, program foundation
data program » data programs, dana program, fasta program
function variability » functions variability, functional variability, function visibility
variability https » variability helps, reliability https, variability its
program function » programme function, programs functional, program foundation
data program » data programs, dana program, fasta program
1
Published 2007
Table of Contents:
“... in Embedded Systems -- Variable Reassignment in the T++ Parallel Programming Language -- Parallel Construction...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Existential Variables from Constraint Logic Programs -- Negative Ternary Set-Sharing -- Termination...”View full text
Electronic
eBook
4
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... for Objective Functions with Locally Correlated Variables -- Neural Data Analysis and Reduction Using Improved...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“...-Programs with Existential Quantification -- Introducing Real Variables and Integer Objective Functions...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Variables in Bayesian Networks -- Kernel K-Means for Categorical Data -- Using Genetic Algorithms to Improve...”View full text
Electronic
eBook
10
Table of Contents:
“...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
View full text
View full text
Electronic
eBook
11
Table of Contents:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
View full text
View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”View full text
Electronic
eBook
15
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Networks From Data -- Conflicts within and between Belief Functions -- Consonant Continuous Belief...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... Programming -- Domain Types: Abstract-Domain Selection Based on Variable Usage -- Efficient Analysis...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... -- An Efficient Algorithm and Its Parallelization for Computing PageRank -- A Query Index for Stream Data Using...”View full text
Electronic
eBook