Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
programs order » programs holder, programs under, programs over
order function » order functions, order functional, over function
function https » functions https, fiction https
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
programs order » programs holder, programs under, programs over
order function » order functions, order functional, over function
function https » functions https, fiction https
1
Pubblicazione 2010
Sommario:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Testo
Elettronico
eBook
2
Pubblicazione 2006
Sommario:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Testo
Elettronico
eBook
3
Pubblicazione 2005
Sommario:
“... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...”Testo
Elettronico
eBook
4
Pubblicazione 2010
Sommario:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”Testo
Elettronico
eBook
5
Pubblicazione 2005
Sommario:
“...-Speed TCP -- Advanced Software On-Demand Based on Functional Streaming -- Can Out-of-Order Instruction...”Testo
Elettronico
eBook
6
Pubblicazione 2010
Sommario:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”Testo
Elettronico
eBook
7
Pubblicazione 2008
Sommario:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Testo
Elettronico
eBook
8
Pubblicazione 2006
Sommario:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Testo
Elettronico
eBook
9
Pubblicazione 2005
Sommario:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Testo
Elettronico
eBook
10
Pubblicazione 2010
Sommario:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”Testo
Elettronico
eBook
11
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Pubblicazione 2014
Sommario:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Testo
Elettronico
eBook
12
Pubblicazione 2005
Sommario:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Testo
Elettronico
eBook
13
Pubblicazione 2008
Sommario:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Testo
Elettronico
eBook
14
Pubblicazione 2014
Sommario:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”Testo
Elettronico
eBook
15
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Pubblicazione 2006
Sommario:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Testo
Elettronico
eBook
16
Pubblicazione 2013
Sommario:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Testo
Elettronico
eBook
17
Pubblicazione 2005
Sommario:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Testo
Elettronico
eBook
18
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Pubblicazione 2013
Sommario:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Testo
Elettronico
eBook
19
Pubblicazione 2010
Sommario:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”Testo
Elettronico
eBook
20
Pubblicazione 2013
Sommario:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Testo
Elettronico
eBook