Search Results - devices evaluation programming programming constructs https

Search alternatives:
programming programming » programming programmed , programming program
evaluation programming » evaluating programming , evolution programming , variation programming
programming constructs » programming concepts , programming contest
devices evaluation » services evaluation , sites evaluation , resources evaluation
constructs https » construction https , constructs loops , constructs arti

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers /

Published 2013

Table of Contents: “... with Relational Features for Drug Design -- Pairwise Markov Logic -- Evaluating Inference Algorithms...”
View full text

Electronic eBook

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”
View full text

Electronic eBook

Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP...

Published 2014

Table of Contents: “... -- OpenMP memory extensions -- Extensions for tools and locks -- Experiences with OpenMP device constructs....”
View full text

Electronic eBook

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Published 2005

Table of Contents: “... Communication Only Placements and Their Use for Parallel Program Construction -- Hierarchical Parallelism...”
View full text

Electronic eBook

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Published 2010

Table of Contents: “...-Based Equality with Lazy Evaluation -- Progressive Reasoning for Complex Dialogues among Agents...”
View full text

Electronic eBook

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
View full text

Electronic eBook

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings /

Published 2008

Table of Contents: “... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”
View full text

Electronic eBook

Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings /

Published 2008

Table of Contents: “... and Rule Transformation -- High-Level Programs and Program Conditions -- Compositional Systems -- Parallel...”
View full text

Electronic eBook

Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings /

Published 2008

Table of Contents: “... Systems Using Genetic Programming -- Self-Adaptive Networked Entities for Building Pervasive Computing...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... Hybrid Register File Architecture -- Model Based Performance Evaluation for MPI Programs -- Runtime...”
View full text

Electronic eBook

Theory of Quantum Computation, Communication, and Cryptography Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008, Revised Selected Papers /

Published 2008

Table of Contents: “...Classical and Quantum Algorithms for Exponential Congruences -- Quantum Algorithms for Evaluating...”
View full text

Electronic eBook

Machines, Computations, and Universality 5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007, Proceedings /

Published 2007

Table of Contents: “... Revisited (Extended Abstract) -- Decision Versus Evaluation in Algebraic Complexity -- A Universal...”
View full text

Electronic eBook

Distributed Computing 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Algorithms for Long-Lived Renaming -- Constructing Shared Objects That Are Both Robust and High-Throughput...”
View full text

Electronic eBook

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... Construction Model for Ubiquitous Computing Devices -- Reuse and Platforms -- A Framework for Patterns in Gaia...”
View full text

Electronic eBook

Theoretical Aspects of Computing - ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings /

Published 2012

Table of Contents: “... Monitoring Automaton Construction for LTL -- How to Translate Efficiently Extensions of Temporal Logics...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... -- Evaluation and Reproducibility of Program Analysis (Track Introduction) -- SWEET – A Tool for WCET Flow...”
View full text

Electronic eBook

Trends in Applied Intelligent Systems 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, J...

Published 2010

Table of Contents: “... -- Entropy-Based Evaluation Relaxation Strategy for Bayesian Optimization Algorithm -- A New Artificial...”
View full text

Electronic eBook

Simulated Evolution and Learning 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, Proceedings /

Published 2008

Table of Contents: “... Differential Evolution -- Comparison between Genetic Algorithm and Genetic Programming Performance...”
View full text

Electronic eBook

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Published 2005

Table of Contents: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
View full text

Electronic eBook

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Published 2010

Table of Contents: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
View full text

Electronic eBook

Narrow Search