Suchergebnisse - parallel test program functionality adding https

Andere Suchmöglichkeiten:
program functionality » protein functionality , programs functional , supra functionality
functionality adding » functionality using , functionality amino , functionality setting
parallel test » parallel text , parallel texts , parallel task
test program » test programs , tvet program , testing program
adding https » aging https , auditing https , banking https

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

Veröffentlicht 2008

Inhaltsangabe: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2008

Inhaltsangabe: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2006

Inhaltsangabe: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2005

Inhaltsangabe: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2008

Inhaltsangabe: “... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...”
Volltext

Elektronisch E-Book

Innovations in Computing Sciences and Software Engineering

Veröffentlicht 2010

Inhaltsangabe: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Volltext

Elektronisch E-Book

Evolutionary Algorithms for Solving Multi-Objective Problems

von Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Veröffentlicht 2007

Inhaltsangabe: “... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

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

Elektronisch E-Book

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

Veröffentlicht 2007

Inhaltsangabe: “...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2014

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

Elektronisch E-Book

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

Veröffentlicht 2005

Inhaltsangabe: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2005

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

Elektronisch E-Book

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 /

Veröffentlicht 2007

Inhaltsangabe: “... and Ubiquitous Systems -- Testing Embedded Control Systems with TTCN-3 -- Cross-Platform Verification Framework...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2013

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

Elektronisch E-Book

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

Veröffentlicht 2007

Inhaltsangabe: “... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”
Volltext

Elektronisch E-Book

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Veröffentlicht 2015

Inhaltsangabe: “... Segmentation Algorithm Based on Texture -- Optimal Test Selection of Complex Electronic System Based...”
Volltext

Elektronisch E-Book

Embedded and Ubiquitous Computing IFIP International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007, Proceedings /

Veröffentlicht 2007

Inhaltsangabe: “... Power Consumptions of an IEEE 802.11 Multiple Rate Ad Hoc Network -- Energy Efficient Scheduling...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2014

Inhaltsangabe: “... Detection Algorithm for the Wormhole Attack in Ad Hoc Network -- Ad Hoc Eavesdropping Algorithm Based...”
Volltext

Elektronisch E-Book

Suche einschränken