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 Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
5
Table of Contents: ... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...
View full text
Electronic eBook
6
Table of Contents: ....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... Propagation of Logic Program Updates -- Tracking Data-Flow with Open Closure Types -- Putting Newton...
View full text
Electronic eBook
9
Table of Contents: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
View full text
Electronic eBook
10
Published 2010
Table of Contents: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...
View full text
Electronic eBook
12
Table of Contents: ... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... for Parabolic Optimal Control Problems -- Searching and Updating Metric Space Databases Using the Parallel EGNAT...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ... of multiobjective optimization algorithms: quality indicators and the attainment function -- Theory and Hyper...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... and Function of Anastomosis in Filamentous Ascomycete Fungi -- Heterogenic Incompatibility in Fungi...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ...-Sensor Stream Data by Genetic Programming -- Novel Initialisation and Updating Mechanisms in PSO...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... Functions over Ring Z p -- A Fast Algorithm for Determining the Linear Complexity of Periodic Sequences...
View full text
Electronic eBook