1
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
2
Published 2010
Table of Contents: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ....-Approximation of Sparse Controls in Semilinear Elliptic Equations.-A Non-standard Finite Element Method Based...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Multiplication -- Sparse Recovery Using Sparse Random Matrices -- Optimal Succinctness for Range Minimum Queries...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... System Solver Using Optimized Libraries and Parallel Computation -- Parallelisation of the CFD Code of a...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... -- Adaptive Sparse Grid Classification Using Grid Environments -- Latency-Optimized Parallelization of the FMM...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... Algebra Subprograms -- Function Interval Arithmetic -- Generating Optimized Sparse Matrix Vector Product...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... analysis using sparse representations -- Robust correspondence recognition for computer vision -- Blind...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...
View full text
Electronic eBook
16
Published 2015
Table of Contents: ... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ... Learning Algorithm Using Linear Programming -- TrueSkill-Based Pairwise Coupling for Multi-class...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ..., 2004: Indian Ocean Tsunami -- Approximate Dynamic Programming for Generation of Robustly Stable...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
View full text
Electronic eBook
20
Published 2015
Table of Contents: ... on Multi-Objective Genetic Algorithm -- Integration of Spatial and Spectral Information by Means of Sparse...
View full text
Electronic eBook