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 2005
Table of Contents: ...Implementation of Functional Languages -- Lazy Assertions -- Interfacing Haskell with Object...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...) Computations Based on GPU -- Parallel Programming, Performance Evaluation -- A Proposed Asynchronous Object...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
View full text
Electronic eBook
6
Table of Contents: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
View full text
Electronic eBook
8
Table of Contents: ....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...
View full text
Electronic eBook
9
Table of Contents: ... -- Introduction to Programming -- Arithmetic -- Arrays 1: Some Fundamentals -- Arrays 2: Further Examples -- Whole...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
View full text
Electronic eBook
11
Table of Contents: ... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...
View full text
Electronic eBook
12
Table of Contents: ... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...
View full text
Electronic eBook
13
Table of Contents: ... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Extensions of LPF Table: The Power of Suffix Arrays -- Query Optimization through Cached Queries for Object...
View full text
Electronic eBook
16
Published 2015
Table of Contents: ... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Evolution Strategy to Light Configuration Optimization of Photometric Stereo -- Solving Multi Objective...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...
View full text
Electronic eBook