Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
function computing » education computing, generation computing
program execution » program evaluation, process execution, project execution
execution https » exertion https, execution status, execution actors
https function » its function, sites function, ups function
function computing » education computing, generation computing
program execution » program evaluation, process execution, project execution
execution https » exertion https, execution status, execution actors
https function » its function, sites function, ups function
1
Udgivet 2006
Indholdsfortegnelse:
“... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2007
Indholdsfortegnelse:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Få fuldtekst
Electronisk
eBog
3
Indholdsfortegnelse:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
4
Udgivet 2013
Indholdsfortegnelse:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2008
Indholdsfortegnelse:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Få fuldtekst
Electronisk
eBog
6
Indholdsfortegnelse:
“...Algorithms and Programs -- An Algorithmic Language -- The ?-Calculus -- The se(m)cd Machine...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
7
Indholdsfortegnelse:
“...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
8
Udgivet 2006
Indholdsfortegnelse:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2007
Indholdsfortegnelse:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2005
Indholdsfortegnelse:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Få fuldtekst
Electronisk
eBog
11
Indholdsfortegnelse:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
12
Udgivet 2012
Indholdsfortegnelse:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2010
Indholdsfortegnelse:
“... Programs -- Abstract Analysis of Symbolic Executions -- Session 10. Compositional Reasoning -- Automated...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2007
Indholdsfortegnelse:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2010
Indholdsfortegnelse:
“...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”Få fuldtekst
Electronisk
eBog
16
Indholdsfortegnelse:
“... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
17
Udgivet 2006
Indholdsfortegnelse:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Få fuldtekst
Electronisk
eBog
18
Indholdsfortegnelse:
“... -- Some Important Functions -- Formatted Print Functions -- Using Files -- User-Defined Functions...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
19
Udgivet 2014
Indholdsfortegnelse:
“... Computing Inspired Approach for Executing Scientific Workflow in the Cloud -- P Systems with Anti-Matter...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2008
Indholdsfortegnelse:
“... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”Få fuldtekst
Electronisk
eBog