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