1
منشور في 2005
جدول المحتويات: ... Circuit Latin Square -- An Efficient Load Balancing Algorithm for Cluster System -- Session 5: Parallel...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2006
جدول المحتويات: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2005
جدول المحتويات: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2007
جدول المحتويات: ... to IP Core-Based Embedded System Chips -- Performance of Keyword Connection Algorithm in Nested Mobility...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2015
جدول المحتويات: ... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2007
جدول المحتويات: ... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2007
جدول المحتويات: ... -- Block-Based Approach to Solving Linear Systems -- Numerical Tests with Gauss-Type Nested Implicit Runge...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2005
جدول المحتويات: ... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2012
جدول المحتويات: ... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2014
جدول المحتويات: ... Optimization -- Nested Space Mapping Technique for Design and Optimization of Complex Microwave Structures...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2014
جدول المحتويات: ... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2013
جدول المحتويات: ... Satisfiability -- Quantified Maximum Satisfiability: A Core-Guided Approach -- Nested Boolean Functions as Models...
احصل على النص الكامل
الكتروني كتاب الكتروني