Zoekresultaten - parallel function adding functional testing https

Alternatieven:
functional testing » function testing , educational testing , functional imaging
parallel function » parallel functional , parallel auction , parallel union
adding functional » adding functions , aging functional , adding functionality
function adding » function aging , function auditing , function adapting
testing https » teaching https , being https , writing https

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

Gepubliceerd in 2008

Inhoudsopgave: “...Graph Parser Combinators -- Testing Erlang Refactorings with QuickCheck -- Optimal Lambda Lifting...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2010

Inhoudsopgave: “...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2008

Inhoudsopgave: “... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...”
Volledige tekst

Elektronisch E-boek

Evolutionary Algorithms for Solving Multi-Objective Problems

door Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Gepubliceerd in 2007

Inhoudsopgave: “... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...”
Volledige tekst

Elektronisch E-boek

Microsystems Dynamics

door Ostasevicius, Vytautas., Ostasevicius, Vytautas., Dauksevicius, Rolanas.
Gepubliceerd in 2011

Inhoudsopgave: “... for Fabrication of Micromotors -- Common MEMS Actuators -- Parallel Plate Capacitors -- Comb Drives...”
Volledige tekst

Elektronisch E-boek

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Gepubliceerd in 2008

Inhoudsopgave: “... -- Internet Ad Auctions: Insights and Directions -- Track A: Algorithms, Automata, Complexity, and Games...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2006

Inhoudsopgave: “... -- Definition and Correct Refinement of Operation Specifications -- Formal Test Generation from UML Models...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2005

Inhoudsopgave: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Volledige tekst

Elektronisch E-boek

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... Games with Causal Memory Are Decidable for Series-Parallel Systems -- Expand, Enlarge, and Check: New...”
Volledige tekst

Elektronisch E-boek

Contemporary Computing Third International Conference, IC3 2010, Noida, India, August 9-11, 2010. Proceedings, Part I /

Gepubliceerd in 2010

Inhoudsopgave: “... Discriminant Analysis and RBF Neural Network -- Parallel Enumeration Sort on OTIS-Hypercube -- A Robust Trust...”
Volledige tekst

Elektronisch E-boek

Future Intelligent Information Systems Volume 1 /

Gepubliceerd in 2011

Inhoudsopgave: “... -- Optimal Test Time and Power for System-on-Chip Designs Using Game Theory -- An electrochemical approach...”
Volledige tekst

Elektronisch E-boek

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 /

Gepubliceerd in 2007

Inhoudsopgave: “... and Ubiquitous Systems -- Testing Embedded Control Systems with TTCN-3 -- Cross-Platform Verification Framework...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2010

Inhoudsopgave: “... Deployment on the Grid -- A Parallel Tree Based Strategy for Test Data Generation and Cost Calculation...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2005

Inhoudsopgave: “... to Execute Software Test on Real-Time Safety-Critical Systems -- A Grey-Box Approach to the Functional...”
Volledige tekst

Elektronisch E-boek

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

Gepubliceerd in 2007

Inhoudsopgave: “...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”
Volledige tekst

Elektronisch E-boek

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Gepubliceerd in 2013

Inhoudsopgave: “... to the Design of Urban Public Spaces: Day Lighting in the Squares -- Some Results in Automatic Functional Test...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2014

Inhoudsopgave: “... of Energy Aware Routing Protocols and Mechanisms for Mobile Ad hoc Networks -- Lexical Ontology Based...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2007

Inhoudsopgave: “... Technologies -- Automatic Testing of Object-Oriented Software -- Architecture-Based Reasoning About...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2012

Inhoudsopgave: “... for Detection of Macula in Fundus Images -- The Brain’s Sequential Parallelism: Perceptual Decision-Making...”
Volledige tekst

Elektronisch E-boek

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Gepubliceerd in 2015

Inhoudsopgave: “... Segmentation Algorithm Based on Texture -- Optimal Test Selection of Complex Electronic System Based...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken