1
منشور في 2007
جدول المحتويات: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2008
جدول المحتويات: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2005
جدول المحتويات: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2010
جدول المحتويات: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2005
جدول المحتويات: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2008
جدول المحتويات: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2008
جدول المحتويات: ... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2014
جدول المحتويات: ...: A Mathematical Functions Code Generator -- From Calculus to Algorithms without Errors -- Dense...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2007
جدول المحتويات: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2014
جدول المحتويات: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2010
جدول المحتويات: ... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2008
جدول المحتويات: ... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2007
جدول المحتويات: ... Cores to Evolve Combinational Logic Circuits in Parallel -- An Intrinsic Evolvable Hardware Based...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
منشور في 2008
جدول المحتويات: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
منشور في 2013
جدول المحتويات: ... Programs for Functional Test and Diagnosis of VLIW Processors -- SEU-Aware Low-Power Memories Using a...
احصل على النص الكامل
الكتروني كتاب الكتروني