Search Results - parallel sequential programs functionality securing https

Search alternatives:
programs functionality » program functionality , programs functional , properties functionality
functionality securing » functionality setting , functionality using , functionality testing
parallel sequential » parallel sequencing , parallel sequence , parallel exponential
sequential programs » sequential processes
securing https » security https , security http , securing rtp

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

Published 2005

Table of Contents: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... for the LeadingOnes Problem -- Mirrored Sampling and Sequential Selection for Evolution Strategies -- Optimisation...”
View full text

Electronic eBook

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Published 2014

Table of Contents: “... and Call-by-Value λ-Calculi -- Grounding Synchronous Deterministic Concurrency in Sequential Programming...”
View full text

Electronic eBook

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

Published 2006

Table of Contents: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... -- A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device...”
View full text

Electronic eBook

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

Published 2015

Table of Contents: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
View full text

Electronic eBook

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Published 2007

Table of Contents: “... Decentralized Parallel I/O Scheduling Strategies for Parallel File Systems -- Distributed Security Constrained...”
View full text

Electronic eBook

Advances in Cryptology – EUROCRYPT 2006 25th International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006, Pro...

Published 2006

Table of Contents: “... from Weak Round Functions? -- The Security of Triple Encryption and a Framework for Code-Based Game...”
View full text

Electronic eBook

Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings /

Published 2005

Table of Contents: “... Paths Between XML Documents Using Sequential Patterns -- Web Information Systems Development -- Using...”
View full text

Electronic eBook

Foundations of Intelligent Systems 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings /

Published 2005

Table of Contents: “... Security and an Application to File System Accesses -- Regular Papers -- A Machine Text-Inspired Machine...”
View full text

Electronic eBook

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proc...

Published 2007

Table of Contents: “... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...”
View full text

Electronic eBook

Narrow Search