1
Publicado 2010
Table of Contents: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Ligazón do recurso
Electrónico eBook
2
Publicado 2006
Table of Contents: ...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...
Ligazón do recurso
Electrónico eBook
3
Publicado 2008
Table of Contents: ... -- Lazy Contract Checking for Immutable Data Structures -- The Reduceron: Widening the von Neumann...
Ligazón do recurso
Electrónico eBook
4
Publicado 2007
Table of Contents: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
Ligazón do recurso
Electrónico eBook
5
Publicado 2006
Table of Contents: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Ligazón do recurso
Electrónico eBook
6
Publicado 2010
Table of Contents: ... -- A Novel Trust Evaluation Model for Mobile P2P Networks -- Session 4: Parallelization...
Ligazón do recurso
Electrónico eBook
7
Publicado 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Ligazón do recurso
Electrónico eBook
8
Publicado 2010
Table of Contents: ... Framework for Blade-Based Data Center -- Query Optimization over Parallel Relational Data Warehouses...
Ligazón do recurso
Electrónico eBook
9
Publicado 2010
Table of Contents: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
Ligazón do recurso
Electrónico eBook
10
Publicado 2010
Table of Contents: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
Ligazón do recurso
Electrónico eBook
11
Publicado 2010
Table of Contents: ... -- On the Definition of Service Abstractions for Parallel Computing -- The Second Workshop on Performance Evaluation...
Ligazón do recurso
Electrónico eBook
12
Publicado 2010
Table of Contents: ... Learning Method and Its Application to Generation of Evaluation Functions for the Game of Checkers....
Ligazón do recurso
Electrónico eBook
13
Publicado 2014
Table of Contents: ... Pitfalls: Divisional Efficiency and Frontier Projection -- Efficiency Decomposition in Network Data...
Ligazón do recurso
Electrónico eBook
14
Publicado 2008
Table of Contents: ... Data Size on Massively Parallel GPGPUs -- Benchmark Study of a 3d Parallel Code for the Propagation...
Ligazón do recurso
Electrónico eBook
15
Publicado 2005
Table of Contents: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
Ligazón do recurso
Electrónico eBook
16
Publicado 2013
Table of Contents: ... Circuits -- Privacy Preserving Data Processing with Collaboration of Homomorphic -- Parallel Homomorphic...
Ligazón do recurso
Electrónico eBook
17
Publicado 2013
Table of Contents: ... Analysis of Bitcoin-Exchange Risk (Short Paper) -- Evaluating User Privacy in Bitcoin -- Usability Aspects...
Ligazón do recurso
Electrónico eBook
18
Publicado 2013
Table of Contents: ... -- Exploratory Data Analysis through the Inspection of the Probability Density Function of the Number...
Ligazón do recurso
Electrónico eBook
19
Publicado 2005
Table of Contents: ...Probabilistic Latent Clustering of Device Usage -- Condensed Nearest Neighbor Data Domain...
Ligazón do recurso
Electrónico eBook
20
Publicado 2007
Table of Contents: ... Probability Density Function Reconstruction for Randomization in Privacy-Preserving Data Mining...
Ligazón do recurso
Electrónico eBook