Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs functionals » programs functional, programming functionals, program functionality
functionals function » function function, functions functional, function dysfunction
parallel variable » parallel particle, parallel cable, parallel serial
variable programs » variable problems, variable histograms, variables problems
function https » functions https, fiction https
programs functionals » programs functional, programming functionals, program functionality
functionals function » function function, functions functional, function dysfunction
parallel variable » parallel particle, parallel cable, parallel serial
variable programs » variable problems, variable histograms, variables problems
function https » functions https, fiction https
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 2006
Table of Contents:
“... for CHR -- Overlapping Rules and Logic Variables in Functional Logic Programs -- Towards “Propagation...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Existential Variables from Constraint Logic Programs -- Negative Ternary Set-Sharing -- Termination...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”View full text
Electronic
eBook
6
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
7
Published 2014
Table of Contents:
“...-Programs with Existential Quantification -- Introducing Real Variables and Integer Objective Functions...”View full text
Electronic
eBook
8
Table of Contents:
“...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
View full text
View full text
Electronic
eBook
9
Table of Contents:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
View full text
View full text
Electronic
eBook
10
Table of Contents:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
View full text
View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”View full text
Electronic
eBook
14
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
15
Table of Contents:
“... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
View full text
View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... to Fuzzy Random Variables -- Correlation of Intuitionistic Fuzzy Sets -- A Correlation Ratio...”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 2010
Table of Contents:
“... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”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 2010
Table of Contents:
“... for Tera-Scale Multi-core Microprocessors -- Process Variability and Degradation: New Frontier...”View full text
Electronic
eBook