Enriched View Synchrony: A Programming Paradigm for Partitionable Asynchronous Distributed Systems (English)
- New search for: Babaoglu, O.
- New search for: Bartoli, A.
- New search for: Dini, G.
- New search for: Babaoglu, O.
- New search for: Bartoli, A.
- New search for: Dini, G.
In:
Distributed computing systems
6
;
642-658
;
1996
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Enriched View Synchrony: A Programming Paradigm for Partitionable Asynchronous Distributed Systems
-
Contributors:Babaoglu, O. ( author ) / Bartoli, A. ( author ) / Dini, G. ( author ) / IEEE; Computer Society; Technical Committee on Distributed Processing
-
Conference:International conference; 16th, Distributed computing systems ; 1996 ; Hong Kong
-
Published in:Distributed computing systems , 6 ; 642-658IEEE TRANSACTIONS ON COMPUTERS C ; 46, 6 ; 642-658
-
Publisher:
- New search for: IEEE Computer Society Press
-
Publication date:1996-01-01
-
Size:17 pages
-
Remarks:See also 4538.7789 16th 1996 for papers
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
On Programming with View SynchronyBabaoglu, O. / Bartoli, A. / Dini, G. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 11
-
Sentries for the Execution of Concurrent ProgramsChodrow, S. E. / Gouda, M. G. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 19
-
Fault-Tolerant File Transmission by Information Dispersal Algorithm in Rotator GraphsHamada, Y. / Bao, F. / Mei, A. / Igarashi, Y. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 26
-
Atomic Recovery Units: Failure Atomicity for Logical DisksGrimm, R. / Hsieh, W. C. / Kaashoek, M. F. / De Jonge, W. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 38
-
Synchronization Protocols in Distributed Real-Time SystemsSun, J. / Liu, J. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 46
-
An Extended Network Scheduling ModelMing, L. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 47
-
Monotone Response-Time Derivation for Distributed Execution of Rule-Based ProgramsWang, R.-H. / Mok, A. K. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 55
-
Real-Time Scheduling Using Compact Task GraphsGupta, R. / Mosse, D. / Suchoza, R. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 64
-
The Performance Value of Shared Network Caches in Clustered Multiprocessor WorkstationsBennett, J. K. / Fletcher, K. E. / Speight, W. E. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 75
-
Supporting a Flexible Parallel Programming Model on a Network of WorkstationsHuang, S.-C. / Kedem, Z. M. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 83
-
A Framework for Customizing Coherence Protocols of Distributed File CachesUehara, K. / Inohara, S. / Miyazawa, H. / Yamamoto, K. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 91
-
The Relative Importance of Concurrent Writers and Weak Consistency ModelsKeleher, P. J. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 100
-
A Low-Overhead Recovery Technique Using Quasi-Synchronous CheckpointingManivannan, D. / Singhal, M. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 108
-
How to Recover Efficiently and Asynchronously when Optimism FailsDamani, O. P. / Garg, V. K. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 116
-
Implementation of Recoverable Distributed Shared Memory by Logging WritesKanthadai, S. / Welch, J. L. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 125
-
Meeting Delay Requirements in Computer Networks with Wormhole RoutingChen, B. / Li, H. / Zhao, W. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 133
-
Multiplexing Statistical Real-Time Channels in Multi-Access NetworkChou, C.-C. / Shin, K. G. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 141
-
Integrating Routing and Resource Reservation Mechanisms in Real-Time Multicast ProtocolsMurata, S. / Shionozaki, A. / Tokoro, M. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 150
-
Combined Routing and Scheduling of Concurrent Communication Traffic in Hypercube MulticomputersTsai, B.-R. / Shin, K. G. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 158
-
Parallel Simulation of Mesh Routing AlgorithmsRahman, S. / Das, C. R. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 166
-
Reliable Communication in Cube-Based Multicomputers Using Safety VectorsWu, J. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 175
-
Specializing Object-Oriented RPC for Functionality and PerformanceZelesko, M. J. / Cheriton, D. R. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 188
-
Communication Compilation for Unreliable NetworksIslam, N. / Dave, A. / Campbell, R. H. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 196
-
Using Projection Aggregations to Support Scalability in Distributed SimulationSinghal, S. K. / Cheriton, D. R. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 208
-
Dynamic Scheduling Strategies for Shared-Memory MultiprocessorsHamidzadeh, B. / Lilja, D. J. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 216
-
On-Line Avoidance of the Intrusive Effects of Monitoring on Runtime Scheduling DecisionsWu, W. / Spezialetti, M. / Gupta, R. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 224
-
An Adaptive Job Allocation Method for Multicomputer SystemsChang, C.-Y. / Mohapatra, P. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 233
-
Hardware Supports for Efficient Barrier Synchronization on 2-D Mesh NetworksYang, J.-S. / King, C.-T. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 241
-
Multi-Dimensional Locks with On-Line Allocation SchemesScheerer, D. / Schenfeld, E. / Viredaz, M. A. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 249
-
Fault-Tolerant Clock Synchronization of Large Multicomputers via Multistep Interactive ConvergenceMoraes de Azevedo, M. / Blough, D. M. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 261
-
Verifiable Transaction Atomicity for Electronic Payment ProtocolsTang, L. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 270
-
Making Trust Explicit in Distributed Commerce TransactionsKetchpel, S. P. / Garcia-Molina, H. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 282
-
Hidden Software CapabilitiesHagimont, D. / Mossiere, J. / Rousset de Pina, X. / Saunier, F. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 290
-
A Semi-Automated Verification Method for Communication Protocols Modeled as 2-ECFSMsHiguchi, M. / Sano, J. / Hara, K. / Fujii, M. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 299
-
Network Architecture for Mobile and Wireless ATMAgrawal, P. / Mishra, P. P. / Srivastava, M. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 311
-
General Connection Rerouting Method for Various Connection-Oriented Mobile Communication NetworksSong, M. / Choi, Y. / Kim, C. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 319
-
Route Optimization and Location Updates for Mobile HostsChen, W. / Lin, E. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 327
-
To Send or Not to Send: Implementing Deferred Transmissions in a Mobile HostBadrinath, B. R. / Sudame, P. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 335
-
A Generic Protocol for Multipoint Connections under Link-State RoutingHuang, Y. / McKinley, P. K. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 344
-
Group Routing without Group Routing TablesCobb, J. A. / Gouda, M. G. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 352
-
Distance Routing on Series Parallel NetworksFlocchini, P. / Luccio, F. L. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 360
-
Structured Design of Communication ProtocolsSingh, G. / Mao, Z. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 369
-
A Scalable Technique for Implementing Multiple Consistency Levels for Distributed ObjectsKordale, R. M. / Ahamad, M. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 377
-
Method-Induced Partitioning Schemes for Object-Oriented DatabasesKarlapalem, K. / Li, Q. / Vieweg, S. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 385
-
Data Mining for Path Traversal Patterns in a Web EnvironmentChen, M. S. / Park, J. S. / Yu, P. S. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 394
-
Larchant: Persistence by Reachability in Distributed Shared Memory through Garbage CollectionFerreira, P. / Shapiro, M. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 402
-
Conservative Garbage Collection on Distributed Shared Memory SystemsYu, W. / Cox, A. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 411
-
Semantics for Parameter Passing in a Type-Complete Persistent RPCMira da Silva, M. / Atkinson, M. P. / Black, A. P. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 420
-
Group Communication for Upgrading Distributed ProgramsHigaki, K. / Hirakawa, Y. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 428
-
Portable and Scalable Algorithms for Irregular All-to-All CommunicationLiu, W. / Wang, C. L. / Prasanna, V. K. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 436
-
An Evaluation of the Amoeba Group Communication SystemKaashoek, M. F. / Tanenbaum, A. S. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 449
-
Scaling Heterogeneous Databases and the Design of DiscoTomasic, A. / Raschid, L. / Valduriez, P. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 458
-
Differential Evaluation of Continual QueriesLiu, L. / Pu, C. / Barga, R. / Zhou, T. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 466
-
Query Execution Strategies for Missing Data in Distributed Heterogeneous Object DatabasesKoh, J.-L. / Chen, A. L. P. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 475
-
Strong Interaction Fairness via RandomizationJoung, Y.-J. / Smolka, S. A. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 484
-
A Wait-Free Algorithm for Optimistic Programming: HOPE RealizedCowan, C. / Lutfiyya, H. L. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 494
-
Evaluation of a Distributed Single Address Space Operating SystemWilkinson, T. / Murray, K. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 503
-
Totally Ordered Multicast in Large-Scale SystemsRodrigues, L. E. T. / Fonseca, H. / Verissimo, P. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 511
-
Reservation-Based Totally Ordered MulticastingChen, X. / Moser, L. E. / Melliar-Smith, P. M. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 520
-
Energy Efficient Filtering of Nonuniform BroadcastTan, K.-L. / Yu, J. X. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 529
-
Object Migration in Non-Monolithic Distributed ApplicationsCiupke, O. / Kottmann, D. A. / Walter, H.-D. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 537
-
Theoretical and Empirical Results on Dynamic Load Balancing in an Object-Based Distributed EnvironmentGolubski, W. / Lammers, D. / Lippe, W. M. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 545
-
Exception Handling and Resolution in Distributed Object-Oriented SystemsRomanovsky, A. / Xu, J. / Randell, B. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 554
-
Performance Comparison of Process Migration with Remote Process Creation Mechanisms in RHODOSDe Paoli, D. / Goscinski, A. / Hobbs, M. / Joyce, P. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 562
-
A Simulation-Based Evaluation of a Disk I/O Subsystem for a Massively Parallel Computer: Jump-lNakajo, H. / Ohtani, S. / Kaneda, Y. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 570
-
A Multi-Level Explicit Rate Control Scheme for ABR Traffic with Heterogeneous Service RequirementsLiebeherr, J. / Akyildiz, I. F. / Tai, A. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 579
-
Distributed Application ConfigurationBellissard, L. / Atallah, S. B. / Boyer, F. / Riveill, M. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 586
-
Aster: A Framework for Sound Customization of Distributed Runtime SystemsIssarny, V. / Bidan, C. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 594
-
An Embeddable and Extendable Language for Large-Scale Programming on the InternetBecker, P. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 605
-
Deadlock Detection by Fair Reachability Analysis: From Cyclic to Multi-Cyclic Protocols (and Beyond?)Liu, H. / Miller, R. E. / Van der Schoot, H. / Ural, H. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 613
-
Optimal Deadlock Detection in Distributed Systems Based on Locally Constructed Wait-for GraphsChen, S. / Deng, Y. / Attie, P. / Sun, W. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 620
-
Distributed Priority Queues on Hypercube ArchitecturesDas, S. K. / Sarkar, F. / Pinotti, M. C. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 629
-
An Adaptive Load Balancing Algorithm for Heterogeneuous Distributed Systems with Multiple Task ClassesLu, C. / Lau, S. M. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 637
-
Fast Dynamic Process MigrationRousch, E. T. / Campbell, R. H. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 642
-
Enriched View Synchrony: A Programming Paradigm for Partitionable Asynchronous Distributed SystemsBabaoglu, O. / Bartoli, A. / Dini, G. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 646
-
Dynamic Resource Migration for Multiparty Real-Time CommunicationBettati, R. / Gupta, A. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 657
-
A Tool for Massively Replicating Internet Archives: Design, Implementation, and ExperienceObraczka, K. / Danzig, P. / DeLucia, D. / Tsai, E.-Y. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 657
-
A tool for massiveley replicating internet archives: design, implementation, and experienceObraczka, K. / Danzig, P. / DeLucis, D. / Tsai, E.Y. et al. | 1996
- 659
-
The Request Reply Family of Group Routing ProtocolsCobb, J. A. / Gouda, M. G. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 665
-
A Distributed Web Server and Its Performance Analysis on Multiple PlatformsLiu, Y. H. / Dantzig, P. / Wu, C. E. / Challenger, J. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 673
-
The DBC: Processing Scientific Data Over the InternetChen, C. / Salem, K. / Livny, M. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 673
-
Class Library Support for Workflow Environments and ApplicationsPapazoglou, M. / Delis, A. / Bouguettaya, A. / Haghjoo, M. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 683
-
Context Management and Its Applications to Distributed TransactionsSamaras, G. / Kshemkalyani, A. D. / Citron, A. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 692
-
Reducing the Cost for Non-Blocking in Atomic CommitmentGuerraoui, R. / Larrea, M. / Schiper, A. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 698
-
Language Support for Long-Lived Concurrent ActivitiesPapazoglou, M. P. / Delis, A. / Haghjoo, M. / Bouguettaya, A. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 707
-
Robust Distributed Mutual ExclusionChoy, M. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 708
-
Lock-Based Self-Stabilizing Distributed Mutual Exclusion AlgorithmsMizuno, M. / Nesterenko, M. / Kakugawa, H. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 717
-
A New Token Passing Distributed Mutual Exclusion AlgorithmBanerjee, S. / Chrysanthis, P. K. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 726
-
An Approach for Constructing Mobile Applications Using Service ProxiesHokimoto, A. / Kurihara, K. / Nakajima, T. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 734
-
A Snapshot Algorithm for Distributed Mobile SystemsSato, Y. / Inoue, M. / Masuzawa, T. / Fujiwara, H. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- 744
-
An Efficient Causal Ordering Algorithm for Mobile Computing EnvironmentsPrakash, R. / Raynal, M. / Singhal, M. / IEEE; Computer Society; Technical Committee on Distributed Processing et al. | 1996
- i
-
Proceedings of 16th International Conference on Distributed Computing Systems| 1996