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