Search Results - program array protocol implementation https https*

1

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
View full text

Electronic eBook

2

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Published 2008

Table of Contents: “... 3. Proof-Theory 1 -- From One Session to Many: Dynamic Tags for Security Protocols -- A Conditional...”
View full text

Electronic eBook

3

Data Production and Analysis in Population Genomics Methods and Protocols /

Published 2012

Table of Contents: “...Sampling in Landscape Genomics -- oligoTag: A Program for Designing Sets of Tags for Next...”
View full text

Electronic eBook

4

Electron Crystallography of Soluble and Membrane Proteins Methods and Protocols /

Published 2013

Table of Contents: “... Developments in Instrumentation for Electron Crystallography -- Tubular Crystals and Helical Arrays: Structural...”
View full text

Electronic eBook

5

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
View full text

Electronic eBook

6

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /

Published 2005

Table of Contents: “...On Evaluating the Performance of Security Protocols -- Timed Equivalences for Timed Event...”
View full text

Electronic eBook

7

Principles of Distributed Systems 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings /

Published 2006

Table of Contents: “... Meets Self-stabilization -- On the Cost of Uniform Protocols Whose Memory Consumption Is Adaptive...”
View full text

Electronic eBook

8

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

Published 2010

Table of Contents: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
View full text

Electronic eBook

9

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /

Published 2005

Table of Contents: “... -- CSP, occam and Transputers -- Models for Data-Flow Sequential Processes -- Implementation of Handshake...”
View full text

Electronic eBook

10

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Published 2015

Table of Contents: “...: At the Crossroads of Design, Implementation and Foundations -- Reasoning about C Concurrency and Compilers...”
View full text

Electronic eBook

11

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”
View full text

Electronic eBook

12

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings /

Published 2013

Table of Contents: “... Finite Linear Orders: An Implementation -- Hypersequent and Labelled Calculi for Intermediate Logics...”
View full text

Electronic eBook

13

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings /

Published 2005

Table of Contents: “... Generation for ASIP Programming Support -- Sandbridge Software Tools -- Architectures and Implementations...”
View full text

Electronic eBook

14

Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings /

Published 2008

Table of Contents: “... -- to Programming Multicores -- Design Issues in Parallel Array Languages for Shared Memory -- An Architecture...”
View full text

Electronic eBook

15

Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings /

Published 2006

Table of Contents: “... Rendering -- Architectures -- Controller Synthesis for Mapping Partitioned Programs on Array Architectures...”
View full text

Electronic eBook

16

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Published 2005

Table of Contents: “... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”
View full text

Electronic eBook

17

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Published 2005

Table of Contents: “... Framework for Automatic Identification of the Best Checkpoint and Recovery Protocol -- Distributed...”
View full text

Electronic eBook

18

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, Proceedings /

Published 2008

Table of Contents: “... of Concurrent Utilities in Jackal: A Software DSM Implementation -- Self-stabilization -- Anonymous Daemon...”
View full text

Electronic eBook

19

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Published 2005

Table of Contents: “... -- Implementation of Replication Methods in the Grid Environment -- A Secure Wrapper for OGSA-DAI -- XDTM: The XML...”
View full text

Electronic eBook

20

High Performance Computing - HiPC 2004 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings /

Published 2005

Table of Contents: “... Papers -- An Incentive Driven Lookup Protocol for Chord-Based Peer-to-Peer (P2P) Networks -- A Novel...”
View full text

Electronic eBook

Narrow Search