Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
array programs » array problems, day programs, pay programs
function https » functions https, fiction https
programs a » programs _
a function » a functional
array programs » array problems, day programs, pay programs
function https » functions https, fiction https
programs a » programs _
a function » a functional
1
Publicat 2007
Taula de continguts:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Obtenir text complet
Electrònic
eBook
2
Publicat 2006
Taula de continguts:
“... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”Obtenir text complet
Electrònic
eBook
3
Publicat 2005
Taula de continguts:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”Obtenir text complet
Electrònic
eBook
4
Publicat 2007
Taula de continguts:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”Obtenir text complet
Electrònic
eBook
5
Publicat 2010
Taula de continguts:
“... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”Obtenir text complet
Electrònic
eBook
6
Publicat 2006
Taula de continguts:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”Obtenir text complet
Electrònic
eBook
7
Publicat 2005
Taula de continguts:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Obtenir text complet
Electrònic
eBook
8
Publicat 2010
Taula de continguts:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Obtenir text complet
Electrònic
eBook
9
Taula de continguts:
“...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
10
Taula de continguts:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
11
Taula de continguts:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
12
Publicat 2013
Taula de continguts:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Obtenir text complet
Electrònic
eBook
13
Taula de continguts:
“... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
14
Taula de continguts:
“... to Programming Languages.-Introduction to Programming.-Arithmetic.-Arrays 1: Some Fundamentals.-Arrays 2: Further...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
15
Taula de continguts:
“... -- Introduction to Programming -- Arithmetic -- Arrays 1: Some Fundamentals -- Arrays 2: Further Examples -- Whole...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
16
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicat 2014
Taula de continguts:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Obtenir text complet
Electrònic
eBook
17
Taula de continguts:
“... Solving -- to Programming Languages -- to Programming -- Arithmetic -- Arrays 1 Some Fundamentals...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
18
Publicat 2008
Taula de continguts:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Obtenir text complet
Electrònic
eBook
19
per Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Publicat 2007
Taula de continguts:
“... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”Publicat 2007
Obtenir text complet
Electrònic
eBook
20
Publicat 2006
Taula de continguts:
“... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”Obtenir text complet
Electrònic
eBook