Canlyniadau Chwilio - parallel component programming functionality testing https

Chwilio eraill:
programming functionality » programming functional , programming functionals , program functionality
component programming » computer programming , computers programming , computing programming
functionality testing » functionality setting , functional testing , functionality using
parallel component » parallel computing , parallel computers , parallel computer
testing https » teaching https , being https , writing https

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... -- A Model of Component-Based Programming -- Contract Based Multi-party Service Composition...”
Cael y testun llawn

Electronig eLyfr

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 /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... with Evolutionary Timing Test of Automotive Software Components -- Measurement-Based Timing Analysis -- ALL-TIMES...”
Cael y testun llawn

Electronig eLyfr

Innovations in Computing Sciences and Software Engineering

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Cael y testun llawn

Electronig eLyfr

Applied WPF 4 in Context

gan Garofalo, Raffaele., Garofalo, Raffaele.
Cyhoeddwyd 2011

Pynciau: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Cael y testun llawn

Electronig eLyfr

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “...Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust...”
Cael y testun llawn

Electronig eLyfr

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Deployment on the Grid -- A Parallel Tree Based Strategy for Test Data Generation and Cost Calculation...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2014

Tabl Cynhwysion: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Cael y testun llawn

Electronig eLyfr

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 /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Cael y testun llawn

Electronig eLyfr

COMPSTAT 2008 Proceedings in Computational Statistics /

Cyhoeddwyd 2008

Tabl Cynhwysion: “...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Systems -- Conformance Testing of Real-Time Component Based Systems -- Cooperative Information Systems...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... to Execute Software Test on Real-Time Safety-Critical Systems -- A Grey-Box Approach to the Functional...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2012

Tabl Cynhwysion: “... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...”
Cael y testun llawn

Electronig eLyfr

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 /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... and Ubiquitous Systems -- Testing Embedded Control Systems with TTCN-3 -- Cross-Platform Verification Framework...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2012

Tabl Cynhwysion: “... and Component Importance -- 3. Signatures and Symmetry Properties of Coherent Systems -- 4. Multidimensional...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad