Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
functionality function » functionals function, functionaries function, functional functions
program functionality » protein functionality, programs functional, supra functionality
function https » functions https, fiction https
parallel p2p » parallel 2d, parallel 2, parallel pde
p2p program » prep program, pgmp program, psip program
functionality function » functionals function, functionaries function, functional functions
program functionality » protein functionality, programs functional, supra functionality
function https » functions https, fiction https
parallel p2p » parallel 2d, parallel 2, parallel pde
p2p program » prep program, pgmp program, psip program
1
Julkaistu 2013
Sisällysluettelo:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2008
Sisällysluettelo:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2010
Sisällysluettelo:
“... -- A Novel Trust Evaluation Model for Mobile P2P Networks -- Session 4: Parallelization...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2007
Sisällysluettelo:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2006
Sisällysluettelo:
“...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2005
Sisällysluettelo:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2005
Sisällysluettelo:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2005
Sisällysluettelo:
“... -- Session 2: Peer-to-Peer Computing -- A Secure P2P Video Conference System for Enterprise Environments...”Hae kokoteksti
Elektroninen
E-kirja
9
Sisällysluettelo:
“... Language -- SPIL: Simple Parallel, Imperative Language -- Closing -- Closing....”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2010
Sisällysluettelo:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2008
Sisällysluettelo:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Hae kokoteksti
Elektroninen
E-kirja
12
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
13
Julkaistu 2005
Sisällysluettelo:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Hae kokoteksti
Elektroninen
E-kirja
14
Sisällysluettelo:
“...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
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 2008
Sisällysluettelo:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Hae kokoteksti
Elektroninen
E-kirja
17
Julkaistu 2013
Sisällysluettelo:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Hae kokoteksti
Elektroninen
E-kirja
18
Sisällysluettelo:
“... to Programming Languages.-Introduction to Programming.-Arithmetic.-Arrays 1: Some Fundamentals.-Arrays 2: Further...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2006
Sisällysluettelo:
“... Characterization of the Finite Power Property -- P-completeness of Cellular Automaton Rule 110 -- Small Sweeping 2...”Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2008
Sisällysluettelo:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Hae kokoteksti
Elektroninen
E-kirja