Resultados de búsqueda - parallel problem program functionality interaction https

Buscar alternativas:
functionality interaction » functionality interactions , functional interaction , functional interactions
program functionality » protein functionality , programs functional , supra functionality
parallel problem » parallel program , parallel programs , parallel robots
problem program » problems programs , program program , problem problem
https » http

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

Publicado 2007

Tabla de Contenidos: “... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...”
Enlace del recurso

Electrónico eBook

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

Publicado 2010

Tabla de Contenidos: “... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...”
Enlace del recurso

Electrónico eBook

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

Publicado 2010

Tabla de Contenidos: “... for the LeadingOnes Problem -- Mirrored Sampling and Sequential Selection for Evolution Strategies -- Optimisation...”
Enlace del recurso

Electrónico eBook

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Publicado 2005

Tabla de Contenidos: “... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...”
Enlace del recurso

Electrónico eBook

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Publicado 2010

Tabla de Contenidos: “... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...”
Enlace del recurso

Electrónico eBook

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Publicado 2010

Tabla de Contenidos: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
Enlace del recurso

Electrónico eBook

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

Publicado 2015

Tabla de Contenidos: “...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”
Enlace del recurso

Electrónico eBook

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna...

Publicado 2014

Tabla de Contenidos: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Enlace del recurso

Electrónico eBook

New Horizons of Parallel and Distributed Computing

Publicado 2005

Tabla de Contenidos: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
Enlace del recurso

Electrónico eBook

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

Publicado 2014

Tabla de Contenidos: “... Tokens -- An Improved Interactive Streaming Algorithm for the Distinct Elements Problem -- A Faster...”
Enlace del recurso

Electrónico eBook

Multiobjective Optimization Interactive and Evolutionary Approaches /

Publicado 2008

Tabla de Contenidos: “... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”
Enlace del recurso

Electrónico eBook

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

Publicado 2008

Tabla de Contenidos: “... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”
Enlace del recurso

Electrónico eBook

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

Publicado 2005

Tabla de Contenidos: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Enlace del recurso

Electrónico eBook

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Publicado 2013

Tabla de Contenidos: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Enlace del recurso

Electrónico eBook

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Publicado 2005

Tabla de Contenidos: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Enlace del recurso

Electrónico eBook

Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012

Publicado 2014

Tabla de Contenidos: “... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...”
Enlace del recurso

Electrónico eBook

High Performance Computing Systems and Applications 23rd International Symposium, HPCS 2009, Kingston, Ontario, Canada, June 14-17, 2009, Revised Selected Papers /

Publicado 2010

Tabla de Contenidos: “... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...”
Enlace del recurso

Electrónico eBook

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Ada...

Publicado 2008

Tabla de Contenidos: “... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”
Enlace del recurso

Electrónico eBook

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised...

Publicado 2008

Tabla de Contenidos: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
Enlace del recurso

Electrónico eBook

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Publicado 2008

Tabla de Contenidos: “... Interaction in Distributed Systems -- A Robust Class of Regular Languages -- Deterministic Models...”
Enlace del recurso

Electrónico eBook

Resultados Agrupados