1
יצא לאור 2007
תוכן הענינים: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2006
תוכן הענינים: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2010
תוכן הענינים: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2005
תוכן הענינים: ...-Oriented Languages -- A Functional Shell That Dynamically Combines Compiled Code -- Polymorphic Type...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2010
תוכן הענינים: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2005
תוכן הענינים: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2010
תוכן הענינים: ..., Modular, Synthetic Chromosomes -- GPU Parallelization of Algebraic Dynamic Programming -- Parallel Extreme...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2010
תוכן הענינים: ... Encoding on GPGPUs -- Towards Metaprogramming for Parallel Systems on a Chip -- Dynamic Detection...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2006
תוכן הענינים: ...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2010
תוכן הענינים: ... Thread -- Parallel Programming on a Soft-Core Based Multi-core System -- Dynamic Resource Tuning...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2008
תוכן הענינים: ... -- Implementing Efficient Dynamic Formal Verification Methods for MPI Programs -- ValiPVM - A Graphical Tool...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2005
תוכן הענינים: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2005
תוכן הענינים: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2015
תוכן הענינים: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2008
תוכן הענינים: ... in the Logic of Here-and-There -- Dynamic Programming Algorithms as Products of Weighted Logic Programs...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2005
תוכן הענינים: ... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2010
תוכן הענינים: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים: ...(?) Modifications for Optimal Parallelism -- The Linkage Tree Genetic Algorithm -- An Analysis of the XOR Dynamic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2005
תוכן הענינים: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
יצא לאור 2015
תוכן הענינים: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני