1
Baskı/Yayın Bilgisi 2007
İçindekiler: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Tam Metin Erişim
Elektronik Ekitap
2
Baskı/Yayın Bilgisi 2010
İçindekiler: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Tam Metin Erişim
Elektronik Ekitap
3
Baskı/Yayın Bilgisi 2008
İçindekiler: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Tam Metin Erişim
Elektronik Ekitap
4
Baskı/Yayın Bilgisi 2008
İçindekiler: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Tam Metin Erişim
Elektronik Ekitap
5
Baskı/Yayın Bilgisi 2014
İçindekiler: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Tam Metin Erişim
Elektronik Ekitap
6
Baskı/Yayın Bilgisi 2008
İçindekiler: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
Tam Metin Erişim
Elektronik Ekitap
7
Baskı/Yayın Bilgisi 2010
İçindekiler: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
Tam Metin Erişim
Elektronik Ekitap
8
Baskı/Yayın Bilgisi 2012
İçindekiler: ....-Approximation of Sparse Controls in Semilinear Elliptic Equations.-A Non-standard Finite Element Method Based...
Tam Metin Erişim
Elektronik Ekitap
9
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...
Tam Metin Erişim
Elektronik Ekitap
10
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...
Tam Metin Erişim
Elektronik Ekitap
11
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...
Tam Metin Erişim
Elektronik Ekitap
12
Baskı/Yayın Bilgisi 2008
İçindekiler: ... of Sparse LU Factorization and Triangular Solution on Multicore Platforms -- A Parallel Matrix Scaling...
Tam Metin Erişim
Elektronik Ekitap
13
Baskı/Yayın Bilgisi 2014
İçindekiler: ... Algebra Subprograms -- Function Interval Arithmetic -- Generating Optimized Sparse Matrix Vector Product...
Tam Metin Erişim
Elektronik Ekitap
14
Baskı/Yayın Bilgisi 2007
İçindekiler: ... -- Adaptive Sparse Grid Classification Using Grid Environments -- Latency-Optimized Parallelization of the FMM...
Tam Metin Erişim
Elektronik Ekitap
15
Baskı/Yayın Bilgisi 2006
İçindekiler: ... for Identity Based Encryption Schemes -- Optimally Adaptive Integration of Univariate Lipschitz Functions...
Tam Metin Erişim
Elektronik Ekitap
16
Baskı/Yayın Bilgisi 2006
İçindekiler: ... analysis using sparse representations -- Robust correspondence recognition for computer vision -- Blind...
Tam Metin Erişim
Elektronik Ekitap
17
Baskı/Yayın Bilgisi 2008
İçindekiler: ...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...
Tam Metin Erişim
Elektronik Ekitap
18
Baskı/Yayın Bilgisi 2006
İçindekiler: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
Tam Metin Erişim
Elektronik Ekitap
19
Baskı/Yayın Bilgisi 2006
İçindekiler: ... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...
Tam Metin Erişim
Elektronik Ekitap
20
Baskı/Yayın Bilgisi 2015
İçindekiler: ... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...
Tam Metin Erişim
Elektronik Ekitap