Rezultaty - parallel function state functionality testing https

Inne możliwości wyszukiwania:
functionality testing » functionality setting , functional testing , functionality using
state functionality » scale functionality , system functionality , state functional
parallel function » parallel functional , parallel auction , parallel union
function state » functional state , function status , function space
testing https » teaching https , being https , writing https

Functional Genomics

Wydane 2003

Spis treści: “... -- Isolation of Polysomal RNA for Microarray Analysis -- Parallel Analysis of Gene Copy Number and Expression...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2012

Spis treści: “... Properties versus State Machines -- Property-Based Testing and Verification: A Catalog of Classroom Examples...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “... of Timed Testing Equivalence -- From Unreliable Objects to Reliable Objects: The Case of Atomic Registers...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Analysis of Parallel Spike Trains

Wydane 2010

Spis treści: “... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “... Backup Server Using File Fingerprint -- Aspect Oriented Testing Frameworks for Embedded Software...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Recent Advances in System Reliability Signatures, Multi-state Systems and Statistical Inference /

Wydane 2012

Spis treści: “... with Unimodal Hazard Rate Functions -- 14. Multiobjective Reliability Allocation in Multi-state Systems...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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 /

Wydane 2006

Spis treści: “... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Design of Embedded Control Systems

Wydane 2005

Spis treści: “... Parallel Automata -- Optimal State Assignment of Asynchronous Parallel Automata -- Design of Embedded...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3...

Wydane 2015

Spis treści: “...Mutation Testing Process Combined with Test-Driven Development in NET Environment -- Boltzmann...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Evolutionary Algorithms for Solving Multi-Objective Problems

od Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Wydane 2007

Spis treści: “... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Wydane 2015

Spis treści: “...Verified, Practical Upper Bounds for State Space Diameters -- Formalization of Error-correcting...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /

Wydane 2015

Spis treści: “... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...”
Dokumenty pełnotekstowe

Elektroniczne E-book

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Wydane 2013

Spis treści: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Dokumenty pełnotekstowe

Elektroniczne E-book

High Performance Computing in Science and Engineering, Garching 2004 Transaction of the KONWIHR Result Workshop, October 14-15, 2004, Technical University of Munich, Garching, Germ...

Wydane 2005

Spis treści: “...Fluid Dynamics -- BESTWIHR: Testing of a Closure Assumption for Fully Developed Turbulent Channel...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings /

Wydane 2010

Spis treści: “... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”
Dokumenty pełnotekstowe

Elektroniczne E-book

VLSI 2010 Annual Symposium Selected papers /

Wydane 2011

Spis treści: “...: Parallel Paradigms and Run-time Management Techniques for Many-Core Architectures -- 6. Adaptive Task...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Wydane 2010

Spis treści: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015,...

Wydane 2015

Spis treści: “... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Progress in Systems Engineering Proceedings of the Twenty-Third International Conference on Systems Engineering /

Wydane 2015

Spis treści: “... in Emergency Conditions -- Nonlinear Optimal Tracking With Incomplete State Information Using State Dependent...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty