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