Suchergebnisse - parallel program problem functionality securing https

Andere Suchmöglichkeiten:
functionality securing » functionality setting , functionality using , functionality testing
problem functionality » problem functional , problem functionals , program functionality
parallel program » parallel programs , parallel problem , parallel programming
program problem » programs problem , programs problems , program program
securing https » security https , security http , securing rtp

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

Veröffentlicht 2010

Inhaltsangabe: “... for the LeadingOnes Problem -- Mirrored Sampling and Sequential Selection for Evolution Strategies -- Optimisation...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2005

Inhaltsangabe: “... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2005

Inhaltsangabe: “... Can Prove So Many Things in Zero-Knowledge -- Identity Based Cryptography -- Improvements on Security...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2006

Inhaltsangabe: “... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2014

Inhaltsangabe: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2006

Inhaltsangabe: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2008

Inhaltsangabe: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2005

Inhaltsangabe: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2008

Inhaltsangabe: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Volltext

Elektronisch E-Book

Visual C# 2010 Recipes A Problem-Solution Approach /

von Jones, Allen., Jones, Allen., MacDonald, Matthew., Rajan, Rakesh., Freeman, Adam.
Veröffentlicht 2010

Inhaltsangabe: “... -- Graphics, Multimedia, and Printing -- Database Access -- Networking -- Security and Cryptography...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2015

Inhaltsangabe: “... Differential Evolution Approach for Solving Integer Programming Problems -- Liver Disease Diagnosis Using...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2015

Inhaltsangabe: “...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”
Volltext

Elektronisch E-Book

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 /

Veröffentlicht 2014

Inhaltsangabe: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2014

Inhaltsangabe: “... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2015

Inhaltsangabe: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2008

Inhaltsangabe: “... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2008

Inhaltsangabe: “... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “... Salesman Problem -- Improved Inapproximability for Submodular Maximization -- Approximation Algorithms...”
Volltext

Elektronisch E-Book

Suche einschränken