1
Veröffentlicht 2003
Inhaltsangabe: ... -- Isolation of Polysomal RNA for Microarray Analysis -- Parallel Analysis of Gene Copy Number and Expression...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2010
Inhaltsangabe: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2011
Schlagworte: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2012
Inhaltsangabe: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2008
Inhaltsangabe: ...Graph Parser Combinators -- Testing Erlang Refactorings with QuickCheck -- Optimal Lambda Lifting...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2007
Inhaltsangabe: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
Volltext
Elektronisch E-Book
7
Inhaltsangabe: ...Introduction -- Use Cases -- The Basic Applications -- Testing and Specification of PUFs -- Error...
Volltext
Elektronisch E-Book
8
... properties, bending test, shear modulus, and compression parallel to grain were studied. The results revealed...
Volltext
Artikel
9
Veröffentlicht 2007
Inhaltsangabe: ... of Timed Testing Equivalence -- From Unreliable Objects to Reliable Objects: The Case of Atomic Registers...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2010
Inhaltsangabe: ... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2006
Inhaltsangabe: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2010
Inhaltsangabe: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
Volltext
Elektronisch E-Book
13
von Freeman, Adam., Freeman, Adam.
Veröffentlicht 2010
Inhaltsangabe: ... Tasks -- Parallel Loops -- Parallel LINQ -- Testing and Debugging -- Common Parallel Algorithms....
Volltext
Elektronisch E-Book
14
Veröffentlicht 2013
Inhaltsangabe: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2010
Inhaltsangabe: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2008
Inhaltsangabe: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2008
Inhaltsangabe: ... Backup Server Using File Fingerprint -- Aspect Oriented Testing Frameworks for Embedded Software...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2013
Inhaltsangabe: ... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...
Volltext
Elektronisch E-Book
19
...Given a nonconvex minimization problem where the objective function is nonlinear and twice...
Artikel
20
...Given a nonconvex minimization problem where the objective function is nonlinear and twice...
Artikel