1
Published 2006
Table of Contents: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living -- Automatic...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Accident Assistance Service -- A Framework for Analyzing and Testing the Performance of Software Services...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
View full text
Electronic eBook
11
Table of Contents: ... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... There Yet? 20 Years of Industrial Theorem Proving with SPARK -- Towards a Formally Verified Proof Assistant...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
View full text
Electronic eBook
15
Published 2023
Table of Contents: ... Based Clustering of Functional Data with Mild Outliers -- F. Antonazzo and S. Ingrassia: A Trivariate...
Open Access Book. Read online
Electronic eBook
16
Published 2005
Table of Contents: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ... Therapist Manages for Adaptations ─ Overview -- Environmental Adaptation for Individuals with Functional...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... Cores to Evolve Combinational Logic Circuits in Parallel -- An Intrinsic Evolvable Hardware Based...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...
View full text
Electronic eBook