Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
function equations » functions equations, functional equations, function evaluations
programs function » programs functional, programme function, programs fiction
equations https » relations https
parallel code » parallel model, parallel 3d
code programs » code program, core programs, model programs
function equations » functions equations, functional equations, function evaluations
programs function » programs functional, programme function, programs fiction
equations https » relations https
parallel code » parallel model, parallel 3d
code programs » code program, core programs, model programs
1
Publicat 2005
Taula de continguts:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”Obtenir text complet
Electrònic
eBook
2
Publicat 2006
Taula de continguts:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”Obtenir text complet
Electrònic
eBook
3
Publicat 2010
Taula de continguts:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Obtenir text complet
Electrònic
eBook
4
Publicat 2006
Taula de continguts:
“...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”Obtenir text complet
Electrònic
eBook
5
Publicat 2010
Taula de continguts:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”Obtenir text complet
Electrònic
eBook
6
Publicat 2006
Taula de continguts:
“... of Error-Correcting Codes -- ID-Based Series-Parallel Multisignature Schemes for Multi-Messages from...”Obtenir text complet
Electrònic
eBook
7
Publicat 2008
Taula de continguts:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Obtenir text complet
Electrònic
eBook
8
Taula de continguts:
“... Differential Equation Project -- Programming of Differential Equations -- Debugging -- Technical Topics...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
9
Taula de continguts:
“... Differential Equation Project -- Programming of Differential Equations -- Debugging -- Migrating Python...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
10
Publicat 2005
Taula de continguts:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Obtenir text complet
Electrònic
eBook
11
Taula de continguts:
“... Differential Equation Project -- Programming of Differential Equations -- Debugging -- Migrating Python...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
12
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Publicat 2013
Taula de continguts:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”Obtenir text complet
Electrònic
eBook
13
Publicat 2010
Taula de continguts:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”Obtenir text complet
Electrònic
eBook
14
Publicat 2013
Taula de continguts:
“... Manipulation -- Implementing Equational Constraints in a Functional Language -- On the Efficient Implementation...”Obtenir text complet
Electrònic
eBook
15
Taula de continguts:
“... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
16
Publicat 2005
Taula de continguts:
“... Integral Equation of Prandtl’s Type -- Fourier Integral Operators and Gelfand-Shilov Spaces -- Strongly...”Obtenir text complet
Electrònic
eBook
17
Publicat 2005
Taula de continguts:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Obtenir text complet
Electrònic
eBook
18
Publicat 2015
Taula de continguts:
“... and the Coefficient in a Parabolic Equation -- Effectiveness of the parallel implementation of the FEM for the problem...”Obtenir text complet
Electrònic
eBook
19
Publicat 2010
Taula de continguts:
“... and Store Media Files -- A Tool Supporting C code Parallelization -- Extending OpenMP for Agent Based DSM...”Obtenir text complet
Electrònic
eBook
20
Publicat 2006
Taula de continguts:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”Obtenir text complet
Electrònic
eBook