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