Search Results - parallel sequence programs functionality testing https

Search alternatives:
programs functionality » program functionality , programs functional , properties functionality
functionality testing » functionality setting , functional testing , functionality using
parallel sequence » parallel sequencing , parallel frequency , parallel frequent
sequence programs » sequence diagrams , science programs , sequence problems
testing https » teaching https , being https , writing https

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Published 2012

Table of Contents: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”
View full text

Electronic eBook

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Published 2007

Table of Contents: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
View full text

Electronic eBook

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
View full text

Electronic eBook

Data Warehousing and Knowledge Discovery 12th International Conference, DaWaK 2010, Bilbao, Spain, August 30 - September 2, 2010, Proceedings /

Published 2010

Table of Contents: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
View full text

Electronic eBook

COMPSTAT 2008 Proceedings in Computational Statistics /

Published 2008

Table of Contents: “...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”
View full text

Electronic eBook

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /

Published 2013

Table of Contents: “....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... Residue Binding Propensity and Sequence Entropy -- Use of Parallel Simulated Annealing for Computational...”
View full text

Electronic eBook

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Published 2010

Table of Contents: “... on a Multi-core Cluster -- Generating Parallel Random Sequences via Parameterizing EICGs...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... -- GenSeeK: A Novel Parallel Multiple Pattern Recognition Algorithm for DNA Sequences -- Improvement of PAPR...”
View full text

Electronic eBook

Experimental and Efficient Algorithms 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings /

Published 2005

Table of Contents: “... an Adaptive Memory Strategy to Improve a Multistart Heuristic for Sequencing by Hybridization -- High...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... to Execute Software Test on Real-Time Safety-Critical Systems -- A Grey-Box Approach to the Functional...”
View full text

Electronic eBook

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings /

Published 2008

Table of Contents: “... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”
View full text

Electronic eBook

Bioinformatics Research and Development First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007, Proceedings /

Published 2007

Table of Contents: “.../Inhibitor Docking by Non-parametric Binomial Distribution Test -- satDNA Analyzer 1.2 as a Valuable...”
View full text

Electronic eBook

Advances in Computation and Intelligence Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, Proceedings /

Published 2007

Table of Contents: “... Algorithm for Dynamic Multi-Objective TSP -- The Construction of Dynamic Multi-objective Optimization Test...”
View full text

Electronic eBook

Machine Learning and Data Mining in Pattern Recognition 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007, Proceedings /

Published 2007

Table of Contents: “... of Ideal and Empirical ROC-Based Reject Rules -- Outlier Detection with Kernel Density Functions -- Generic...”
View full text

Electronic eBook

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Published 2015

Table of Contents: “... Segmentation Algorithm Based on Texture -- Optimal Test Selection of Complex Electronic System Based...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... Parallel Information Extraction Based on Hadoop -- A Novel Class of Periodic Complementary Sequence Sets...”
View full text

Electronic eBook

Narrow Search