Search Results - parallel function a functionality testing https

1

Published 2003

Table of Contents: “... -- Isolation of Polysomal RNA for Microarray Analysis -- Parallel Analysis of Gene Copy Number and Expression...”
View full text

Electronic eBook

2

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

Published 2010

Table of Contents: “... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”
View full text

Electronic eBook

3

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

Published 2012

Table of Contents: “... -- Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell -- Challenges for a Trace-Based Just...”
View full text

Electronic eBook

4

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

Published 2008

Table of Contents: “...Graph Parser Combinators -- Testing Erlang Refactorings with QuickCheck -- Optimal Lambda Lifting...”
View full text

Electronic eBook

5

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

Published 2007

Table of Contents: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
View full text

Electronic eBook

6

Physical Unclonable Functions in Theory and Practice

by Böhm, Christoph., Böhm, Christoph., Hofer, Maximilian.
Published 2013

Table of Contents: “...Introduction -- Use Cases -- The Basic Applications -- Testing and Specification of PUFs -- Error...”
View full text

Electronic eBook

7

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

Published 2007

Table of Contents: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
View full text

Electronic eBook

8

Analysis of Parallel Spike Trains

Published 2010

Table of Contents: “... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...”
View full text

Electronic eBook

9

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

Published 2006

Table of Contents: “... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”
View full text

Electronic eBook

10

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

Published 2010

Table of Contents: “... Thread -- Parallel Programming on a Soft-Core Based Multi-core System -- Dynamic Resource Tuning...”
View full text

Electronic eBook

11

Pro .NET 4 Parallel Programming in C#

by Freeman, Adam., Freeman, Adam.
Published 2010

Table of Contents: “... Tasks -- Parallel Loops -- Parallel LINQ -- Testing and Debugging -- Common Parallel Algorithms....”
View full text

Electronic eBook

12

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

Published 2010

Table of Contents: “...Multiobjective Optimization, Models and Applications -- A Novel Smart Multi-Objective Particle...”
View full text

Electronic eBook

13

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

Published 2013

Table of Contents: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
View full text

Electronic eBook

14

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

Published 2008

Table of Contents: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
View full text

Electronic eBook

15

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

Published 2008

Table of Contents: “... the Electronic Supply Chain Management - A Practical Approach -- Design and Implementation of Clustering File...”
View full text

Electronic eBook

16

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

by Mohd Yusof, Norwahyuni, Md Tahir, Paridah, Seng, Hua Lee, Khan, Mohammad Asim, Mohammad Suffian James, Redzuan
Published 2019

“... properties, bending test, shear modulus, and compression parallel to grain were studied. The results revealed...”
View full text

Article

17

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

Published 2013

Table of Contents: “... -- Concurrent Clause Strengthening -- Parallel MUS Extraction -- Maximum Satisfiability -- A Modular Approach...”
View full text

Electronic eBook

18

Scaled parallel iterative method for finding real roots of nonlinear equations

by Chuei, Yee Chen, Ghazali, Abdul Hakim, Wah, June Leong
Published 2021

“...Given a nonconvex minimization problem where the objective function is nonlinear and twice...”

Article

19

Scaled parallel iterative method for finding real roots of nonlinear equations

by Chen, Chuei Yee, Ghazali, Abdul Hakim, Leong, Wah June
Published 2021

“...Given a nonconvex minimization problem where the objective function is nonlinear and twice...”

Article

20

A Course in In-Memory Data Management The Inner Mechanics of In-Memory Databases /

by Plattner, Hasso., Plattner, Hasso.
Published 2013

Table of Contents: “... Functions -- Parallel Select -- Workload Management and Scheduling -- Parallel Join -- Parallel Aggregation...”
View full text

Electronic eBook

Narrow Search