Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
generator functionality » receptor functionality, generalized functionality, generate functional
functionality function » functionals function, functionaries function, functional functions
program generator » program generators, program generation, problem generator
parallel program » parallel programs, parallel problem, parallel programming
function https » functions https, fiction https
generator functionality » receptor functionality, generalized functionality, generate functional
functionality function » functionals function, functionaries function, functional functions
program generator » program generators, program generation, problem generator
parallel program » parallel programs, parallel problem, parallel programming
function https » functions https, fiction https
1
Udgivet 2010
Indholdsfortegnelse:
“... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2012
Indholdsfortegnelse:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2007
Indholdsfortegnelse:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2010
Indholdsfortegnelse:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2006
Indholdsfortegnelse:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2010
Indholdsfortegnelse:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2008
Indholdsfortegnelse:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2005
Indholdsfortegnelse:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2005
Indholdsfortegnelse:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2013
Indholdsfortegnelse:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2010
Indholdsfortegnelse:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2010
Indholdsfortegnelse:
“... Learning Method and Its Application to Generation of Evaluation Functions for the Game of Checkers....”Få fuldtekst
Electronisk
eBog
13
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Udgivet 2015
Indholdsfortegnelse:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2005
Indholdsfortegnelse:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2014
Indholdsfortegnelse:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Få fuldtekst
Electronisk
eBog
16
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Udgivet 2014
Indholdsfortegnelse:
“... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2014
Indholdsfortegnelse:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”Få fuldtekst
Electronisk
eBog
18
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Udgivet 2006
Indholdsfortegnelse:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2013
Indholdsfortegnelse:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2008
Indholdsfortegnelse:
“... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”Få fuldtekst
Electronisk
eBog