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