Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
generation computing » generation computer, generation computers, education computing
program generation » program execution
parallel function » parallel functional, parallel auction, parallel union
function program » functional program, functions programs, functional programs
https » http
generation computing » generation computer, generation computers, education computing
program generation » program execution
parallel function » parallel functional, parallel auction, parallel union
function program » functional program, functions programs, functional programs
https » http
1
Udgivet 2007
Indholdsfortegnelse:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2010
Indholdsfortegnelse:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2006
Indholdsfortegnelse:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2010
Indholdsfortegnelse:
“... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2005
Indholdsfortegnelse:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2008
Indholdsfortegnelse:
“... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2012
Indholdsfortegnelse:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2010
Indholdsfortegnelse:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2013
Indholdsfortegnelse:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2006
Indholdsfortegnelse:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2010
Indholdsfortegnelse:
“... Learning Method and Its Application to Generation of Evaluation Functions for the Game of Checkers....”Få fuldtekst
Electronisk
eBog
12
Udgivet 2010
Indholdsfortegnelse:
“...Theory of Evolutionary Computing (I) -- Optimal Fixed and Adaptive Mutation Rates...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2014
Indholdsfortegnelse:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2005
Indholdsfortegnelse:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Få fuldtekst
Electronisk
eBog
15
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
16
Udgivet 2014
Indholdsfortegnelse:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2005
Indholdsfortegnelse:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2010
Indholdsfortegnelse:
“... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2015
Indholdsfortegnelse:
“... Languages -- Reverse Code Generation for Parallel Discrete Event Simulation -- Towards a Domain-Specific...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2013
Indholdsfortegnelse:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Få fuldtekst
Electronisk
eBog