Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
functionality function » functionals function, functionaries function, functional functions
program functionality » protein functionality, programs functional, supra functionality
parallelism 4th » parallelism rate, parallelism _, parallelism a
function https » functions https, fiction https
4th program » 4 program, 4.7 program, 48 program
functionality function » functionals function, functionaries function, functional functions
program functionality » protein functionality, programs functional, supra functionality
parallelism 4th » parallelism rate, parallelism _, parallelism a
function https » functions https, fiction https
4th program » 4 program, 4.7 program, 48 program
1
Publicat 2010
Taula de continguts:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Obtenir text complet
Electrònic
eBook
2
Publicat 2007
Taula de continguts:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”Obtenir text complet
Electrònic
eBook
3
Publicat 2013
Taula de continguts:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Obtenir text complet
Electrònic
eBook
4
Publicat 2008
Taula de continguts:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Obtenir text complet
Electrònic
eBook
5
Publicat 2005
Taula de continguts:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Obtenir text complet
Electrònic
eBook
6
Matèries:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
7
Publicat 2010
Taula de continguts:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”Obtenir text complet
Electrònic
eBook
8
Publicat 2013
Taula de continguts:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”Obtenir text complet
Electrònic
eBook
9
Publicat 2008
Taula de continguts:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Obtenir text complet
Electrònic
eBook
10
Publicat 2010
Taula de continguts:
“... Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship...”Obtenir text complet
Electrònic
eBook
11
Publicat 2007
Taula de continguts:
“... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”Obtenir text complet
Electrònic
eBook
12
Publicat 2008
Taula de continguts:
“... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”Obtenir text complet
Electrònic
eBook
13
Publicat 2014
Taula de continguts:
“... -- Bertini real: Software for One- and Two-Dimensional Real Algebraic Sets -- Hom4PS-3: A Parallel Numerical...”Obtenir text complet
Electrònic
eBook
14
Publicat 2005
Taula de continguts:
“... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...”Obtenir text complet
Electrònic
eBook
15
Publicat 2006
Taula de continguts:
“... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”Obtenir text complet
Electrònic
eBook
16
Publicat 2012
Taula de continguts:
“... Video Stabilization -- Automatic Construction of Invariant Features Using Genetic Programming for Edge...”Obtenir text complet
Electrònic
eBook
17
Taula de continguts:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
18
Publicat 2007
Taula de continguts:
“... of Feasible Learning Functionals -- Parallelism Increases Iterative Learning Power -- Prescribed Learning...”Obtenir text complet
Electrònic
eBook
19
Publicat 2010
Taula de continguts:
“... Approximation of Points by a Step Function -- Approximating Multilinear Monomial Coefficients and Maximum...”Obtenir text complet
Electrònic
eBook
20
Publicat 2010
Taula de continguts:
“...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...”Obtenir text complet
Electrònic
eBook