Rezultaty - parallel problems programming function testing https

Inne możliwości wyszukiwania:
programming function » programming functional , programming functionals , programme function
problems programming » robots programming , prolog programming , problems programs
parallel problems » parallel problem , parallel programs , parallel process
function testing » function tests , function test , mutation testing
testing https » teaching https , being https , writing https

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

Wydane 2010

Spis treści: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Pro .NET 4 Parallel Programming in C#

od Freeman, Adam., Freeman, Adam.
Wydane 2010

Spis treści: “...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... Search Algorithms with Local Search for the Traveling Salesman Problem -- Many-Objective Test Problems...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /

Wydane 2015

Spis treści: “... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /

Wydane 2013

Spis treści: “...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Wydane 2014

Spis treści: “... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Wydane 2015

Spis treści: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Evolutionary Algorithms for Solving Multi-Objective Problems

od Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Wydane 2007

Spis treści: “... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “... Order Constraint Problem -- A Constraint Logic Programming Approach to Automated Testing -- Turing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Wydane 2006

Spis treści: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying...

Wydane 2014

Spis treści: “...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Wydane 2010

Spis treści: “..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty