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 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
3
Publicado 2006
Table of Contents: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
Ligazón do recurso
Electrónico eBook
4
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
5
Publicado 2008
Table of Contents: ...-gather Problems -- MPI Reduction Operations for Sparse Floating-point Data -- Library Internals -- A...
Ligazón do recurso
Electrónico eBook
6
Publicado 2006
Table of Contents: ... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...
Ligazón do recurso
Electrónico eBook
7
Publicado 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Ligazón do recurso
Electrónico eBook
8
Publicado 2010
Table of Contents: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Ligazón do recurso
Electrónico eBook
9
Publicado 2005
Table of Contents: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
Ligazón do recurso
Electrónico eBook
10
Publicado 2023
Table of Contents: ... Based Clustering of Functional Data with Mild Outliers -- F. Antonazzo and S. Ingrassia: A Trivariate...
Open Access Book. Read online
Electrónico eBook
11
Publicado 2007
Table of Contents: ... Probability Density Function Reconstruction for Randomization in Privacy-Preserving Data Mining...
Ligazón do recurso
Electrónico eBook
12
Publicado 2010
Table of Contents: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Ligazón do recurso
Electrónico eBook
13
Publicado 2005
Table of Contents: ... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...
Ligazón do recurso
Electrónico eBook
14
Publicado 2005
Table of Contents: ... Triangulations -- Convex Hull and Voronoi Diagram of Additively Weighted Points -- New Tools and Simpler...
Ligazón do recurso
Electrónico eBook
15
Publicado 2006
Table of Contents: ... -- Modelling Errors and Recovery for Communication -- Lossless Data Compression Via Error Correction...
Ligazón do recurso
Electrónico eBook
16
Publicado 2010
Table of Contents: ... Networks From Data -- Conflicts within and between Belief Functions -- Consonant Continuous Belief...
Ligazón do recurso
Electrónico eBook
17
Publicado 2005
Table of Contents: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Ligazón do recurso
Electrónico eBook
18
Publicado 2008
Table of Contents: ... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...
Ligazón do recurso
Electrónico eBook
19
Publicado 2007
Table of Contents: ... -- An Efficient Algorithm and Its Parallelization for Computing PageRank -- A Query Index for Stream Data Using...
Ligazón do recurso
Electrónico eBook
20
Publicado 2007
Table of Contents: ... for Clothing Thermal Functional Performance -- A Question Understanding Model Based on Knowledge Points...
Ligazón do recurso
Electrónico eBook