1
Publicado 2010
Table of Contents: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Ligazón do recurso
Electrónico eBook
2
Publicado 2013
Table of Contents: ... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...
Ligazón do recurso
Electrónico eBook
3
Publicado 2010
Table of Contents: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Ligazón do recurso
Electrónico eBook
4
Publicado 2005
Table of Contents: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
Ligazón do recurso
Electrónico eBook
5
Publicado 2010
Table of Contents: ... on Heterogeneous Processors Based on Their Functional Performance Models -- Accelerating S3D: A GPGPU Case Study...
Ligazón do recurso
Electrónico eBook
6
Publicado 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Ligazón do recurso
Electrónico eBook
7
Publicado 2008
Table of Contents: ... Parallelism on Heterogeneous Multi-core Processors: A Case Study of the Cell BE -- IIa Reconfigurable - ASIP...
Ligazón do recurso
Electrónico eBook
8
Publicado 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Ligazón do recurso
Electrónico eBook
9
Publicado 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Ligazón do recurso
Electrónico eBook
10
Publicado 2006
Table of Contents: ... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...
Ligazón do recurso
Electrónico eBook
11
Publicado 2005
Table of Contents: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
Ligazón do recurso
Electrónico eBook
12
Publicado 2006
Table of Contents: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
Ligazón do recurso
Electrónico eBook
13
Publicado 2006
Table of Contents: ... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...
Ligazón do recurso
Electrónico eBook
14
Publicado 2005
Table of Contents: ...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...
Ligazón do recurso
Electrónico eBook