Search Results - parallel component processing functionality testing https

Search alternatives:
processing functionality » processing functional , protein functionality , properties functionality
functionality testing » functionality setting , functional testing , functionality using
component processing » components processing , component processes , compound processing
parallel component » parallel computing , parallel computers , parallel computer
testing https » teaching https , being https , writing https

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part II /

Published 2012

Table of Contents: “... -- Parallel Support Vector Configuration for Identification of Fast Independent Components in Morphological...”
View full text

Electronic eBook

Intelligent Technologies and Engineering Systems

Published 2013

Table of Contents: “... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...”
View full text

Electronic eBook

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 /

Published 2006

Table of Contents: “... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...”
View full text

Electronic eBook

Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach First International Work-Conference on the Interplay Between Natural and Artificial Computati...

Published 2005

Table of Contents: “... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...”
View full text

Electronic eBook

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

Published 2012

Table of Contents: “... -- Adaptive Learning Prediction on Rolling Force in the Process of Reversible Cold Rolling Mill -- Modeling...”
View full text

Electronic eBook

Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China /

Published 2014

Table of Contents: “... Component by Incidence Matrix of Digraph -- Functional Dependencies and Lossless Decompositions of Uncertain...”
View full text

Electronic eBook

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

Published 2012

Table of Contents: “... for Supermarket Refrigeration System by Using Combined Stochastic Process and Universal Generating Function Method...”
View full text

Electronic eBook

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Published 2014

Table of Contents: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
View full text

Electronic eBook

COMPSTAT 2008 Proceedings in Computational Statistics /

Published 2008

Table of Contents: “...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... with Evolutionary Timing Test of Automotive Software Components -- Measurement-Based Timing Analysis -- ALL-TIMES...”
View full text

Electronic eBook

BioMEMS

Published 2006

Table of Contents: “... of Nerve Fibres. 3. CLINICAL IMPLANTS. 3.1.Electrodes – The Key Component in Neural Prostheses. 3.2.Cardiac...”
View full text

Electronic eBook

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Published 2007

Table of Contents: “... Extra-Functional Prediction of Component-Based Control Systems – Industrial Experience -- Explicit...”
View full text

Electronic eBook

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Published 2005

Table of Contents: “... Systems -- Conformance Testing of Real-Time Component Based Systems -- Cooperative Information Systems...”
View full text

Electronic eBook

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Published 2007

Table of Contents: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... to Execute Software Test on Real-Time Safety-Critical Systems -- A Grey-Box Approach to the Functional...”
View full text

Electronic eBook

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Published 2014

Table of Contents: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
View full text

Electronic eBook

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers /

Published 2007

Table of Contents: “... Complex Event Processing Based on RFID Standards -- Physical/Cyber Objects Management Framework...”
View full text

Electronic eBook

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
View full text

Electronic eBook

Micro-Assembly Technologies and Applications IFIP TC5 WG5.5 Fourth International Precision Assembly Seminar (IPAS'2008) Chamonix, France, February 10-13, 2008 /

Published 2008

Table of Contents: “... to Assemble Functional Products out of Components we are Unable to Measure? -- Impact Forces Reduction...”
View full text

Electronic eBook

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proc...

Published 2007

Table of Contents: “... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...”
View full text

Electronic eBook

Narrow Search