1
منشور في 2010
جدول المحتويات: ... in Tiered Storage System -- Session 2: Parallel Algorithms -- Scale-Adaptable Recrawl Strategies for DHT...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2005
جدول المحتويات: ... Circuit Latin Square -- An Efficient Load Balancing Algorithm for Cluster System -- Session 5: Parallel...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2008
جدول المحتويات: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2005
جدول المحتويات: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2008
جدول المحتويات: ...Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2015
جدول المحتويات: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2005
جدول المحتويات: ... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2010
جدول المحتويات: ... for Reconfigurable -- Towards Analytical Methods for FPGA Architecture Investigation -- Session 1: Architectures 1...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2014
جدول المحتويات: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2010
جدول المحتويات: ... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2008
جدول المحتويات: ... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2005
جدول المحتويات: ... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2005
جدول المحتويات: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
منشور في 2013
جدول المحتويات: ... -- Natural Killer cell Licensing during Viral Infection -- Bridging Innate NK cell Functions with Adaptive...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
منشور في 2010
جدول المحتويات: ... -- Beyond the Genome: Functional Studies of Phototrophic Sulfur Oxidation -- Multicellularity in a...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2010
جدول المحتويات: ... Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
منشور في 2007
جدول المحتويات: ... Programming for the Contact Map Overlap Problem -- Session 11: Databases, Web and Text Analysis...
احصل على النص الكامل
الكتروني كتاب الكتروني
18
منشور في 2008
جدول المحتويات: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
احصل على النص الكامل
الكتروني كتاب الكتروني
19
منشور في 2008
جدول المحتويات: ...-Centric Hardware Synthesis from Dataflow Models -- Special Session: Programming Multicores...
احصل على النص الكامل
الكتروني كتاب الكتروني
20
منشور في 2006
جدول المحتويات: ...Regular Sessions: Artificial Immune Systems -- Comparing Energetic and Immunological Selection...
احصل على النص الكامل
الكتروني كتاب الكتروني