1
Wydane 2003
Spis treści: ... -- Isolation of Polysomal RNA for Microarray Analysis -- Parallel Analysis of Gene Copy Number and Expression...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2010
Spis treści: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Wydane 2012
Spis treści: ... -- Describing and Optimising Reversible Logic Using a Functional Language -- Hardware Design with Generalized...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Wydane 2008
Spis treści: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Wydane 2007
Spis treści: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Spis treści: ...Introduction -- Use Cases -- The Basic Applications -- Testing and Specification of PUFs -- Error...
Dokumenty pełnotekstowe
Elektroniczne E-book
7
Wydane 2007
Spis treści: ... Environment Using the Great Deluge Algorithm -- Parallelism Granules Aggregation with the T-System -- Toward a...
Dokumenty pełnotekstowe
Elektroniczne E-book
8
Wydane 2010
Spis treści: ... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...
Dokumenty pełnotekstowe
Elektroniczne E-book
9
Wydane 2010
Spis treści: ... Grove and Its Distributed Performance -- A Massively Parallel Hardware for Modular Exponentiations Using...
Dokumenty pełnotekstowe
Elektroniczne E-book
10
Wydane 2006
Spis treści: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Dokumenty pełnotekstowe
Elektroniczne E-book
11
od Freeman, Adam., Freeman, Adam.
Wydane 2010
Spis treści: ... Tasks -- Parallel Loops -- Parallel LINQ -- Testing and Debugging -- Common Parallel Algorithms....
Dokumenty pełnotekstowe
Elektroniczne E-book
12
Wydane 2013
Spis treści: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Dokumenty pełnotekstowe
Elektroniczne E-book
13
Wydane 2010
Spis treści: ... Problem Using an Adaptive Hybrid VNS/SA Approach -- Testing the Dinosaur Hypothesis under Empirical...
Dokumenty pełnotekstowe
Elektroniczne E-book
14
Wydane 2008
Spis treści: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Dokumenty pełnotekstowe
Elektroniczne E-book
15
Wydane 2008
Spis treści: ... Backup Server Using File Fingerprint -- Aspect Oriented Testing Frameworks for Embedded Software...
Dokumenty pełnotekstowe
Elektroniczne E-book
16
Wydane 2013
Spis treści: ... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...
Dokumenty pełnotekstowe
Elektroniczne E-book
17
18
Spis treści: ... for Fabrication of Micromotors -- Common MEMS Actuators -- Parallel Plate Capacitors -- Comb Drives...
Dokumenty pełnotekstowe
Elektroniczne E-book
19
Wydane 2008
Spis treści: ... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...
Dokumenty pełnotekstowe
Elektroniczne E-book
20
Spis treści: ...Sets, Relations, Logic, Functions -- Algebraic Structures For Logic Design -- Functional...
Dokumenty pełnotekstowe
Elektroniczne E-book