1
Udgivet 2011
Fag: ...Programming languages (Electronic computers)....
Få fuldtekst
Electronisk eBog
2
Udgivet 2010
Indholdsfortegnelse: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Få fuldtekst
Electronisk eBog
3
Udgivet 2003
Indholdsfortegnelse: ... -- Isolation of Polysomal RNA for Microarray Analysis -- Parallel Analysis of Gene Copy Number and Expression...
Få fuldtekst
Electronisk eBog
4
Udgivet 2007
Indholdsfortegnelse: ...-Oriented Heuristic Scheduling Algorithm for Grid Computing -- 3-Points Relationship Based Parallel...
Få fuldtekst
Electronisk eBog
5
Udgivet 2008
Indholdsfortegnelse: ...Graph Parser Combinators -- Testing Erlang Refactorings with QuickCheck -- Optimal Lambda Lifting...
Få fuldtekst
Electronisk eBog
6
Udgivet 2007
Indholdsfortegnelse: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
Få fuldtekst
Electronisk eBog
7
Udgivet 2012
Indholdsfortegnelse: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Få fuldtekst
Electronisk eBog
8
Udgivet 2006
Indholdsfortegnelse: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Få fuldtekst
Electronisk eBog
9
Indholdsfortegnelse: ...Introduction -- Use Cases -- The Basic Applications -- Testing and Specification of PUFs -- Error...
Få fuldtekst
Electronisk eBog
10
Udgivet 2008
Indholdsfortegnelse: ... Backup Server Using File Fingerprint -- Aspect Oriented Testing Frameworks for Embedded Software...
Få fuldtekst
Electronisk eBog
11
Udgivet 2010
Indholdsfortegnelse: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
Få fuldtekst
Electronisk eBog
12
Udgivet 2010
Indholdsfortegnelse: ... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...
Få fuldtekst
Electronisk eBog
13
Udgivet 2008
Indholdsfortegnelse: ... Engine -- MPIBlib: Benchmarking MPI Communications for Parallel Computing on Homogeneous...
Få fuldtekst
Electronisk eBog
14
Udgivet 2010
Indholdsfortegnelse: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
Få fuldtekst
Electronisk eBog
15
Udgivet 2013
Indholdsfortegnelse: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Få fuldtekst
Electronisk eBog
16
Udgivet 2010
Indholdsfortegnelse: ... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...
Få fuldtekst
Electronisk eBog
17
Udgivet 2006
Indholdsfortegnelse: ... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...
Få fuldtekst
Electronisk eBog
18
Udgivet 2013
Indholdsfortegnelse: ...-algebraic Proofs -- Turing’s Computable Real Numbers and Why They Are Still Important Today...
Få fuldtekst
Electronisk eBog
19
af Freeman, Adam., Freeman, Adam.
Udgivet 2010
Indholdsfortegnelse: ... Tasks -- Parallel Loops -- Parallel LINQ -- Testing and Debugging -- Common Parallel Algorithms....
Få fuldtekst
Electronisk eBog
20
Indholdsfortegnelse: ...Lectures -- The Complexity of Computations -- Time and Space Complexity Classes and Savitch’s...
Få fuldtekst
Electronisk eBog