Výsledky vyhledávání - parallel problem program functionality security https

Alternativní vyhledávání:
functionality security » functionality securing , functional security , functionality usability
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 Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

Vydáno 2010

Obsah: “... for the LeadingOnes Problem -- Mirrored Sampling and Sequential Selection for Evolution Strategies -- Optimisation...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2010

Obsah: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2005

Obsah: “... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2010

Obsah: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Získat plný text

Elektronický zdroj E-kniha

Information Security and Cryptology First SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005, Proceedings /

Vydáno 2005

Obsah: “... Can Prove So Many Things in Zero-Knowledge -- Identity Based Cryptography -- Improvements on Security...”
Získat plný text

Elektronický zdroj E-kniha

Information and Communications Security 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006, Proceedings /

Vydáno 2006

Obsah: “... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2014

Obsah: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2008

Obsah: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2006

Obsah: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2005

Obsah: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2008

Obsah: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Získat plný text

Elektronický zdroj E-kniha

Visual C# 2010 Recipes A Problem-Solution Approach /

Autor Jones, Allen., Jones, Allen., MacDonald, Matthew., Rajan, Rakesh., Freeman, Adam.
Vydáno 2010

Obsah: “... -- Graphics, Multimedia, and Printing -- Database Access -- Networking -- Security and Cryptography...”
Získat plný text

Elektronický zdroj E-kniha

Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 2 /

Vydáno 2015

Obsah: “... Differential Evolution Approach for Solving Integer Programming Problems -- Liver Disease Diagnosis Using...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2015

Obsah: “...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”
Získat plný text

Elektronický zdroj E-kniha

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 /

Vydáno 2014

Obsah: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2014

Obsah: “... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...”
Získat plný text

Elektronický zdroj E-kniha

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...

Vydáno 2015

Obsah: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Získat plný text

Elektronický zdroj E-kniha

Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers /

Vydáno 2008

Obsah: “... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2008

Obsah: “... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...”
Získat plný text

Elektronický zdroj E-kniha

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Bar...

Vydáno 2010

Obsah: “... Salesman Problem -- Improved Inapproximability for Submodular Maximization -- Approximation Algorithms...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání