Risultati della ricerca - parallel testing programming functionals adding https

Cerca anche:
programming functionals » programming functional , programming function , programming fundamentals
testing programming » teaching programming , existing programming , using programming
functionals adding » functionality adding , functional coding , functional aging
parallel testing » parallel nesting , parallel meshing , parallel routing
adding https » aging https , auditing https , banking https

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

Pubblicazione 2008

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

Elettronico eBook

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

Pubblicazione 2010

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

Elettronico eBook

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

Pubblicazione 2008

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

Elettronico eBook

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

Pubblicazione 2006

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

Elettronico eBook

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

Pubblicazione 2008

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

Elettronico eBook

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

Pubblicazione 2005

Sommario: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Testo

Elettronico eBook

Innovations in Computing Sciences and Software Engineering

Pubblicazione 2010

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

Elettronico eBook

Evolutionary Algorithms for Solving Multi-Objective Problems

di Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Pubblicazione 2007

Sommario: “... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...”
Testo

Elettronico eBook

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

Pubblicazione 2010

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

Elettronico eBook

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

Pubblicazione 2007

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

Elettronico eBook

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

Pubblicazione 2014

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

Elettronico eBook

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

Pubblicazione 2005

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

Elettronico eBook

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

Pubblicazione 2005

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

Elettronico 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 /

Pubblicazione 2007

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

Elettronico eBook

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

Pubblicazione 2013

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

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

Pubblicazione 2007

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

Elettronico eBook

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Pubblicazione 2015

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

Elettronico eBook

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

Pubblicazione 2007

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

Elettronico eBook

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

Pubblicazione 2014

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

Elettronico eBook

Restringi la ricerca