Arama Sonuçları - parallel functional testing functionality function https

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

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

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

Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /

Baskı/Yayın Bilgisi 2011

Konular: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Tam Metin Erişim

Elektronik Ekitap

4

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Baskı/Yayın Bilgisi 2012

İçindekiler: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Tam Metin Erişim

Elektronik Ekitap

5

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007...

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Graph Parser Combinators -- Testing Erlang Refactorings with QuickCheck -- Optimal Lambda Lifting...”
Tam Metin Erişim

Elektronik Ekitap

6

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”
Tam Metin Erişim

Elektronik Ekitap

7

Physical Unclonable Functions in Theory and Practice

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

Mechanical and physical properties of Cross-Laminated Timber made from Acacia mangium wood as function of adhesive types

Yazar: Mohd Yusof, Norwahyuni, Md Tahir, Paridah, Seng, Hua Lee, Khan, Mohammad Asim, Mohammad Suffian James, Redzuan
Baskı/Yayın Bilgisi 2019

“... properties, bending test, shear modulus, and compression parallel to grain were studied. The results revealed...”
Tam Metin Erişim

Makale

9

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

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

Analysis of Parallel Spike Trains

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

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

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

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /

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

Pro .NET 4 Parallel Programming in C#

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

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

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

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II /

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

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI...

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

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

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

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /

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

Scaled parallel iterative method for finding real roots of nonlinear equations

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

Scaled parallel iterative method for finding real roots of nonlinear equations

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

Aramayı Daralt