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