1
Published 2010
Table of Contents: ...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Garbage Collection -- AS-GC: An Efficient Generational Garbage Collector for Java Application Servers...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... for Concurrent Java Programs -- Efficient Computation of Communicator Variables for Programs with Unstructured...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... in Radio Networks -- A Subjective Visit to Selected Topics in Distributed Computing -- Regular Papers...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... on Multicores and SMP Servers -- Programming with Intervals -- Adaptive and Speculative Memory Consistency...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ...Improving Concurrent Write Scheme in File Server Group -- A Comparative Performance Study...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ...Keynote Addresses -- Rethinking Computer Architecture Research -- Event Servers for Crisis...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... of a Chip-MultiThreading Server for High Performance Computing Applications -- Session X – Routing...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ...Keynote Addresses (Abstracts) -- The Future Is Parallel But It May Not Be Easy -- Petaflop...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... -- Typing Asymmetric Client-Server Interaction -- Equational Reasoning on Ad Hoc Networks -- Towards a...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ...-Approximation Algorithm for Block Sorting -- Computational and Structural Complexity -- On the Power...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Hybrid Data-Gathering Scheme in Wireless Sensor Networks -- Section 3 – Grid Computing and Web Services...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ... -- Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction -- Service Component Architecture...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Architecture of Web Server Cluster -- Change Detection in Ontology Versioning: A Bottom-Up Approach...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... Abstraction and Refinement -- High Confidence Subsystem Modelling for Reuse -- A Trustable Brokerage Solution...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...
View full text
Electronic eBook