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 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
4
Publicat 2008
Taula de continguts: ... Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living -- Automatic...
Obtenir text complet
Electrònic eBook
5
Publicat 2010
Taula de continguts: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Obtenir text complet
Electrònic eBook
6
Publicat 2008
Taula de continguts: ... Accident Assistance Service -- A Framework for Analyzing and Testing the Performance of Software Services...
Obtenir text complet
Electrònic eBook
7
Publicat 2008
Taula de continguts: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
Obtenir text complet
Electrònic eBook
8
Publicat 2010
Taula de continguts: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
Obtenir text complet
Electrònic eBook
9
Publicat 2014
Taula de continguts: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Obtenir text complet
Electrònic eBook
10
Publicat 2010
Taula de continguts: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Obtenir text complet
Electrònic eBook
11
Taula de continguts: ... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...
Obtenir text complet
Electrònic eBook
12
Publicat 2014
Taula de continguts: ... There Yet? 20 Years of Industrial Theorem Proving with SPARK -- Towards a Formally Verified Proof Assistant...
Obtenir text complet
Electrònic eBook
13
Publicat 2005
Taula de continguts: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Obtenir text complet
Electrònic eBook
14
Publicat 2007
Taula de continguts: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
Obtenir text complet
Electrònic eBook
15
Publicat 2005
Taula de continguts: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
Obtenir text complet
Electrònic eBook
16
Publicat 2015
Taula de continguts: ... Therapist Manages for Adaptations ─ Overview -- Environmental Adaptation for Individuals with Functional...
Obtenir text complet
Electrònic eBook
17
Publicat 2007
Taula de continguts: ... Cores to Evolve Combinational Logic Circuits in Parallel -- An Intrinsic Evolvable Hardware Based...
Obtenir text complet
Electrònic eBook
18
Publicat 2010
Taula de continguts: ... Functions, Clustering Algorithms and Microarray Data Analysis -- Gaussian Process Assisted Particle Swarm...
Obtenir text complet
Electrònic eBook
19
Publicat 2008
Taula de continguts: ...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...
Obtenir text complet
Electrònic eBook
20
Publicat 2008
Taula de continguts: ... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...
Obtenir text complet
Electrònic eBook