Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function computing » education computing, generation computing
parallel program » parallel programs, parallel problem, parallel programming
solving function » selling function, solving fiction, scoring function
program solving » programs solving, program moving, program serving
https » http
function computing » education computing, generation computing
parallel program » parallel programs, parallel problem, parallel programming
solving function » selling function, solving fiction, scoring function
program solving » programs solving, program moving, program serving
https » http
1
Published 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Structures -- Bioreactor Control by Genetic Programming -- Solving the One-Commodity Pickup and Delivery...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“...Theory of Evolutionary Computing (I) -- Optimal Fixed and Adaptive Mutation Rates...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”View full text
Electronic
eBook
8
Published 2015
Table of Contents:
“... Differential Evolution Approach for Solving Integer Programming Problems -- Liver Disease Diagnosis Using...”View full text
Electronic
eBook
9
by Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Published 2007
Table of Contents:
“... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”Published 2007
View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“...Comparison Maps for Relatively Free Resolutions -- A Symbolic-Numeric Approach for Solving...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... Sensing -- Breaking the PPSZ Barrier for Unique 3-SAT -- Privately Solving Linear Programs -- How...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”View full text
Electronic
eBook
16
Table of Contents:
“...Overview.-Introduction to Problem Solving.-Introduction to Programming Languages.-Introduction...”
View full text
View full text
Electronic
eBook
17
Table of Contents:
“...Overview -- Introduction to Problem Solving -- Introduction to Programming Languages...”
View full text
View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”View full text
Electronic
eBook
20
Table of Contents:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
View full text
View full text
Electronic
eBook