Resultados de procura - parallel functionality support functionality testing https

Search alternatives:
parallel functionality » parallel functional , oracle functionality , carbonyl functionality
functionality support » functionality part , functionality pt , functionality boost
support functionality » supra functionality , support functions
functionality testing » functionality setting , functional testing , functionality using
testing https » teaching https , being https , writing https

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

Publicado 2007

Table of Contents: “... of Timed Testing Equivalence -- From Unreliable Objects to Reliable Objects: The Case of Atomic Registers...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2006

Table of Contents: “... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2010

Table of Contents: “...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2013

Table of Contents: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2008

Table of Contents: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Ligazón do recurso

Electrónico eBook

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Publicado 2008

Table of Contents: “... the Challenges of Software Development Process for SMEs with Rigorous Support and Open Source -- Workflow Testing...”
Ligazón do recurso

Electrónico eBook

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...

Publicado 2015

Table of Contents: “... Regression Models in Decision Support System for Urban Transport Planning -- New Parallel Algorithm...”
Ligazón do recurso

Electrónico eBook

Advances in Robot Kinematics: Analysis and Design

Publicado 2008

Table of Contents: “... of Parallel Manipulators -- Exact Envelope Computation for Moving Surfaces with Quadratic Support Functions...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2015

Table of Contents: “... for CompCert -- Validating Dominator Trees for a Fast, Verified Dominance Test -- Refinement to Certify...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2010

Table of Contents: “... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”
Ligazón do recurso

Electrónico eBook

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...

Publicado 2005

Table of Contents: “...Fluid Dynamics -- BESTWIHR: Testing of a Closure Assumption for Fully Developed Turbulent Channel...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2015

Table of Contents: “... Inverter Using Particle Swarm Optimization -- Anti-islanding Test results for Multiple PV Inverter...”
Ligazón do recurso

Electrónico eBook

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

por Plattner, Hasso., Plattner, Hasso.
Publicado 2013

Table of Contents: “... Functions -- Parallel Select -- Workload Management and Scheduling -- Parallel Join -- Parallel Aggregation...”
Ligazón do recurso

Electrónico eBook

Improving Complex Systems Today Proceedings of the 18th ISPE International Conference on Concurrent Engineering /

Publicado 2011

Table of Contents: “....: Looking Beyond The Physical -- Domain-Centred Functionalities Discovering for Testing Systems...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2010

Table of Contents: “...-Landau Theory for Atomic Fermi Gases Near the BCS-BEC Crossover -- Improved Support Vector Machine Multi...”
Ligazón do recurso

Electrónico eBook

Advanced Techniques in Computing Sciences and Software Engineering

Publicado 2010

Table of Contents: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Ligazón do recurso

Electrónico eBook

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Publicado 2014

Table of Contents: “... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”
Ligazón do recurso

Electrónico eBook

The Relevance of the Time Domain to Neural Network Models

Publicado 2012

Subjects: “...Neurosciences. https://scigraph.springernature.com/ontologies/product-market-codes/B18006...”
Ligazón do recurso

Electrónico eBook

Machine Learning and Data Mining in Pattern Recognition 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007, Proceedings /

Publicado 2007

Table of Contents: “... in Mammogram Images Using Ripley’s K Function and Support Vector Machine -- Selection of Experts for the Design...”
Ligazón do recurso

Electrónico eBook

Rough Sets and Intelligent Systems Paradigms International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007, Proceedings /

Publicado 2007

Table of Contents: “... Between Knowledges -- On Three Closely Related Rough Inclusion Functions -- Rough Set Theory from a Math...”
Ligazón do recurso

Electrónico eBook

Resultados Agrupados