الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
functionality functions » functional functions, functionals function, functionaries function
programs functionality » program functionality, programs functional, properties functionality
functions https » foundations https
array programs » array problems, day programs, pay programs
functionality functions » functional functions, functionals function, functionaries function
programs functionality » program functionality, programs functional, properties functionality
functions https » foundations https
array programs » array problems, day programs, pay programs
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
جدول المحتويات:
“... to Programming Languages.-Introduction to Programming.-Arithmetic.-Arrays 1: Some Fundamentals.-Arrays 2: Further...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
12
جدول المحتويات:
“... -- Introduction to Programming -- Arithmetic -- Arrays 1: Some Fundamentals -- Arrays 2: Further Examples -- Whole...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
13
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...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
جدول المحتويات:
“... Solving -- to Programming Languages -- to Programming -- Arithmetic -- Arrays 1 Some Fundamentals...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
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
جدول المحتويات:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”احصل على النص الكامل
الكتروني
كتاب الكتروني