Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
parallel executions » parallel execution, parallel evolutions, parallel evolution
function function » function functional, functions functional, function dysfunction
executions code » executions cross, execution model, executions chap
function https » functions https, fiction https
code function » codes function, node function, core function
parallel executions » parallel execution, parallel evolutions, parallel evolution
function function » function functional, functions functional, function dysfunction
executions code » executions cross, execution model, executions chap
function https » functions https, fiction https
code function » codes function, node function, core function
1
Udgivet 2007
Indholdsfortegnelse:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2006
Indholdsfortegnelse:
“... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”Få fuldtekst
Electronisk
eBog
3
af Deschamps, Jean-Pierre., Deschamps, Jean-Pierre., Sutter, Gustavo D., Cantó, Enrique.
Udgivet 2012
Fag:
“...Circuits and Systems. https://scigraph.springernature.com/ontologies/product-market-codes/T24068...”Udgivet 2012
Få fuldtekst
Electronisk
eBog
4
Udgivet 2007
Indholdsfortegnelse:
“... System for Parallel Execution of Fragmented Subroutines -- Application of Simulation Approaches...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2005
Indholdsfortegnelse:
“... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2010
Indholdsfortegnelse:
“...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2006
Indholdsfortegnelse:
“... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2010
Indholdsfortegnelse:
“...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2010
Indholdsfortegnelse:
“... of Industrial Simulation Codes from HPC Environments to New Hardware Technologies -- Application of Parallel...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2008
Indholdsfortegnelse:
“... Data Size on Massively Parallel GPGPUs -- Benchmark Study of a 3d Parallel Code for the Propagation...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2005
Indholdsfortegnelse:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”Få fuldtekst
Electronisk
eBog
12
Indholdsfortegnelse:
“...Analyzing And Driving Verification: An Executive's Guide -- The Verification Crisis -- Automated...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
13
Udgivet 2007
Indholdsfortegnelse:
“... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2008
Indholdsfortegnelse:
“... Transport Simulation Code with High Performance Fortran on a Vector-Parallel Computer -- Distributed...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2015
Indholdsfortegnelse:
“....- Models for Estimating the Execution Time of Software Loops in Parallel and Distributed Systems...”Få fuldtekst
Electronisk
eBog
16
Indholdsfortegnelse:
“... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
17
Udgivet 2011
Fag:
“...Neurosurgery. https://scigraph.springernature.com/ontologies/product-market-codes/H39000...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2013
Indholdsfortegnelse:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2005
Indholdsfortegnelse:
“... with Low-Level Pointer Operations -- A Simple Semantics for Polymorphic Recursion -- Symbolic Execution...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2006
Indholdsfortegnelse:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Få fuldtekst
Electronisk
eBog