Sökresultat - parallel problem processing functionality testing https

Menade du:
processing functionality » processing functional , protein functionality , properties functionality
functionality testing » functionality setting , functional testing , functionality using
problem processing » probes processing , problem proceedings , profiles processing
parallel problem » parallel program , parallel programs , parallel robots
testing https » teaching https , being https , writing https

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

Publicerad 2010

Innehållsförteckning: “...-core Platforms -- A Paradigm for Processing Network Protocols in Parallel -- Real-Time Task Scheduling...”
Hämta fulltext

Elektronisk E-bok

Pro .NET 4 Parallel Programming in C#

av Freeman, Adam., Freeman, Adam.
Publicerad 2010

Innehållsförteckning: “... Tasks -- Parallel Loops -- Parallel LINQ -- Testing and Debugging -- Common Parallel Algorithms....”
Hämta fulltext

Elektronisk E-bok

Evolutionary Algorithms for Solving Multi-Objective Problems

av Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Publicerad 2007

Innehållsförteckning: “... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...”
Hämta fulltext

Elektronisk E-bok

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part II /

Publicerad 2012

Innehållsförteckning: “... for Detection of Macula in Fundus Images -- The Brain’s Sequential Parallelism: Perceptual Decision-Making...”
Hämta fulltext

Elektronisk E-bok

Artificial Intelligence and Evolutionary Algorithms in Engineering Systems Proceedings of ICAEES 2014, Volume 1 /

Publicerad 2015

Innehållsförteckning: “... Based Heuristic for Identical Parallel Machine Scheduling Problem -- 75. Green Algorithm for Virtualized...”
Hämta fulltext

Elektronisk E-bok

Intelligent Technologies and Engineering Systems

Publicerad 2013

Innehållsförteckning: “... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...”
Hämta fulltext

Elektronisk E-bok

Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach First International Work-Conference on the Interplay Between Natural and Artificial Computati...

Publicerad 2005

Innehållsförteckning: “... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...”
Hämta fulltext

Elektronisk E-bok

Machine Learning: ECML 2005 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “... for Natural Language Processing (and Vice Versa?) -- Statistical Relational Learning: An Inductive Logic...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2015

Innehållsförteckning: “...The Effect of Distinct Geometric Semantic Crossover Operators in Regression Problems -- Learning...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2007

Innehållsförteckning: “... of Ideal and Empirical ROC-Based Reject Rules -- Outlier Detection with Kernel Density Functions -- Generic...”
Hämta fulltext

Elektronisk E-bok

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... Computational Scheme for Testing Admissibility of Nilpotent Orbits of Real Lie Groups of Inner Type -- Efficient...”
Hämta fulltext

Elektronisk E-bok

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2008

Innehållsförteckning: “... Bisimilarity of Normed Basic Parallel Processes -- Extensions of Embeddings in the Computably Enumerable...”
Hämta fulltext

Elektronisk E-bok

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Publicerad 2010

Innehållsförteckning: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
Hämta fulltext

Elektronisk E-bok

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Publicerad 2015

Innehållsförteckning: “... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2005

Innehållsförteckning: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Hämta fulltext

Elektronisk E-bok

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Publicerad 2014

Innehållsförteckning: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Hämta fulltext

Elektronisk E-bok

Algorithms - ESA 2008 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... for the Maximum Node-Capacitated Multiflow Problem -- Linear Time Planarity Testing and Embedding of Strongly...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2013

Innehållsförteckning: “...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “...: Testing of a New Distribution Strategy -- Workshop on Biomathematics, Bioinformatics and Biostatistics...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen