1
Publicat 2006
Taula de continguts: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
Obtenir text complet
Electrònic eBook
2
Publicat 2010
Taula de continguts: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Obtenir text complet
Electrònic eBook
3
Publicat 2007
Taula de continguts: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Obtenir text complet
Electrònic eBook
4
Publicat 2010
Taula de continguts: ...) Computations Based on GPU -- Parallel Programming, Performance Evaluation -- A Proposed Asynchronous Object...
Obtenir text complet
Electrònic eBook
5
Publicat 2010
Taula de continguts: ... on Partial Estimation of Their Functional Performance Models -- An Efficient Weighted Bi-objective Scheduling...
Obtenir text complet
Electrònic eBook
6
Publicat 2010
Taula de continguts: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
Obtenir text complet
Electrònic eBook
7
Publicat 2010
Taula de continguts: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Obtenir text complet
Electrònic eBook
8
Publicat 2008
Taula de continguts: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Obtenir text complet
Electrònic eBook
9
Taula de continguts: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Obtenir text complet
Electrònic eBook
10
Publicat 2008
Taula de continguts: ... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...
Obtenir text complet
Electrònic eBook
11
Publicat 2010
Taula de continguts: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
Obtenir text complet
Electrònic eBook
12
Publicat 2008
Taula de continguts: ... to Online Partial Evaluation -- Program Transformation -- Towards a Normal Form for Mercury Programs...
Obtenir text complet
Electrònic eBook
13
Publicat 2005
Taula de continguts: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Obtenir text complet
Electrònic eBook
14
Publicat 2006
Taula de continguts: ... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...
Obtenir text complet
Electrònic eBook
15
Publicat 2010
Taula de continguts: ... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...
Obtenir text complet
Electrònic eBook
16
Publicat 2010
Taula de continguts: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
Obtenir text complet
Electrònic eBook
17
Publicat 2014
Taula de continguts: ... -- Evaluation and Reproducibility of Program Analysis (Track Introduction) -- SWEET – A Tool for WCET Flow...
Obtenir text complet
Electrònic eBook
18
Publicat 2010
Taula de continguts: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Obtenir text complet
Electrònic eBook
19
Publicat 2013
Taula de continguts: ... Domain -- Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs -- Profile...
Obtenir text complet
Electrònic eBook
20
Publicat 2005
Taula de continguts: ... -- Practical Evaluation of Efficient Fitness Functions for Binary Images -- Selective SVMs Ensemble Driven...
Obtenir text complet
Electrònic eBook