Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
programs functionality » program functionality, programs functional, properties functionality
functionality function » functionals function, functionaries function, functional functions
function https » functions https, fiction https
parallel 6 » parallel 6r, parallel _, parallel a
6 programs » c programs, 2 programs, 3 programs
programs functionality » program functionality, programs functional, properties functionality
functionality function » functionals function, functionaries function, functional functions
function https » functions https, fiction https
parallel 6 » parallel 6r, parallel _, parallel a
6 programs » c programs, 2 programs, 3 programs
1
Julkaistu 2007
Sisällysluettelo:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2010
Sisällysluettelo:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2010
Sisällysluettelo:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2005
Sisällysluettelo:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2010
Sisällysluettelo:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2005
Sisällysluettelo:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2005
Sisällysluettelo:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2010
Sisällysluettelo:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2015
Sisällysluettelo:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2013
Sisällysluettelo:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2014
Sisällysluettelo:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2010
Sisällysluettelo:
“... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...”Hae kokoteksti
Elektroninen
E-kirja
13
Sisällysluettelo:
“...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
14
Sisällysluettelo:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
15
Sisällysluettelo:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2015
Sisällysluettelo:
“... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...”Hae kokoteksti
Elektroninen
E-kirja
17
Julkaistu 2010
Sisällysluettelo:
“... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2005
Sisällysluettelo:
“... -- Preemptive Scheduling of Independent Jobs on Identical Parallel Machines Subject to Migration Delays...”Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2008
Sisällysluettelo:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2015
Sisällysluettelo:
“...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”Hae kokoteksti
Elektroninen
E-kirja
- 1
- 2
- 3
- 4
- Seuraava »
- [4]