Результаты поиска - parallel function based functionals testing https

1

Опубликовано 2003

Оглавление: “... -- Isolation of Polysomal RNA for Microarray Analysis -- Parallel Analysis of Gene Copy Number and Expression...”
Полный текст

Электронный ресурс eКнига

2

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

Опубликовано 2012

Оглавление: “... -- Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell -- Challenges for a Trace-Based Just...”
Полный текст

Электронный ресурс eКнига

3

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

Опубликовано 2007

Оглавление: “... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”
Полный текст

Электронный ресурс eКнига

4

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

Опубликовано 2008

Оглавление: “...Graph Parser Combinators -- Testing Erlang Refactorings with QuickCheck -- Optimal Lambda Lifting...”
Полный текст

Электронный ресурс eКнига

5

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

Опубликовано 2007

Оглавление: “...-Oriented Heuristic Scheduling Algorithm for Grid Computing -- 3-Points Relationship Based Parallel...”
Полный текст

Электронный ресурс eКнига

6

Analysis of Parallel Spike Trains

Опубликовано 2010

Оглавление: “... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...”
Полный текст

Электронный ресурс eКнига

7

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

Опубликовано 2010

Оглавление: “... Thread -- Parallel Programming on a Soft-Core Based Multi-core System -- Dynamic Resource Tuning...”
Полный текст

Электронный ресурс eКнига

8

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

Опубликовано 2006

Оглавление: “... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”
Полный текст

Электронный ресурс eКнига

9

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

Опубликовано 2013

Оглавление: “... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...”
Полный текст

Электронный ресурс eКнига

10

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

Опубликовано 2010

Оглавление: “... Agents Streamlining Logistic Network Design -- Testing the Permutation Space Based Geometric Differential...”
Полный текст

Электронный ресурс eКнига

11

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

Опубликовано 2008

Оглавление: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Полный текст

Электронный ресурс eКнига

12

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

Опубликовано 2008

Оглавление: “... Expression Recognition Using Optical Flow and HMM -- An Approach for Anomaly Intrusion Detection Based...”
Полный текст

Электронный ресурс eКнига

13

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

Опубликовано 2013

Оглавление: “... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”
Полный текст

Электронный ресурс eКнига

14

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Опубликовано 2008

Оглавление: “... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...”
Полный текст

Электронный ресурс eКнига

15

Knowledge-Based Intelligent Information and Engineering Systems 11th International Conference, KES...

Опубликовано 2007

Оглавление: “... Product Design Systems -- Automated Testing for Knowledge Based Systems -- Building Maintainable Knowledge...”
Полный текст

Электронный ресурс eКнига

16

Beginning Haskell A Project-Based Approach /

по Serrano Mena, Alejandro., Serrano Mena, Alejandro.
Опубликовано 2014

Предметы: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Полный текст

Электронный ресурс eКнига

17

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-13, 2006, Braga, Portugal /

Опубликовано 2006

Оглавление: “... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...”
Полный текст

Электронный ресурс eКнига

18

Dependable Computing - EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /

Опубликовано 2005

Оглавление: “... to Execute Software Test on Real-Time Safety-Critical Systems -- A Grey-Box Approach to the Functional...”
Полный текст

Электронный ресурс eКнига

19

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

Опубликовано 2006

Оглавление: “... -- Definition and Correct Refinement of Operation Specifications -- Formal Test Generation from UML Models...”
Полный текст

Электронный ресурс eКнига

20

Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part I /

Опубликовано 2012

Оглавление: “... -- Dimensional Synthesis of a Planar Parallel Manipulator for Pick-and-Place Operations Based on Rigid-Body...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска