1
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
2
Publicado 2010
Table of Contents: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Ligazón do recurso
Electrónico eBook
3
Publicado 2008
Table of Contents: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Ligazón do recurso
Electrónico eBook
4
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
5
Publicado 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Ligazón do recurso
Electrónico eBook
6
Publicado 2008
Table of Contents: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
Ligazón do recurso
Electrónico eBook
7
Publicado 2010
Table of Contents: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
Ligazón do recurso
Electrónico eBook
8
Publicado 2012
Table of Contents: ....-Approximation of Sparse Controls in Semilinear Elliptic Equations.-A Non-standard Finite Element Method Based...
Ligazón do recurso
Electrónico eBook
9
Publicado 2010
Table of Contents: ... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...
Ligazón do recurso
Electrónico eBook
10
Publicado 2010
Table of Contents: ... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...
Ligazón do recurso
Electrónico eBook
11
Publicado 2010
Table of Contents: ... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...
Ligazón do recurso
Electrónico eBook
12
Publicado 2008
Table of Contents: ... of Sparse LU Factorization and Triangular Solution on Multicore Platforms -- A Parallel Matrix Scaling...
Ligazón do recurso
Electrónico eBook
13
Publicado 2014
Table of Contents: ... Algebra Subprograms -- Function Interval Arithmetic -- Generating Optimized Sparse Matrix Vector Product...
Ligazón do recurso
Electrónico eBook
14
Publicado 2007
Table of Contents: ... -- Adaptive Sparse Grid Classification Using Grid Environments -- Latency-Optimized Parallelization of the FMM...
Ligazón do recurso
Electrónico eBook
15
Publicado 2006
Table of Contents: ... analysis using sparse representations -- Robust correspondence recognition for computer vision -- Blind...
Ligazón do recurso
Electrónico eBook
16
Publicado 2006
Table of Contents: ... for Identity Based Encryption Schemes -- Optimally Adaptive Integration of Univariate Lipschitz Functions...
Ligazón do recurso
Electrónico eBook
17
Publicado 2008
Table of Contents: ...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...
Ligazón do recurso
Electrónico eBook
18
Publicado 2006
Table of Contents: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
Ligazón do recurso
Electrónico eBook
19
Publicado 2006
Table of Contents: ... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...
Ligazón do recurso
Electrónico eBook
20
Publicado 2008
Table of Contents: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
Ligazón do recurso
Electrónico eBook