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