Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computing functionality » companies functionality, sampling functionality, composition functionality
functionality function » functionals function, functionaries function, functional functions
checking computing » checking combining, checking computer, teaching computing
parallel checking » parallel chaining, parallel tracking, parallel scheduling
function https » functions https, fiction https
computing functionality » companies functionality, sampling functionality, composition functionality
functionality function » functionals function, functionaries function, functional functions
checking computing » checking combining, checking computer, teaching computing
parallel checking » parallel chaining, parallel tracking, parallel scheduling
function https » functions https, fiction https
1
Published 2006
Table of Contents:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“...Graph Parser Combinators -- Testing Erlang Refactorings with QuickCheck -- Optimal Lambda Lifting...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Checking -- A Compositional Logic for Control Flow -- Detecting Non-cyclicity by Abstract Compilation...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Engine -- MPIBlib: Benchmarking MPI Communications for Parallel Computing on Homogeneous...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... and Planar Pseudo-Billiard Systems -- On the Importance of Parallelism for Quantum Computation...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“...: Multiplicatives -- First-Order Queries over One Unary Function -- Infinite State Model-Checking of Propositional...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“... Modulo Theories Framework -- Using Minimal Correction Sets to More Efficiently Compute Minimal...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... Causality Approach to Explore Causal Networks Derived From Multi-parameter Data -- Functional Evolution...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“...Invited Talks -- Graphs from Search Engine Queries -- Model-Checking Large Finite-State Systems...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... in Pervasive Computing - Risk Probability Assessment Model -- CPU Load Based Countermeasure Technique...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Algorithm for Characteristic Points Evaluation in Static Images of Signatures -- Computer Security Systems...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Games with Causal Memory Are Decidable for Series-Parallel Systems -- Expand, Enlarge, and Check: New...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Computing System -- Computable Statistical Research and Practice -- Implicit and Explicit Parallel Computing...”View full text
Electronic
eBook