Søgeresultater - parallel testing programming function adding https

Søg alternativer:
programming function » programming functional , programming functionals , programme function
testing programming » teaching programming , existing programming , using programming
parallel testing » parallel nesting , parallel meshing , parallel routing
function adding » function aging , function auditing , function adapting
adding https » aging https , auditing https , banking https

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

Udgivet 2008

Indholdsfortegnelse: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Få fuldtekst

Electronisk eBog

Innovations in Computing Sciences and Software Engineering

Udgivet 2010

Indholdsfortegnelse: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Få fuldtekst

Electronisk eBog

Evolutionary Algorithms for Solving Multi-Objective Problems

af Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Udgivet 2007

Indholdsfortegnelse: “... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Deployment on the Grid -- A Parallel Tree Based Strategy for Test Data Generation and Cost Calculation...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2014

Indholdsfortegnelse: “... of Energy Aware Routing Protocols and Mechanisms for Mobile Ad hoc Networks -- Lexical Ontology Based...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... to Execute Software Test on Real-Time Safety-Critical Systems -- A Grey-Box Approach to the Functional...”
Få fuldtekst

Electronisk eBog

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 /

Udgivet 2007

Indholdsfortegnelse: “... and Ubiquitous Systems -- Testing Embedded Control Systems with TTCN-3 -- Cross-Platform Verification Framework...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “... to the Design of Urban Public Spaces: Day Lighting in the Squares -- Some Results in Automatic Functional Test...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”
Få fuldtekst

Electronisk eBog

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Udgivet 2015

Indholdsfortegnelse: “... Segmentation Algorithm Based on Texture -- Optimal Test Selection of Complex Electronic System Based...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... Power Consumptions of an IEEE 802.11 Multiple Rate Ad Hoc Network -- Energy Efficient Scheduling...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2014

Indholdsfortegnelse: “... Detection Algorithm for the Wormhole Attack in Ad Hoc Network -- Ad Hoc Eavesdropping Algorithm Based...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning