Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
transformation programmed » transformation programme, transformation programming, transformation program
parallel transformation » parallel information, paradigm transformation, called transformation
programmed function » programme function, programming function, programming functions
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
transformation programmed » transformation programme, transformation programming, transformation program
parallel transformation » parallel information, paradigm transformation, called transformation
programmed function » programme function, programming function, programming functions
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
1
Publicat 2006
Taula de continguts:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”Obtenir text complet
Electrònic
eBook
2
Publicat 2013
Taula de continguts:
“... bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language...”Obtenir text complet
Electrònic
eBook
3
Publicat 2008
Taula de continguts:
“... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”Obtenir text complet
Electrònic
eBook
4
Publicat 2006
Taula de continguts:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Obtenir text complet
Electrònic
eBook
5
Publicat 2010
Taula de continguts:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Obtenir text complet
Electrònic
eBook
6
Publicat 2005
Taula de continguts:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”Obtenir text complet
Electrònic
eBook
7
Publicat 2008
Taula de continguts:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Obtenir text complet
Electrònic
eBook
8
Publicat 2013
Taula de continguts:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Obtenir text complet
Electrònic
eBook
9
Publicat 2005
Taula de continguts:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Obtenir text complet
Electrònic
eBook
10
Publicat 2014
Taula de continguts:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”Obtenir text complet
Electrònic
eBook
11
Publicat 2013
Taula de continguts:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”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 2005
Taula de continguts:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Obtenir text complet
Electrònic
eBook
14
Taula de continguts:
“... Spaces or Linear Spaces -- Two-Dimensional Transformations -- Two-Dimensional Clipping -- Three...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
15
Publicat 2005
Taula de continguts:
“... Schur Functions -- Trace-Class Weyl Transforms....”Obtenir text complet
Electrònic
eBook
16
Publicat 2013
Taula de continguts:
“... of Mode-Directed Tabling -- The Generalized Intensional Transformation for Implementing Lazy Functional...”Obtenir text complet
Electrònic
eBook
17
Publicat 2006
Taula de continguts:
“... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”Obtenir text complet
Electrònic
eBook
18
Publicat 2010
Taula de continguts:
“... of Race Conditions in Erlang -- Automating Mathematical Program Transformations -- ActionScript In-Lined...”Obtenir text complet
Electrònic
eBook
19
Publicat 2015
Taula de continguts:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Obtenir text complet
Electrònic
eBook
20
Matèries:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook