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