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: ... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...
View full text
Electronic eBook
3
Table of Contents: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
View full text
Electronic eBook
4
Table of Contents: ...Overview.-Introduction to Problem Solving.-Introduction to Programming Languages.-Introduction...
View full text
Electronic eBook
5
Table of Contents: ...Overview -- Introduction to Problem Solving -- Introduction to Programming Languages...
View full text
Electronic eBook
6
Table of Contents: ... Solving -- to Programming Languages -- to Programming -- Arithmetic -- Arrays 1 Some Fundamentals...
View full text
Electronic eBook
7
Table of Contents: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
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
Electronic eBook
9
Table of Contents: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Evolution Strategy to Light Configuration Optimization of Photometric Stereo -- Solving Multi Objective...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
View full text
Electronic eBook
15
Subjects: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... Rendering -- Architectures -- Controller Synthesis for Mapping Partitioned Programs on Array Architectures...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...
View full text
Electronic eBook
20
Published 2013
Table of Contents: ... of the laser lift-off (LLO) of III-nitride compound -- Combining Quality Function Deployment and TRIZ to Solve...
View full text
Electronic eBook