Resultados da pesquisa - parallel optimization program functionality security https

Pesquisas alternativas:
functionality security » functionality securing , functional security , functionality usability
parallel optimization » parameter optimization , parameters optimization , parallel simulation
program functionality » protein functionality , programs functional , supra functionality
optimization program » optimization problem , optimization problems , optimization proximal
https » http

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

Publicado em 2010

Sumário: “... Framework for Blade-Based Data Center -- Query Optimization over Parallel Relational Data Warehouses...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2005

Sumário: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2010

Sumário: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2008

Sumário: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2005

Sumário: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2006

Sumário: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Obter o texto integral

Recurso Electrónico livro electrónico

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th...

Publicado em 2010

Sumário: “... Stochastic Combinatorial Optimization -- How to Schedule When You Have to Buy Your Energy -- Improving...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2010

Sumário: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2014

Sumário: “... Random Bits -- Optimal Strong Parallel Repetition for Projection Games on Low Threshold Rank Graphs...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2008

Sumário: “... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...”
Obter o texto integral

Recurso Electrónico livro electrónico

Modelling, Computation and Optimization in Information Systems and Management Sciences Second...

Publicado em 2008

Sumário: “... and Solving Approaches -- Employing “Particle Swarm Optimization” and “Fuzzy Ranking Functions” for Direct...”
Obter o texto integral

Recurso Electrónico livro electrónico

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...

Publicado em 2007

Sumário: “... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...”
Obter o texto integral

Recurso Electrónico livro electrónico

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Publicado em 2008

Sumário: “... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...”
Obter o texto integral

Recurso Electrónico livro electrónico

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Publicado em 2015

Sumário: “... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2014

Sumário: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Obter o texto integral

Recurso Electrónico livro electrónico

Innovations in Computing Sciences and Software Engineering

Publicado em 2010

Sumário: “... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2008

Sumário: “... Multicast Cost Sharing Games -- Shortest Synchronizing Strings for Huffman Codes -- Optimizing Conjunctive...”
Obter o texto integral

Recurso Electrónico livro electrónico

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedi...

Publicado em 2010

Sumário: “... Optimization -- Parallel Ant-Miner (PAM) on High Performance Clusters -- A Software Tool for Data Clustering...”
Obter o texto integral

Recurso Electrónico livro electrónico

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I /

Publicado em 2010

Sumário: “... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”
Obter o texto integral

Recurso Electrónico livro electrónico

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings /

Publicado em 2005

Sumário: “... and Multicasting in Static Wireless Ad Hoc Networks -- An Algorithm for Nonconvex Lower Semicontinuous Optimization...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa