Результаты поиска - parallel evaluating program functionality testing https

Альтернативы поиска:
program functionality » protein functionality , programs functional , supra functionality
functionality testing » functionality setting , functional testing , functionality using
parallel evaluating » parallel evaluation , parallel valuation , partially evaluating
evaluating program » evaluating programs , evaluating programme , evaluation program
testing https » teaching https , being https , writing https

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Опубликовано 2010

Оглавление: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Полный текст

Электронный ресурс eКнига

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Опубликовано 2007

Оглавление: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Полный текст

Электронный ресурс eКнига

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Опубликовано 2006

Оглавление: “... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2008

Оглавление: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Полный текст

Электронный ресурс eКнига

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Опубликовано 2007

Оглавление: “... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”
Полный текст

Электронный ресурс eКнига

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Опубликовано 2013

Оглавление: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2010

Оглавление: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2008

Оглавление: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Полный текст

Электронный ресурс eКнига

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Опубликовано 2008

Оглавление: “... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...”
Полный текст

Электронный ресурс eКнига

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Опубликовано 2006

Оглавление: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Полный текст

Электронный ресурс eКнига

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Опубликовано 2005

Оглавление: “... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...”
Полный текст

Электронный ресурс eКнига

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II /

Опубликовано 2010

Оглавление: “... Learning Method and Its Application to Generation of Evaluation Functions for the Game of Checkers....”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2008

Оглавление: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2006

Оглавление: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Полный текст

Электронный ресурс eКнига

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 /

Опубликовано 2006

Оглавление: “... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...”
Полный текст

Электронный ресурс eКнига

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Опубликовано 2010

Оглавление: “... -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native...”
Полный текст

Электронный ресурс eКнига

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Опубликовано 2014

Оглавление: “... -- Evaluation and Reproducibility of Program Analysis (Track Introduction) -- SWEET – A Tool for WCET Flow...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2005

Оглавление: “... to Execute Software Test on Real-Time Safety-Critical Systems -- A Grey-Box Approach to the Functional...”
Полный текст

Электронный ресурс eКнига

Innovations in Computing Sciences and Software Engineering

Опубликовано 2010

Оглавление: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2008

Оглавление: “...Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска