


default search action
12th ICDCS 1992: Yokohama, Japan
- Proceedings of the 12th International Conference on Distributed Computing Systems, Yokohama, Japan, June 9-12, 1992. IEEE Computer Society 1992, ISBN 0-8186-2865-0

Communication Architectures
- Keith Shafer, Mohan Ahuja:

Process-Channelagent-Process Model of Asynchronous Distributed Communication. 4-11 - Christopher J. Glass, Lionel M. Ni:

Adaptive Routing in Mesh-Connected Networks. 12-19 - Ashwini K. Nanda, Doug DeGroot, Daniel L. Stenger:

Scheduling Directed Task Graphs on Multiprocessors Using Simulated Annealing. 20-27
Task Scheduling
- Chansu Yu, Chita R. Das:

Multitasking in Multistage Interconnection Network Machines. 30-37 - Bing-rung Tsai, Kang G. Shin:

Communication-Oriented Assignment of Task Modules in Hypercube Multicomputers. 38-45 - Srinivas Ramanathan, P. Venkat Rangan, Harrick M. Vin, Thomas Kaeppner:

Optimal Communication Architectures for Multimedia Conferencing in Distributed Systems. 46-53
Transaction Models
- Sharad Mehrotra, Rajeev Rastogi, Henry F. Korth, Abraham Silberschatz:

A Transaction Model for Multidatabase Systems. 56-63 - Leana Golubchik, Alexander Thomasian:

Token Allocation in Distributed Systems. 64-71 - Raj Kumar Batra, Marek Rusinkiewicz, Dimitrios Georgakopoulos

:
A Decentralized Deadlock-Free Concurrency Control Method for Multidatabase Transactions. 72-79
Protocol Specification
- Junguk L. Kim, Jyh-Charn Liu, Ying Hao:

An All-Sharing Load Balancing Protocol in Distributed Systems on the CSMA/CD Local Area Network. 82-89 - Takeshi Yoneda, Joung-Hoon Lim, Tatsuo Sato, Yutaka Matsushita:

A New Communication Tool: Time Dependent Multimedia Document. 90-97 - Avraham Leff, Philip S. Yu:

A Comparison of Regression-Based Load Sharing Strategies for Distributed Database Environments. 98-107
Synchronization
- Debra A. Hensgen, Philip A. Wilsey:

MINITABS: Early Experiences with a New Paradigm for Programming SIMD Computers. 110-117 - Hong Xu, Philip K. McKinley, Lionel M. Ni:

Efficient Implementation of Barrier Synchronization in Wormhole-Routed Hypercube Multicomputers. 118-125 - Tai-Kuo Woo, Richard E. Newman-Wolfe:

Huffman Trees as a Basis for a Dynamic Mutual Exclusion Algorithm for Distributed Systems. 126-133
Concurrency Control
- Özgür Ulusoy

, Geneva G. Belford:
Real-Time Lock-Based Concurrency Control in Distributed Database Systems. 136-143 - Sang Hyuk Son, Spiros Kouloumbis:

Replication Control for Distributed Real-Time Database Systems. 144-151 - S. Ben-Hassen, Marek Rusinkiewicz:

On Serializability of Distributed Nested Transactions. 152-159 - Peter A. Franaszek, Jayant R. Haritsa, John T. Robinson, Alexander Thomasian:

Distributed Concurrency Control with Limited Wait-Depth. 160-167
Communication Protocols
- Fumio Teraoka, Kimberly C. Claffy

, Mario Tokoro:
Design, Implementation, and Evaluation of Virtual Internet Protocol. 170-177 - Akihito Nakamura, Makoto Takizawa

:
Priority-Based Total and Semi-Total Ordering Broadcast Protocols. 178-185 - Jörg Liebeherr, Ian F. Akyildiz:

A Highly Adaptive Media Access Protocol for Dual Bus Metropolitan Area Networks. 186-193 - K. Ravindran, M. Sankhla:

Multicast Models and Routing Algorithms for High Speed Multi-Service Networks. 194-201
Fault Tolerant Interconnection Networks
- Imadeldin O. Mahgoub

:
Reliability of Cluster-Based Multiprocessor Systems. 204-209 - Tarek A. El-Ghazawi, Abdou Youssef:

A Unified Approach to Fault-Tolerant Routing. 210-217 - Kemal Efe:

Reconfigurable Cube Architecture for Parallel Computation. 218-225 - N. K. Sharma, Fadi N. Sibai

, Abdullah A. Abonamah:
A Simulation Analysis of Faults and Conflicts in a Multicast-Connected Multi-Path Cube-Based Network. 226-233
Protocol Testing
- Reinhard Gotzhein:

On Conformance in the Context of Open Systems. 236-243 - Abderrazak Ghedamsi, Gregor von Bochmann:

Test Result Analysis and Diagnostics for Finite State Machines. 244-251 - Chang-Jia Wang, Ming T. Liu:

Axiomatic Test Sequence Generation for Extended Finite State Machines. 252-259 - Riccardo Sisto, Luigi Ciminiera, Adriano Valenzano:

Probabilistic Characterization of Algebraic Protocol Specifications. 260-268
Performance Evaluation
- Wei-lun Kao, Ravishankar K. Iyer:

A User-Oriented Synthetic Workload Generator. 270-277 - Halsur V. Sreekantaswamy, Samuel T. Chanson, Alan S. Wagner:

Performance Prediction Modeling of Multicomputers. 278-285 - S. P. Cheng, Sivarama P. Dandamudi:

Performance Analysis of a Hierarchical Task Queue Organization for Parallel Systems. 286-293 - Ahmed N. Tantawy, Asser N. Tantawi

, Dimitrios N. Serpanos:
An Adaptive Scheduling Scheme for Dynamic Service Time Allocation on a Shared Resource. 294-300
Database Reliability
- Jai Menon, Dick Mattson:

Performance of Disk Arrays in Transaction Processing Environments. 302-309 - C. Mohan, Inderpal Narang:

Data Base Recovery in Shared Disks and Client-Server Architectures. 310-317 - Thomas J. E. Schwarz, Walter A. Burkhard:

RAID Organization and Performance. 318-325
Protocol Conversion
- Mohammad Peyravian, Chin-Tau A. Lea:

An Algorithmic Method for Protocol Conversion. 328-335 - Phil Kearns, Tracy Camp, Mohan Ahuja:

An Implementation of Flush Channels Based on a Verification Methodology. 336-343 - Yow-Wei Yao, Ming T. Liu:

Constructing Protocol Converters from Service Specifications. 344-351
Modelling
- Alfred Taudes

:
How to Migrate Processes in Distributed Computing Systems: A Markov Team Approach. 354-361 - Hwa-Chun Lin, Cauligi S. Raghavendra:

An Analysis of the Join the Shortest Queue (JSQ) Policy. 362-366 - Guenter Klas:

Net Level Aggregation Using Nonlinear Optimization for the Solution of Hierarchical Generalized Stochastic Petri Nets. 367-374
Software Engineering Applied
- Lubomir Bic, John M. A. Roy, Mark Nagel:

Exploiting Iteration-Level Parallelism in Dataflow Programs. 376-381 - Christopher Black, Sol M. Shatz, S. Upp:

TQL: A Tasking Query Language for Concurrent Program Analysis. 382-389 - David D. H. Lin, Behrooz A. Shirazi, Krishna M. Kavi:

An Efficient Data Interface for Heterogeneous Distributed Environments. 390-397
File Replication
- Chengwen Liu, Clement T. Yu:

Validation and Performance Evaluation of the Partition and Replicate Algorithm. 400-407 - Raj Tewari, Nabil R. Adam:

Distributed File Allocation with Consistency Constraints. 408-415 - Shigeru Chiba, Kazuhiko Kato, Takeshi Masuda:

Exploiting a Weak Consistency to Implement Distributed Tuple Space. 416-423
Decentralized Protocols
- Ming-Syan Chen, Kun-Lung Wu, Philip S. Yu:

Efficient Decentralized Consensus Protocols in a Distributed Computing System. 426-433 - Hong Va Leong, Divyakant Agrawal:

Type-Specific Coherence Protocols for Distributed Shared Memory. 434-441 - James M. Conrad, Dharma P. Agrawal:

Distributed, Scalable, and Static Parallel Arc Consistency Algorithms on Private Memory Machines. 442-449
Real-Time Issues
- Riccardo Bettati, Jane W.-S. Liu:

End-to-End Scheduling to Meet Deadlines in Distributed Systems. 452-459 - Hermann Kopetz:

Sparse Time versus Dense Time in Distributed Real-Time Systems. 460-467 - Gopal Agrawal, Biao Chen, Wei Zhao, Sadegh Davari:

Guaranteeing Synchronous Message Deadlines with the Timed Token Protocol. 468-475
Software Engineering Theory
- Horst F. Wedde, Bogdan Korel, Dorota M. Huizinga:

Formal Analysis of Waiting Times for Distributed Real-time Processes. 478-485 - Jean-Michel Couvreur, Nissim Francez, Mohamed G. Gouda:

Asynchronous Unison (Extended Abstract). 486-493 - Gruia-Catalin Roman, C. Donald Wilcox, Jerome Y. Plun:

On Deriving Distributed Programs from Formal Specifications of Functional Requirements and Architectural Constraints. 494-501
System Design
- Girish Welling, B. R. Badrinath:

An Architecture of a Threaded Many-to-Many Remote Procedure Call. 504-511 - Peter Druschel, Larry L. Peterson, Norman C. Hutchinson:

Beyond Micro-Kernel Design: Decoupling Modularlty and Protection in Lipto. 512-520 - Matt Blaze, Rafael Alonso:

Dynamic Hierarchical Caching for Large-Scale Distributed File Systems. 521-528 - Marvin Theimer, David A. Nichols, Douglas B. Terry:

Delegation Through Access Control Programs. 529-536
Computer-Supported Cooperative Work
- Toyoko Ohmori, Kazutoshi Maeno, Shiro Sakata, Hideyuki Fukuoka, Kazuo Watabe:

Distributed Cooperative Control for Sharing Applications Based on Multiparty and Multimedia Desktop Conferencing System: MERMAID. 538-546 - David P. Anderson, Pamela Chan:

Comet: A Toolkit for Multiuser Audio/Video Applications. 555-562 - Paul M. Murray:

Leveraged Computing: A Task Distribution Protocol. 563-570
Naming
- Stuart Sechrest, Michael McClennen:

Blending Hierarchical and Attribute-Based File Naming. 572-580 - Nobuhisa Fujinami, Yasuhiko Yokote:

Naming and Addressing of Objects Without Unique Identifiers. 581-588 - Pradeep Kumar Sinha

, Mamoru Maekawa, Kentaro Shimizu:
Improving the Reliability of Name Resolution Mechanism in Distributed Operating Systems. 589-596
Distributed Cooperative Control
- K. Ravindran, B. Prasad:

Communication Structures and Paradigms for Distributed Conferencing Applications. 598-605 - Rajendra S. Yavatkar:

MCP: A Protocol for Coordination and Temporal Synchronization in Multimedia Collaborative Applications. 606-613 - Makoto Yokoo, Edmund H. Durfee

, Toru Ishida, Kazuhiro Kuwabara:
Distributed Constraint Satisfaction for Formalizing Distributed Problem Solving. 614-621
Fault Tolerant Algorithms
- Su-Chu Hsu, Shing-Tsaan Huang:

Analyzing Self-Stabilization with Finite-State Machine Model. 624-631 - Youran Lan:

Fault-Tolerant Multi-Destination Routing in Hypercube Multicomputers. 632-639 - Gagan Agrawal, Pankaj Jalote:

An Efficient Protocol for Voting In Distributed Systems. 640-647
Coteries
- Toshihide Ibaraki, Hiroshi Nagamochi, Tiko Kameda:

Optimal Coteries for Rings and Related Networks. 650-656 - Mitchell L. Neilsen, Masaaki Mizuno, Michel Raynal:

A General Method to Define Quorums. 657-664 - Amane Nakajima:

Using a Finite Projective Plane with a Duality for Decentralized Consensus Protocols. 665-672
Distributed Artificial Intelligence
- Omar Amyay, Guy Juanole, Stella Zwecker:

An Epistemic Logic Based Synthesis of Communication Services and Protocols. 674-681 - Mostafa Haghjoo, Mike P. Papazoglou

:
TrActorS: A Transactional Actor System for Distributed Query Processing. 682-689 - Mark P. Pearson, Partha Dasgupta:

A Distributed Lisp Programming System: Implementation and Usage. 690-697
Synchronization Algorithms
- Michel Raynal, Masaaki Mizuno, Mitchell L. Neilsen:

Synchronization and Concurrency Measures for Distributed Computations. 700-707 - Rivka Ladin, Barbara Liskov:

Garbage Collection of a Distributed Heap. 708-715 - Yih-Kuen Tsay, Rajive L. Bagrodia:

A Real-Time Algorithm for Fair Interprocess Synchronization. 716-723

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














