1
منشور في 2003
جدول المحتويات: ... -- Isolation of Polysomal RNA for Microarray Analysis -- Parallel Analysis of Gene Copy Number and Expression...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2010
جدول المحتويات: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2012
جدول المحتويات: ... -- Describing and Optimising Reversible Logic Using a Functional Language -- Hardware Design with Generalized...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2008
جدول المحتويات: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2007
جدول المحتويات: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
بواسطة Böhm, Christoph., Böhm, Christoph., Hofer, Maximilian.
منشور في 2013
جدول المحتويات: ...Introduction -- Use Cases -- The Basic Applications -- Testing and Specification of PUFs -- Error...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2007
جدول المحتويات: ... Environment Using the Great Deluge Algorithm -- Parallelism Granules Aggregation with the T-System -- Toward a...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2010
جدول المحتويات: ... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2010
جدول المحتويات: ... Grove and Its Distributed Performance -- A Massively Parallel Hardware for Modular Exponentiations Using...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2006
جدول المحتويات: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
بواسطة Freeman, Adam., Freeman, Adam.
منشور في 2010
جدول المحتويات: ... Tasks -- Parallel Loops -- Parallel LINQ -- Testing and Debugging -- Common Parallel Algorithms....
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2013
جدول المحتويات: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2010
جدول المحتويات: ... Problem Using an Adaptive Hybrid VNS/SA Approach -- Testing the Dinosaur Hypothesis under Empirical...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
منشور في 2008
جدول المحتويات: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
منشور في 2008
جدول المحتويات: ... Backup Server Using File Fingerprint -- Aspect Oriented Testing Frameworks for Embedded Software...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2013
جدول المحتويات: ... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
18
منشور في 2008
جدول المحتويات: ... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...
احصل على النص الكامل
الكتروني كتاب الكتروني
19
بواسطة Astola, Jaakko., Astola, Jaakko., Stankovic, Radomir S.
منشور في 2006
جدول المحتويات: ...Sets, Relations, Logic, Functions -- Algebraic Structures For Logic Design -- Functional...
احصل على النص الكامل
الكتروني كتاب الكتروني
20
منشور في 2005
جدول المحتويات: ...Specification of Concurrent Embedded Control Systems -- Using Sequents for Description...
احصل على النص الكامل
الكتروني كتاب الكتروني