Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
function functions » functions functions, function function, junction functions
program function » programme function, programs functional, program foundation
functions https » foundations https
array program » array programs, arrest program, day program
function functions » functions functions, function function, junction functions
program function » programme function, programs functional, program foundation
functions https » foundations https
array program » array programs, arrest program, day program
1
Έκδοση 2005
Πίνακας περιεχομένων:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
Έκδοση 2007
Πίνακας περιεχομένων:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
3
Έκδοση 2006
Πίνακας περιεχομένων:
“... Scope Analysis for Generic Programs on Arrays....”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
4
Έκδοση 2007
Πίνακας περιεχομένων:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
5
Έκδοση 2006
Πίνακας περιεχομένων:
“... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
6
Έκδοση 2010
Πίνακας περιεχομένων:
“... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
7
Έκδοση 2005
Πίνακας περιεχομένων:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
8
Έκδοση 2010
Πίνακας περιεχομένων:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
9
Έκδοση 2013
Πίνακας περιεχομένων:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
10
Πίνακας περιεχομένων:
“... -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary...”
Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
11
Πίνακας περιεχομένων:
“... -- Introduction to Programming -- Arithmetic -- Arrays 1: Some Fundamentals -- Arrays 2: Further Examples -- Whole...”
Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
12
Πίνακας περιεχομένων:
“... to Programming Languages.-Introduction to Programming.-Arithmetic.-Arrays 1: Some Fundamentals.-Arrays 2: Further...”
Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
13
Πίνακας περιεχομένων:
“... Solving -- to Programming Languages -- to Programming -- Arithmetic -- Arrays 1 Some Fundamentals...”
Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
14
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Έκδοση 2014
Πίνακας περιεχομένων:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
15
Πίνακας περιεχομένων:
“...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
16
Πίνακας περιεχομένων:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
17
Πίνακας περιεχομένων:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
18
Έκδοση 2008
Πίνακας περιεχομένων:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
19
Έκδοση 2006
Πίνακας περιεχομένων:
“... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
20
Έκδοση 2010
Πίνακας περιεχομένων:
“... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο



