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