1
יצא לאור 2015
תוכן הענינים: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2012
תוכן הענינים: ... Optimization -- Part III – New Directions and Applications -- Continuous Search in Constraint Programming...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2007
תוכן הענינים: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2015
תוכן הענינים: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2010
תוכן הענינים: ... the Lattice Boltzmann Method and Analysis of OpenMP Scalability -- Parallel Computations of Unsteady Three...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2008
תוכן הענינים: ... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2010
תוכן הענינים: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2015
תוכן הענינים: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2007
תוכן הענינים: ... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2005
תוכן הענינים: ... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2014
תוכן הענינים: ... Parameters from Feature-based Representation of Motion -- Kinematics and Dynamics of a 3-RPSR Parallel Robot...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2005
תוכן הענינים: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2008
תוכן הענינים: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2010
תוכן הענינים: ... Ant Algorithm -- Applications -- Artificial Evolution for 3D PET Reconstruction -- A Hybrid Genetic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2012
תוכן הענינים: ... and Component Importance -- 3. Signatures and Symmetry Properties of Coherent Systems -- 4. Multidimensional...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2005
תוכן הענינים: ... Components for Timetabling -- An Open Interactive Timetabling Tool -- Distributed Choice Function Hyper...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2008
תוכן הענינים: ... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2008
תוכן הענינים: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2010
תוכן הענינים: ... -- Creating an Upper-Confidence-Tree Program for Havannah -- Randomized Parallel Proof-Number Search -- Hex...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
תוכן הענינים: ... Challenge for the Differential Evolution Algorithm -- Parallel Differential Evolution: Application to 3-D...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני