close
1.

図書

図書
sponsored by ACM Special Interest Group on Algorithms and Computational Theory and ACM Special Interest Group on Operating Systems
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  ix, 298 p. ; 28 cm
所蔵情報: loading…
2.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, CA ; Tokyo : IEEE Computer Society, c2002  xiv, 424 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Symposium and Program Co-Chairs
Conference Committee
Referees
Keynote Speaker
Theory and Practice for Fault-Tolerant Protocols on the Internet / K. Marzullo
Security / Session 1:
Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model / M. Correia ; L. Lung ; N. Neves ; P. Verissimo
A Fault-Tolerant Approach to Secure Information Retrieval / E. Yang ; J. Xu ; K. Bennett
Tolerance to Unbounded Byzantine Faults / M. Nesterenko ; A. Arora
Networking I / Session 2:
Implementing Quality of Service in Web Servers / C. Montez ; J. Fraga
Fault-Tolerant Virtual Private Networks within an Autonomous System / J. Han ; G. Malan ; F. Jahanian
Collaborative Networking in an Uncooperative Internet / R. van Renesse ; D. Dumitriu
Stabilization I / Session 3:
Fault-Local Stabilization: The Shortest Path Tree / J. Beauquier ; T. Herault
Random Walk for Self-Stabilizing Group Communication in Ad-Hoc Networks / S. Dolev ; E. Schiller ; J. Welch
Service Time Optimal Self-Stabilizing Token Circulation Protocol on Anonymous Unidirectional Rings / C. Johnen
Replication / Session 4:
An Indulgent Uniform Total Order Algorithm with Optimistic Delivery / P. Vicente ; L. Rodrigues
A Unified Proof of Minimum Time Complexity for Reaching Consensus and Uniform Consensus--An Oracle-Based Approach
Active Software Replication through a Three-Tier Approach / R. Baldoni ; C. Marchetti ; A. Termini
Efficient Distribution Precision Control in Symmetric Replication Environments / U. Cetintemel ; P. Keleher
Fault Recovery / Session 5:
Availability Models with Age-Dependent Checkpointing / T. Dohi ; N. Kaio ; K. Trivedi
Heterogeneous Checkpointing for Multithreaded Applications / F. Karablieh ; R. Bazzi
Non-Intrusive, Parallel Recovery of Replicated Data / R. Jimenez-Peris ; M. Patino-Martinez ; G. Alonso
On Node State Reconstruction for Fault Tolerant Distributed Algorithms / M. Okun ; A. Barak
Large Scale Group Communication / Session 6:
Probabilistic Atomic Broadcast / P. Felber ; F. Pedone
Efficient Epidemic-Style Protocols for Reliable and Scalable Multicast / I. Gupta ; A. Kermarrec ; A. Ganesh
Optimistic Total Order in Wide Area Networks / A. Sousa ; J. Pereira ; F. Moura ; R. Oliveira
Stabilization II / Session 7:
Self-Stabilizing Local Mutual Exclusion on Networks in which Process Identifiers are not Distinct / H. Kakugawa ; M. Yamashita
A Lower Bound on Dynamic k-stabilization in Asynchronous Systems / C. Genolini ; S. Tixeuil
Networking II / Session 8:
Asynchronous Resource Discovery in Peer to Peer Networks / S. Kutten ; D. Peleg
An Analysis of Fault Detection Latency Bounds of the SNS Scheme Incorporated into an Ethernet Based Middleware System / J. Liu ; K. Kim ; M. Kim
Short Papers / Session 9:
Broadcasting Messages in Fault-Tolerant Distributed Systems: The Benefit of Handling Input-Triggered and Output-Triggered Suspicions Differently / B. Charron-Bost ; X. Defago ; A. Schiper
Loose Synchronization of Multithreaded Replicas / C. Basile ; K. Whisnant ; Z. Kalbarczyk ; R. Iyer
The Performance of Checkpointing and Replication Schemes for Fault Tolerant Mobile Agent Systems / T. Park ; I. Byun ; H. Kim ; H. Yeom
Optimistic Byzantine Agreement / K. Kursawe
Modeling Communication Delays in Distributed Systems Using Time Series / R. Nunes ; I. Jansch-Porto
Object-Based Systems / Session 10:
Dependability of CORBA Systems: Service Characterization by Fault Injection / E. Marsden ; J. Fabre ; J. Arlat
Analysis of Inspection-Based Preventive Maintenance in Operational Software Systems / K. Vaidyanathan ; D. Selvamuthu
Implementation of Threshold-Based Diagnostic Mechanisms for COTS-Based Applications / L. Romano ; A. Bondavalli ; S. Chiaradonna ; D. Cotroneo
The Guardian Model for Exception Handling in Distributed Systems / R. Miller ; A. Tripathi
Workshop on Reliable Peer-to-Peer Distributed Systems
Foreword
Reliable Peer-to-Peer File Systems / Session I:
Using File-Grain Connectivity to Implement a Peer-to-Peer File System / D. Brodsky ; A. Brodsky ; J. Pomkoski ; S. Gong ; M. Feeley ; N. Hutchinson
Building a Reliable Mutable File System on Peer-to-Peer Storage / C. Stein ; M. Tucker ; M. Seltzer
Reperasure: Replication Protocol Using Erasure-code in Peer-to-Peer Network / Z. Zhang ; Q. Lian
Reliable Routing and Discovery / Session II:
Improving Object Search Using Hints, Gossip, and Supernodes / H. Johansen ; D. Johansen
A Search for Routing Strategies in a Peer-to-Peer Network Using Genetic Programming / M. Iles ; D. Deugo
Implementing IPv6 as a Peer-to-Peer Overlay Network / L. Zhou ; M. Marsh
Failure Management / Session III:
Asynchronous Byzantine Group Communication
Power-Aware Epidemics
Introspective Failure Analysis: Avoiding Correlated Failures in Peer-to-Peer Systems / H. Weatherspoon ; T. Moscovitz ; J. Kubiatowicz
Workshop on Self-Repairing and Self-Configurable Distributed Systems
Keynote Speakers
From Byzantine Agreement to Practical Survivability / D. Malkhi
OBIgrid: Towards A New Distributed Platform for Bioinformatics / A. Konagaya
Self-Stabilization
Self-Stabilizing Distributed File Systems / R. Kat
A Self-Stabilizing Algorithm for Finding Cliques in Distributed Systems / H. Ishii
A Self-Stabilizing Algorithm for the Steiner Tree Problem / S. Kamei
Large-Scale Distributed Systems
Failure Detectors for Large-Scale Distributed Systems / N. Hayashibara ; A. Cherif ; T. Katayama
Management of Mobile Agent Systems Using Social Insect Metaphors / T. White ; B. Pagurek
Self-Organizing Formation Algorithm for Active Elements / K. Fujibayashi ; S. Murata ; K. Sugawara ; M. Yamamura
Author Index
Message from the Symposium and Program Co-Chairs
Conference Committee
Referees
3.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Simulation (TCSIM), ACM Special Interest Group on Simulation (SIGSIM), Society for Computer Simulation (SCS)
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002  x, 173 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chairs
Message from the Program Co-Chairs
Committees
Reviewers
Conservative Simulation / Session 1:
Conservative Simulation Using Distributed-Shared Memory / Y. Teo ; Y. Ng ; B. Onggo
The Lookahead in a User-Transparent Conservative Parallel Simulator / V. Solcany ; J. Safarik
Addressing Blocking and Scalability in Critical Channel Traversing / R. Simmonds ; C. Kiddle ; B. Unger
Optimistic Simulation I / Session 2:
XSim: Real-Time Analytic Parallel Simulations / C. Carothers
Pal: A New Fossil Collector for Time Warp / V.-Y. Vee ; W.-J. Hsu
Early Cancellation: An Active NIC Optimization for Time-Warp / R. Noronha ; N. Abu-Ghazaleh
Virtual Environments and Hla / Session 3:
Critical Causality in Distributed Virtual Environments / S. Zhou ; W. Cai ; S. Turner ; F. Lee
A Scalable Architecture for Supporting Interactive Games on the Internet / P. Xavier ; B.-S. Lee
Evaluation of a Sort-Based Matching Algorithm for DDM / Y. Jun ; C. Raczy ; G. Tan
Network Simulation / Session 4:
Lookahead Revisited in Wireless Network Simulations / J. Liu ; D. Nicol
Genesis: A System for Large-Scale Parallel Network Simulation / B. Szymanski ; A. Saifee ; A. Sastry ; Y. Liu ; K. Madnani
Experiences Applying Parallel and Interoperable Network Simulation Techniques in On-Line Simulations of Military Networks / K. Perumalla ; R. Fujimoto ; T. McLean ; G. Riley
Miscellaneous I / Session 5:
Updateable Simulation of Communication Networks / S. Ferenci ; M. Ammar
Analysis of Composite Synchronization
Stone Axes and Warhammers: A Decade of Distributed Simulation in Aviation Research / F. Sogandares
Optimistic Simulation II / Session 6:
Software Control Systems for Parallel Simulation / R. Radhakrishnan ; P. Wilsey
Conditional Checkpoint Abort: An Alternative Semantic for Re-synchronization in CCL / F. Quaglia ; A. Santoro ; B. Ciciani
Miscellaneous II / Session 7:
Lookback: A New Way of Exploiting Parallelism in Discrete Event Simulation / G. Chen
Experiment Scheduling in Faster-than-Real-Time Simulation / D. Anagnostopoulos
Author Index
Message from the General Chairs
Message from the Program Co-Chairs
Committees
4.

図書

図書
sponsored by ACM Special Interest Group on Algorithms and Computation Theory and ACM Special Interest Group on Operating Systems
出版情報: New York, N.Y. : Association for Computing Machinery, c2001  xii, 325 p. ; 28 cm
所蔵情報: loading…
5.

図書

図書
editor, M.H. Hamza ; [sponsors, the International Association of Science and Technology for Development (IASTED), Technical Committee on Modelling and Simulation, World Modelling and Simulation Forum]
出版情報: Anaheim, Calif. : IASTED/ACTA Press, c2001  iv, 347 p. ; 28 cm
所蔵情報: loading…
6.

図書

図書
sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  x, 232 p. ; 28 cm
所蔵情報: loading…
7.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, CA ; Tokyo : IEEE Computer Society, c2001  xv, 267 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Symposium Chair
Message from the Program Chair
Conference Committee
Referees
Reliable and Secure Applications in Mobile Environments / Workshop 1:
Reliability in Embedded Systems / Workshop 2:
Keynote Lecture / Dr. Ambuj Goyal
Replication / Session 1:
Optimizing File Availability in a Secure Serverless Distributed File System / J. Douceur ; R. Wattenhofer
Primary-Backup Replication: From a Time-Free Protocol to a Time-Based Implementation / R. Oliveira ; J. Pereira ; A. Schiper
How to Select a Replication Protocol According to Scalability, Availability, and Communication Overhead / R. Jimenez-Peris ; M. Patino-Martinez ; B. Kemme ; G. Alonso
Recovery / Session 2:
Quantifying Rollback Propagation in Distributed Checkpointing / A. Agbaria ; H. Attiya ; R. Friedman ; R. Vitenberg
Continental Pronto / S. Frolund ; F. Pedone
Compiler-Assisted Heterogeneous Checkpointing / F. Karablieh ; R. Bazzi ; M. Hicks
Reliability and Security in Distributed and Mobile Systems / Panel 1:
Applying Fault-Tolerance Principles to Security Research / A. Bhargava ; B. Bhargava
The Challenge of Creating Productive Collaborating Information Assurance Communities via Internet Research and Standards / J. Betser
Can Reliability and Security be Joined Reliably and Securely? / K. Kwiat
Incorporation of Security and Fault Tolerance Mechanisms into Real-Time Component-Based Distributed Computing Systems / K. Kim
Research in High-Confidence Distributed Information Systems / M. Singhal
Security / Session 3:
Detecting Heap Smashing Attacks through Fault Containment Wrappers / C. Fetzer ; Z. Xiao
Efficient Update Diffusion in Byzantine Environments / D. Malkhi ; O. Rodeh ; M. Reiter ; Y. Sella
An Analytical Framework for Reasoning about Intrusions / S. Upadhyaya ; R. Chinchani
Agreement Protocols / Session 4:
Optimistic Validation of Electronic Tickets
A Consensus Protocol Based on a Weak Failure Detector and a Sliding Round Window / M. Hurfin ; R. Macedo ; A. Mostefaoui ; M. Raynal
Polynomial Time Synthesis of Byzantine Agreement / S. Kulkarni ; A. Arora ; A. Chippada
Application Level Fault Tolerance / Session 5:
Looking Ahead in Atomic Actions with Exception Handling / A. Romanovsky
Assessing Inter-Modular Error Propagation in Distributed Software / A. Jhumka ; M. Hiller ; N. Suri
Designing a Robust Namespace for Distributed File Services / Z. Zhang ; C. Karamanolis
Building Reliable Systems from COTS Components / Panel 2:
High-Quality Customizable Embedded Software from COTS Components / F. Bastani
Application of Commercial-Grade Digital Equipment in Nuclear Power Plant Safety Systems / M. Chiramal
Why Is It So Hard to Predict Software System Trustworthiness from Software Component Trustworthiness? / J. Voas
Concise Contributions / Session 6:
Message Logging Optimization for Wireless Networks / B. Yao ; W. Fuchs
Reducing Noise in Gossip-Based Reliable Broadcast / P. Kouznetsov ; R. Guerraoui ; S. Handurukande ; A. Kermarrec
Chasing the FLP Impossibility Result in a LAN or How Robust Can a Fault Tolerant Server Be? / P. Urban ; X. Defago
Consensus with Written Messages Under Link Faults / B. Weiss ; U. Schmid
Efficient TDMA Synchronization for Distributed Embedded Systems / V. Claesson ; H. Lonn
Efficient Recovery Information Management Schemes for the Fault Tolerant Mobile Computing Systems / T. Park ; N. Woo ; H. Yeom
QoS and Real-Time Systems / Session 7:
Using the Timely Computing Base for Dependable QoS Adaptation / A. Casimiro ; P. Verissimo
A Microkernel Middleware Architecture for Distributed Embedded Real-Time Systems / U. Brinkschulte ; A. Bechina ; F. Picioroaga ; E. Schneider ; T. Ungerer ; J. Kreuzinger ; M. Pfeffer
Performance Analysis of the CORBA Notification Service / S. Ramani ; K. Trivedi ; B. Dasarathy
Mobile Systems / Session 8:
Reliable Real-Time Cooperation of Mobile Autonomous Systems / S. Schemmer ; E. Nett ; M. Mock
On the Effectiveness of a Counter-Based Cache Invalidation Scheme and Its Resiliency to Failures in Mobile Environments / G. Cao ; C. Das
Comparison-Based System-Level Fault Diagnosis in Ad Hoc Networks / S. Chessa ; P. Santi
Author Index
Message from the Symposium Chair
Message from the Program Chair
Conference Committee
8.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Simulation (TCSIM), ACM Special Interest Group on Simulation (SIGSIM), Society for Computer Simulation (SCS)
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xiv, 209 p. ; 28 cm
所蔵情報: loading…
9.

図書

図書
editors, M. Guizani and X. Shen
出版情報: Anaheim, CA : IASTED/ACTA Press, c2000  2 v. (vi, 826 p.) ; 28 cm
所蔵情報: loading…
10.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Distributed Processing ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xii, 448 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Message from the Program Chair
Conference Organizers
Program Committee
Introduction / Ian Foster ; William Johnston
Application Study
Adaptable Mirroring in Cluster Servers / A. Gavrilovska ; K. Schwan ; V. Oleson
Studying Protein Folding on the Grid: Experiences Using CHARMM on NPACI Resources under Legion / A. Natrajan ; M. Crowley ; N. Wilkins-Diehr ; M. Humphrey ; A. Fox ; A. Grimshaw ; C. Brooks, III
A CORBA-Based Development Environment for Wrapping and Coupling Legacy Scientific Codes / G. Follen ; C. Kim ; I. Lopez ; J. Sang ; S. Townsend
Grid Middleware
Middleware Support for Global Access to Integrated Computational Collaboratories / V. Mann ; M. Parashar
PAWS: Collective Interactions and Data Transfers / K. Keahey ; P. Fasel ; S. Mniszewski
Condor-G: A Computation Management Agent for Multi-Institutional Grids / J. Frey ; T. Tannenbaum ; M. Livny ; I. Foster ; S. Tuecke
Management of Large Datasets
Models for Replica Synchronisation and Consistency in a Data Grid / D. Dullmann ; W. Hoschek ; J. Jaen-Martinez ; B. Segal ; A. Samar ; H. Stockinger ; K. Stockinger
File and Object Replication in Data Grids / B. Allcock ; K. Holtman ; B. Tierney
Distributed Data Access and Resource Management in the D0 SAM System / I. Terekhov ; R. Pordes ; V. White ; L. Lueking ; L. Carpenter ; H. Schellman ; J. Trumbo ; S. Veseli ; M. Vranicar ; S. White
Security
Security Implications of Typical Grid Computing Usage Scenarios / M. Thompson
An Online Credential Repository for the Grid: MyProxy / J. Novotny ; V. Welch
Network QoS
End-to-End Provision of Policy Information for Network QoS / V. Sander ; W. Adamson ; A. Roy
QoS-Aware Dependency Management for Component-Based Systems / Y. Cui ; K. Nahrstedt
Metascheduling Performance
Livelock Avoidance for Meta-Schedulers / J. Jardine ; Q. Snell ; M. Clement
Active Yellow Pages: A Pipelined Resource Management Architecture for Wide-Area Network Computing / D. Royo ; N. Kapadia ; J. Fortes ; L. Diaz de Cerio
A Case for TCP Vegas in High-Performance Computational Grids / E. Weigle ; W-C. Feng
Resource Discovery
Evaluation of a Resource Selection Mechanism for Complex Network Services / J. Lopez ; D. O'Hallaron
Grid Information Services for Distributed Resource Sharing / K. Czajkowski ; S. Fitzgerald ; C. Kesselman
Location Selection for Active Services / R. Karrer ; T. Gross
Problem Solving Environments
The Astrophysics Simulation Collaboratory Portal: A Science Portal Enabling Community Software Development / M. Russell ; G. Allen ; G. Daues ; E. Seidel ; J. Shalf ; G. von Laszewski
The GridPort Toolkit: A System for Building Grid Portals / M. Thomas ; S. Mock ; M. Dahan ; K. Mueller ; D. Sutton ; J. Boisseau
Open Data Management Solutions for Problem Solving Environments: Application of Distributed Authoring and Versioning to the Extensible Computational Chemistry Environment / K. Schuchardt ; J. Myers ; E. Stephan
Support for Network Applications
Bandwidth Monitoring for Network-Aware Applications / J. Bolliger
The Architecture of the Remos System / P. Dinda ; B. Lowekamp ; N. Miller ; P. Steenkiste ; D. Sutherland
Reducing Delay with Dynamic Selection of Compression Formats / C. Krintz ; B. Calder
Networking Monitoring
Enabling Network-Aware Applications / D. Gunter ; J. Lee ; M. Stoufer ; J. Evans
Network Characterization Service (NCS) / G. Jin ; G. Yang ; B. Crowley ; D. Agarwal
Optimizing Performance
Cooperative Caching Middleware for Cluster-Based Servers / F. Cuenca-Acuna ; T. Nguyen
NAS Grid Benchmarks: A Tool for Grid Space Exploration / M. Frumkin ; R. Van der Wijngaart
High Performance I/O and File System
The Kangaroo Approach to Data Movement on the Grid / D. Thain ; J. Basney ; S-C. Son
The PUNCH Virtual File System: Seamless Access to Decentralized Storage Services in a Computational Grid / R. Figueiredo
Parallel and Distributed Algorithms
Wide-Area Transposition-Driven Scheduling / J. Romein ; H. Bal
Parallel Retrograde Analysis on Different Architecture / R. Wu ; D. Beal
Massively Parallel Distributed Feature Extraction in Textual Data Mining Using HDDI / J. Kuntraruk ; W. Pottenger
Open Metadata Formats: Efficient XML-Based Communication for High Performance Computing / P. Widener ; G. Eisenhauer
Application Scheduling
Online Prediction of the Running Time of Tasks
Multi-Resolution Resource Behaviour Queries Using Wavelets / J. Skicewicz ; J. Schopf
A Study of Deadline Scheduling for Client-Server Systems on the Computational Grid / A. Takefusa ; H. Casanova ; S. Matsouka ; F. Berman
Practical Resource Management for Grid-Based Visual Exploration / A. Demir ; M. Thiebaux
Poster Session
A Metadebugger Prototype for the HARNESS Metacomputing Framework / R. Lovas ; V. Sunderam
Nomadic Migration: A New Tool for Dynamic Grid Computing / G. Lanfermann ; T. Radke
Interfacing Parallel Jobs to Process Managers / B. Toonen ; D. Ashton ; E. Lusk ; W. Gropp ; E. Gabriel ; R. Butler ; N. Karonis
Dynamic Replica Management in the Service Grid / B-D. Lee ; J. Weissman
Efficient Techniques for Distributed Computing / T. Dramlitsch
The Active Streams Approach to Adaptive Distrubuted Systems / F. Bustamante
Overview of Security Considerations for Computational and Data Grids / W. Johnston ; K. Jackson ; S. Talwar
Applying Grid Technologies to Bioinformatics / M. Karo
The Logistical Session Layer / M. Swany ; R. Wolski
Author Index
HPDC-11 Call for Papers
Message from the General Chair
Message from the Program Chair
Conference Organizers
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼