1
Published 2010
Table of Contents: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... for Some Organic Crystals -- On the Provably Tight Approximation of Optimal Meshing for Non-convex Regions...
View full text
Electronic eBook
7
Published 2012
Table of Contents: ... with Decentralized Parallel Adaptation of Tetrahedral Meshes.-Efficient Simulations of the Transport Properties...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... -- Exploring an Unknown Graph Efficiently -- Online Routing in Faulty Meshes with Sub-linear Comparative Time...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Analysis of Parallel 3D FFT for Flat Cartesian Meshes on Large Blue Gene Systems -- Scalable Multi-cores...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...
View full text
Electronic eBook