PDPTA 1999: Las Vegas, Nevada, USA - Volume 2

Real-Time Systems

• Seung-Jin Moon, Dong-Ik Oh, Doo-Soon Park, S. H. Lee, I. G. Chun: Real-Time Parallel Processing For Nested Transactions. 579-585 BibTeX
• Inhye Kang: TREAT: Timed REachability Analysis Tool. 586-591 BibTeX
• Moon-hae Kim, Jung-Guk Kim: An Environment for Real-Time Simulation Based on the TMO Model. 592-598 BibTeX
• Hassan Aljifri, Alexander P. Pons, Moiez A. Tapia: Using Pipeline for Tight Estimation of Worst-Case Execution Time in a Real-Time System. 599-605 BibTeX
• Mário de Sousa, Adriano Carvalho: Synchronisation Issues of RT CORBA Threads. 606-612 BibTeX

Techniques and Tools for Parallel and Distributed Program Development and Run-Time Support

• Christoph W. Keßler: NestStep: Nested Parallelism and Virtual Memory for the BSP Model. 613-619 BibTeX
• Sergi Girona, Jesús Labarta: Sensitivity of Performance Prediction of Message Passing Programs. 620-626 BibTeX
• Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca: Reducing Parallel Program Simulation Complexity by Static Analysis. 627-633 BibTeX
• Perry Fizzano, Steven Swanson: General Techniques for Multithreading Algorithms. 634-640 BibTeX
• Dieter Kranzlmüller, Jochen Messner, Christian Schaubschläger: "Good Enough" Testing of Nondeterministic Parallel Programs. 641-646 BibTeX

Distributed Processing Systems and Applications

• Hyung-Hwan Kim, Boo-Geum Jung, Eun-Hyang Lee, Dong-Sun Lim, Yoon Yong Park: The UNIX Kernel Performance Observation Tool on Internet. 647-652 BibTeX
• Dong C. Shin: A Concurrency Control Algorithm to Ensure Consistency for Global Applications in Distributed Multidatabase Systems. 653-659 BibTeX
• Ki-Yeol Ryu, Han-Soo Lee, Jung-Tae Lee, Seong Yong Ohm: Implementation of a Group Object Model in CORBA. 660-665 BibTeX
• Seung-Jin Sul, Keum-Suk Lee: Agent-On-Demand for Distributed System Management. 666-671 BibTeX
• Julien Bourgeois, François Spies, Michel Tréhel: Performance Prediction of Distributed Applications Running on Network of Workstations. 672-678 BibTeX
• T. Deshani Rodrigo: The Evolution of Simulation in Network Centric Systems. 679-683 BibTeX
• Samar Mouchawrab, Jocelyn Desbiens: Real-Time Causal Order with Varible Message Lifetime. 684-690 BibTeX
• Delbert Hart, Eileen Kraemer: Agent Roles in Snapshot Assembly. 691-697 BibTeX
• Hae-Kyung Rhee, Ung-Mo Kim: Transaction Length-Sensitive Scheme for Livelock-Thin Scheduling. 698-704 BibTeX
• Soeren Olesen, Vaidy S. Sunderam: Computation and I/O Benchmarks on Networks of Workstations. 705-708 BibTeX
• Vincent Boudet, Fabrice Rastello, Yves Robert: A Proposal for a Heterogeneous Cluster ScaLAPACK (Dense Linear Solvers). 709-712 BibTeX
• Rodrigo Mendoza, Efren D. Gutierrez, David H. Williams: A Unix Distributed Shared Memory System. 713-717 BibTeX
• Darshan Thaker, Vipin Chaudhary, Guy Edjlali, Sumit Roy: Cost-Performance Evaluation of SMP Clusters. 718-724 BibTeX
• Sau-Koon Ng, Kwok-Wai Cheung: Protecting Mobile Agents Against Malicious Hosts by Intention Spreading. 725-729 BibTeX
• Mauro Migliardi, Vaidy S. Sunderam: Distributed, Reconfigurable Simulation in Harness. 730-736 BibTeX
• Indra A. Tjandra, Jinxia Wang: Modeling Distributed Systems with Assembly Line Pattern and CCS. 737-743 BibTeX
• Manuel E. Acacio, José M. García, Pedro E. López-de-Teruel: A Performance Evaluation of P-EDR in Different Parallel Environments. 744-750 BibTeX
• Christian Kreiner, Christian Steger, Reinhold Weiss: Combining Different Models of Computation for Cosimulation of Heterogeneous Systems. 751-757 BibTeX
• Kyeong-Deok Moon, Jun-Hee Park, Tae-Geun Kim, Kyung-Hee Choi: Implementing the Scalable PC Clustering System. 758-764 BibTeX
• Young-Sung Son, Oh-Young Kwon, Tae-Geun Kim, Sung-Soon Park: A High Performance VOD Server and its I/O Scheme on PC-Clustering Environment. 765-771 BibTeX
• Toni Cortes, Jesús Labarta: HRaid: A Flexible Storage-system Simulator. 772-778 BibTeX
• Benoît Planquelle, Jean-François Méhaut, Nathalie Revol: MC-PM²: Multi-Cluster Approach With PM². 779-785 BibTeX
• Anirudh Modi, Lyle N. Long, Robert P. Hansen: Unsteady Separated Flow Simulations Using a Cluster of Workstations. 786-792 BibTeX
• Omar Rafiq, Leo Cacciari, Mohammed Benattou: Coordination Issues in Distributed Testing. 793-799 BibTeX
• Marie-Claude Pellegrini, Michel Riveill: Dynamic Architecture Management of Component Based Applications. 800-806 BibTeX
• Harold Castro, Sandra Castañeda: A Parallel File System for a Virtual Parallel Machine. 807-813 BibTeX
• Xianghui Xie, Chengde Han: Adjusting Single-/Multi-writer to False Sharing in Software DSMs. 814-820 BibTeX
• Benny Wang-Leung Cheung, Cho-Li Wang, Kai Hwang: A Migrating-Home Protocol for Implementing Scope Consistency Model on a Cluster of Workstations. 821-828 BibTeX

Web-based Applications and Systems

• Steve Lawrence, C. Lee Giles: Text and Image Metasearch on the Web. 829-835 BibTeX
• Kun-Lung Wu, Philip S. Yu: Replication Issues on Proxy Cache Array. 836-842 BibTeX
• Tyng-Ruey Chuang, Daoming Chen: Distributed Middle-tier: A Programming Model for Web-based Scalable Java Computing. 843-849 BibTeX
• Tainchi Lu, Chungnan Lee, Wenyang Hsia: Design of Web-Based Distributed Simulation Using HLA. 850-856 BibTeX
• Kevin Ying, David M. Arnow, Dayton Clark: Evaluating Communication Protocols for WebComputing. 857-868 BibTeX
• Nick Antonopoulos, Alexander V. Shafarenko: A Massively Aliasing System for Support of Agent-based Internet Computing. 869-875 BibTeX
• Debra Tang, Feng Wang, Xiaoyuan He: A Fine-Grained, Detailed, Synchronized Measurement Toolkit for Web Client-Server Performance. 876-882 BibTeX
• Chun-Mok Chung, Pil-Sup Shin, Shin-Dug Kim: A Java Internet Computing Platform via Communication Libraries. 883-889 BibTeX
• Hongxia Jin, Gregory F. Sullivan, Gerald M. Masson: Run-time Result Certification for Distributed Computations. 890-895 BibTeX
• Peter Stañski: The Architecture of the PESOS Browser Server. 896-901 BibTeX
• John P. Morrison, David A. Power, James J. Kennedy: A Condensed Graphs Engine to Drive Metacomputing. 902-908 BibTeX
• Hans-Peter Dommel, J. J. Garcia-Luna-Aceves: Multisites Coordination in Shared Multicast Trees. 909-915 BibTeX
• Thomas J. Downar, Rudolf Eigenmann, José A. B. Fortes: Issues and Approaches in Parallel Multi-Component and Multi-Physics Simulations. 916-922 BibTeX
• Daniel Andresen, Tao Yang: SWEB++: Algorithms and Techniques for Distributed Scheduling on WWW Servers. 923-929 BibTeX
• Amin Vahdat: Toward Wide-Area Resource Allocation. 930-936 BibTeX

High-speed Networks and Mobile Computing

• Safiullah Faizullah, Arshad Shaikh: A Feedback-Based UPC-Parameters Renegotiation Strategy. 937-943 BibTeX
• Khaja Qutubudin, Daniel J. Pease: Parallel Processing of Robotics Inverse Dynamics Computational Tasks of a Two-Rotational-Link Robot. 944-948 BibTeX
• Ezzat S. Atieh, Mustafa M. Matalgah, Mohsen Guizani: Calculating Buffer Requirements & Access Time for ABR & VBR ATM Traffic: Shared Approach. 949-954 BibTeX
• Ezzat S. Atieh, Mustafa M. Matalgah, Mohsen Guizani: Calculating Buffer Requirements & Access Time for ABR & VBR ATM Traffic: Dedicated Approach. 955-962 BibTeX
• IlYoung Chung, JongMin Lee, Chong-Sun Hwang: Transaction Processing using Asynchronous Broadcasting in Mobile Client-Server Databases. 963-969 BibTeX
• Shigeaki Tagashira, O. Yasuda, Keizo Saisho, Akira Fukuda: A Cache System of Location Dependent Data for a Mobile Computer with Mobility Specification. 970-976 BibTeX
• Kenya Sato, Keizo Saisho, Akira Fukuda: A Cache System of Location Dependent Data for a Mobile Computer with Mobility Specification. 977-983 BibTeX
• Kohei Yoshikawa, Heiichi Yamamoto: Whole Data Visualization by Similarity Degree for Mobile and Adaptive Information Retrieval. 984-990 BibTeX
• Yukikazu Nakamoto, Kazutoshi Usui, Yosharu Asakura: An Implementation of Hybrid System Integrating the Java Runtime Environment and a Real-time OS. 991-997 BibTeX
• Kazuhiro Aoki, Hiroshi Ishii, Souichi Miyata, Hiroaki Nishikawa: Super-Integrated Data-Driven Processor for TINA-kTn Protocol Handling. 998-1004 BibTeX
• Salim Omar, Thomas Kunz: Reducing Power Consumption and Increasing Application Performances for PDAs through Mobile Code. 1005-1011 BibTeX
• Stefania Gnesi, Laura Semini: Implementation of Coordination Primitives in a Mobile Architecture. 1012-1018 BibTeX
• SungSuk Kim, Soon Young Jung, Chong-Sun Hwang: Optimistic Concurrency Control Algorithms Based on Recording in Mobile Computing Environments. 1019-1025 BibTeX
• KwonWoo Yang, Joon-Min Gil, Kibom Kim, Chong-Sun Hwang: Movement Locality-Based Location Tracking Strategy Reducing Location Management Cost in Mobile Computing Systems. 1026-1032 BibTeX

Current Limits to Automated Verification for Distributed Systems

• S. J. Creese, A. W. Roscoe: Formal Verification of Arbitrary Network Topologies. 1033-1039 BibTeX
• Stefania Gnesi, Franco Mazzanti: On the Fly Verification of Network of Automata. 1040-1046 BibTeX
• Constance L. Heitmeyer: Formal Methods for Developing Software Specifications: Paths to Wider Usage. 1047-1053 BibTeX
• Somesh Jha, Doron Peled: Generalized Stuttering Equivalence. 1054-1060 BibTeX
• Carl Pixley, Kurt Shultz, Jun Yuan: Integrated Formal and Informal Design Verification of Commercial Integrated Circuits. 1061-1068 BibTeX

Qualtiy of Service in High-Performance Distributed Systems

• Michael Katchabaw, Hanan Lutfiyya, Michael A. Bauer: Using User Hints to Guide Resource Management for Quality of Service. 1069-1075 BibTeX
• Surjamukhi Chatterjea, Edwin K. P. Chong, Howard Jay Siegel, Steven Jones, I-Jeng Wang, Michael Jurczyk: Quality of Service Attributes in a Hierarchical System for Global Information Dissemination: A Preliminary Study. 1076-1082 BibTeX
• Ming Hou, Hussein T. Mouftah: Design and Implementation of a Simulation Tool for QoS Management Over the Internet. 1083-1089 BibTeX
• Muthucumaru Maheswaran: Quality of Service Driven Resource Management Algorithms for Network Computing. 1090-1096 BibTeX

Engineering and Hardware/Software Objects

• Jürgen Teich, Sándor P. Fekete, Jörg Schepers: Compile-time Optimization of Dynamic Hardware Reconfigurations. 1097-1103 BibTeX
• Kiran Bondalapati, Viktor K. Prasanna: Hardware Object Selection for Mapping Loops onto Reconfigurable Architectures. 1104-1110 BibTeX
• Jack S. N. Jean, Xuejun Liang, Karen A. Tomko: Data Buffering and Allocation in Mapping Generalized Template Matching on Reconfigurable Systems. 1111-1117 BibTeX
• Chang N. Zhang, Ming Y. Deng, Ralph Mason: A VLSI Programmable Cellular Automata Array for Multiplication in GF (2ⁿ). 1118-1123 BibTeX
• Pong P. Chu, Robert E. Jones: Reconfigurable FPGA for Network Performance Evaluation. 1124-1130 BibTeX
• Toomas P. Plaks, Oswaldo Cadenas, Graham M. Megson: Experiences Using Reconfigurable FPGAs in Implementing Monte-Carlo Methods. 1131-1137 BibTeX
• Alistair McEwan, Jonathan Saul, Andrew Bailey: A High Speed Reconfigurable Firewall Based on Parameterization FPGA-Based Content Addressable Memories. 1138-1144 BibTeX