Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
functionals function » function function, functions functional, function dysfunction
program functionals » programs functional, program functionality, problem functionals
parallel generator » parallel generation, parallel general, parallel genetic
generator program » generating program, general program, generating programs
function https » functions https, fiction https
functionals function » function function, functions functional, function dysfunction
program functionals » programs functional, program functionality, problem functionals
parallel generator » parallel generation, parallel general, parallel genetic
generator program » generating program, general program, generating programs
function https » functions https, fiction https
1
Pubblicazione 2010
Sommario:
“... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”Testo
Elettronico
eBook
2
Pubblicazione 2012
Sommario:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Testo
Elettronico
eBook
3
Pubblicazione 2007
Sommario:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Testo
Elettronico
eBook
4
Pubblicazione 2010
Sommario:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Testo
Elettronico
eBook
5
Pubblicazione 2006
Sommario:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Testo
Elettronico
eBook
6
Pubblicazione 2010
Sommario:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Testo
Elettronico
eBook
7
Pubblicazione 2008
Sommario:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Testo
Elettronico
eBook
8
Pubblicazione 2005
Sommario:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”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 2013
Sommario:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Testo
Elettronico
eBook
11
Pubblicazione 2010
Sommario:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Testo
Elettronico
eBook
12
Pubblicazione 2010
Sommario:
“... Learning Method and Its Application to Generation of Evaluation Functions for the Game of Checkers....”Testo
Elettronico
eBook
13
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Pubblicazione 2014
Sommario:
“... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”Testo
Elettronico
eBook
14
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Pubblicazione 2015
Sommario:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Testo
Elettronico
eBook
15
Pubblicazione 2005
Sommario:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Testo
Elettronico
eBook
16
Pubblicazione 2014
Sommario:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Testo
Elettronico
eBook
17
Pubblicazione 2014
Sommario:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”Testo
Elettronico
eBook
18
Pubblicazione 2008
Sommario:
“... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”Testo
Elettronico
eBook
19
Pubblicazione 2013
Sommario:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Testo
Elettronico
eBook
20
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