نتائج البحث - parallel sequential program functionality securing https

بدائل البحث:
functionality securing » functionality setting , functionality using , functionality testing
program functionality » protein functionality , programs functional , supra functionality
parallel sequential » parallel sequencing , parallel sequence , parallel exponential
sequential program » sequential programs , sequential process
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 /

منشور في 2005

جدول المحتويات: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2010

جدول المحتويات: “... for the LeadingOnes Problem -- Mirrored Sampling and Sequential Selection for Evolution Strategies -- Optimisation...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2014

جدول المحتويات: “... and Call-by-Value λ-Calculi -- Grounding Synchronous Deterministic Concurrency in Sequential Programming...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2006

جدول المحتويات: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2008

جدول المحتويات: “... -- A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2015

جدول المحتويات: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2007

جدول المحتويات: “... Decentralized Parallel I/O Scheduling Strategies for Parallel File Systems -- Distributed Security Constrained...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2006

جدول المحتويات: “... from Weak Round Functions? -- The Security of Triple Encryption and a Framework for Code-Based Game...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2005

جدول المحتويات: “... Paths Between XML Documents Using Sequential Patterns -- Web Information Systems Development -- Using...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2007

جدول المحتويات: “... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2005

جدول المحتويات: “... Security and an Application to File System Accesses -- Regular Papers -- A Machine Text-Inspired Machine...”
احصل على النص الكامل

الكتروني كتاب الكتروني

تضييق البحث