1
منشور في 2010
جدول المحتويات: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2010
جدول المحتويات: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2014
جدول المحتويات: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2008
جدول المحتويات: ... -- Aggregates for CHR through Program Transformation -- Preserving Sharing in the Partial Evaluation of Lazy...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2007
جدول المحتويات: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2006
جدول المحتويات: ... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2015
جدول المحتويات: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2007
جدول المحتويات: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2005
جدول المحتويات: ...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2010
جدول المحتويات: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2005
جدول المحتويات: ... of Amino Acids in Long Polypeptides -- Order Preserving Clustering over Multiple Time Course Experiments...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2007
جدول المحتويات: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2010
جدول المحتويات: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
منشور في 2007
جدول المحتويات: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
منشور في 2014
جدول المحتويات: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2005
جدول المحتويات: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
منشور في 2014
جدول المحتويات: ... -- Constraint Logic Programming for Resolution of Relative Time Expressions -- Maximal Parallelism in Membrane...
احصل على النص الكامل
الكتروني كتاب الكتروني
18
منشور في 2008
جدول المحتويات: ... Level Parallelism and Register File Traffic -- Scalable Architecture for Prefix Preserving Anonymization...
احصل على النص الكامل
الكتروني كتاب الكتروني
19
منشور في 2008
جدول المحتويات: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
احصل على النص الكامل
الكتروني كتاب الكتروني
20
منشور في 2005
جدول المحتويات: ... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...
احصل على النص الكامل
الكتروني كتاب الكتروني