1
منشور في 2010
جدول المحتويات: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2010
جدول المحتويات: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2010
جدول المحتويات: ... on Highly Parallel Processing on a Chip -- The Next 25 Years of Computer Architecture? -- Software...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2008
جدول المحتويات: ... Engine -- MPIBlib: Benchmarking MPI Communications for Parallel Computing on Homogeneous...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2005
جدول المحتويات: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2010
جدول المحتويات: ... Decomposition -- Computational Science in Armenia (Invited Talk) -- From Petri Nets to Polynomials: Modeling...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2012
جدول المحتويات: ... Genericity -- Invariant Theory: Applications and Computations (Invited Talk) -- Local Generic Position...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2015
جدول المحتويات: ... Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2010
جدول المحتويات: ...Invited Talks -- Regular Labelings and Geometric Structures -- Algorithmic Aspects of Secure...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2010
جدول المحتويات: ...Invited Talks -- Investigating Universal Computability of Conventional Cellular Automata Problems...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2008
جدول المحتويات: ... Method to Overcome Computer Word Size Limitation in Bit-Parallel Pattern Matching -- 6A Computational...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2008
جدول المحتويات: ...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2014
جدول المحتويات: ... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
منشور في 2013
جدول المحتويات: ... Loci and Envelopes -- ML4PG in Computer Algebra Verification -- Pervasive Parallelism in Highly...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
منشور في 2015
جدول المحتويات: ... Modulo Theories Framework -- Using Minimal Correction Sets to More Efficiently Compute Minimal...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2005
جدول المحتويات: ...-Throughput Proteome Annotation Pipeline -- Genome-Wide Functional Annotation Environment for Thermus...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
منشور في 2008
جدول المحتويات: ... Bisimilarity of Normed Basic Parallel Processes -- Extensions of Embeddings in the Computably Enumerable...
احصل على النص الكامل
الكتروني كتاب الكتروني
18
منشور في 2012
جدول المحتويات: ... Monitor-Camera Response Function -- Polyakov Action Minimization for Efficient Color Image Processing...
احصل على النص الكامل
الكتروني كتاب الكتروني
19
منشور في 2008
جدول المحتويات: ... -- Transforming Graphs with the Same Degree Sequence -- The Forest Number of (n,m)-Graphs -- Computing Simple...
احصل على النص الكامل
الكتروني كتاب الكتروني
20
منشور في 2005
جدول المحتويات: ...Keynote Talk -- Exploiting Multiple Levels of Parallelism in Scientific Computing -- Distributed...
احصل على النص الكامل
الكتروني كتاب الكتروني