The Community for Technology Leaders
Proceedings of 1994 International Conference on Parallel and Distributed Systems (1994)
Hsinchu, Taiwan
Dec. 19, 1994 to Dec. 21, 1994
ISBN: 0-8186-6555-6
TABLE OF CONTENTS

Keynote Address: The Prospects For Architecture-independent Parallel Programming (PDF)

K. Kennedy , Center for Research on Parallel Computation Rice University, Texas
pp. 2

Plenary Address 1: Towards Teraflop Computing (PDF)

S. Wallach , Convex Computer Corporation, Texas
pp. 4

Plenary Address 2: Computing in the '90s, Microsoft, and Supercomputers (PDF)

G. Spix , Advanced Consumer Technology Microsoft Corporation Redmod, WA
pp. 6

Plenary Address 3: Heterogeneous Parallel Computing (PDF)

E.E. Swartzlander , Department of Electrical and Computer Engineering University of Texas at Austin
pp. 8

Invited Mini-review Session 1: Object Technology And Distributed Operating Systems (PDF)

E. Manning , Departments of Computer Science and Electrical and Computer Engineering University of Victoria, Canada
pp. 10

Invited Mini-review Session 2: Software Specification Of Real-time Systems (PDF)

J.E. Urban , Department of Computer Science and Engineering Arizona State University
pp. 12

Panel 1: Are We Providing The Right Education For Computer Science/engineering Students? (PDF)

Lin-Shan Lee , Institute of Information Science Academia Sinica, Taipei
pp. 14

Panel 2: Is It Possible to Fairly Compare Interconnection Networks? (PDF)

H.J. Siegel , Parallel Processing Laboratory School of Electrical Engineering Purdue University, IN
pp. 16-18

Panel 4: What Types Of Research Papers Should We Be Writing? (PDF)

L.M. Ni , Department of Computer Science Michigan State University
pp. 22

Panel 5: Parallel Processing: What Have We Done Wrong? (PDF)

Kuo-Wei Wu , National Center for High Performance Computing Hsinchu, Taiwan
pp. 24

Panel 6: Parallel And Distributed Processing Research In Some Asian Countries (PDF)

Wen-Tsuen Chen , Department of Computer Science National Tsing Hua University, Taiwan
pp. 26

Computing list ranking on a RAP with wider bus networks (PDF)

Tzong-Wann Kao , Dept. of Electr. Eng., Nat. Taiwan Inst. of Technol., Taipei, Taiwan
pp. 28-33

Semigroup computation and its applications on mesh-connected computers with hyperbus broadcasting (PDF)

Shi-Jinn Horng , Dept. of Electr. Eng., Nat. Taiwan Inst. of Technol., Taipei, Taiwan
pp. 34-39

Convexity problems on reconfigurable meshes (PDF)

Chian-Long Lee , Inst. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
pp. 40-45

Multicast communication in 2-D mesh networks (PDF)

Youran Lan , Missouri Univ., Columbia, MO, USA
pp. 63-68

Experiments on high-priority cold requests in the presence of tree saturation (PDF)

Jin-Ho Lee , Dept. of Comput. Sci., Korea Univ., Seoul, South Korea
pp. 70-75

Torus with slotted rings architecture for a cache-coherent multiprocessor (PDF)

Jen-Hui Chuang , Dept. of Comput. & Inf. Sci., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 76-81

A fast switching double processing architecture for multi-tasking real-time systems (PDF)

Tein-Hsiang Lin , Dept. of Electr. & Comput. Eng., State Univ. of New York, Buffalo, NY, USA
pp. 82-87

Simulation and performance evaluation of a modularly configurable attached processor (PDF)

Yi-Chieh Chang , Dept. of Electr. & Comput. Eng., Texas Univ., El Paso, TX, USA
pp. 88-94

Implementation of fast Hartley transform on multiple bus cache coherent multiprocessors (PDF)

R.N. Mahapatra , Dept. of Electron. & Electr. Commun. Eng., Indian Inst. of Technol., Kharagpur, India
pp. 96-101

Efficient implementation of sorting algorithms on asynchronous distributed-memory machines (PDF)

B.B. Zhou , Comput. Sci. Lab., Australian Nat. Univ., Canberra, ACT, Australia
pp. 102-106

A new and efficient FFT algorithm for distributed memory systems (PDF)

N. Anupindi , Dept. of Electr. & Comput. Eng., Rhode Island Univ., Kingston, RI, USA
pp. 107-112

Broadcast in all-port wormhole-routed 3D mesh networks using extended dominating sets (PDF)

Yih-Jia Tsai , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
pp. 120-127

Broadcasting on faulty hypercubes (PDF)

Pao-Hwa Sui , Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
pp. 128-133

Broadcasting on uni-directional hypercubes (PDF)

Huang-Ming Huang , Dept. of Appl. Math., Nat. Sun Yat-Sen Univ., Kaohsiung, Taiwan
pp. 134-139

The design and implementation of the Pasda parallel file system (PDF)

Min-Chang Jih , Dept. of Comput. & Inf. Sci., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 142-147

Storage design and retrieval of continuous multimedia using multi-disks (PDF)

Wen-Jiin Tsai , Inst. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 148-153

A discrete-event simulation model for characterizing parallel file transfers (PDF)

C.L. Chee , Dept. of Comput. Sci., California Univ., Berkeley, CA, USA
pp. 154-160

On evaluating parallel sparse Cholesky factorizations (PDF)

Wen-Yang Lin , Dept. of Comput. Sci. & Inf. Eng., Nat. Taiwan Univ., Taipei, Taiwan
pp. 162-167

A mesh partitioning tool and its applications to parallel processing (PDF)

Shang-Hsien Hsieh , Sch. of Civil Eng., Purdue Univ., West Lafayette, IN, USA
pp. 168-173

Parallel block generalized WZ factorization (PDF)

A. Benaini , Lab. de Inf., Univ. de Franche-Comte, Besancon, France
pp. 174-179

FDDI-M: a scheme to double FDDI's ability of supporting synchronous traffic (PDF)

K.G. Shin , Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA
pp. 190-195

Full-color real-time video broadcasting over ATM LAN (PDF)

Chia-Yiu Maa , Tektronix Lab., Beaverton, OR, USA
pp. 196-201

Effective load balancing on highly parallel multicomputers based on superconcentrators (PDF)

Gene Eu Jan , Dept. of Navigation, Nat. Taiwan Ocean Uni., Keelung, Taiwan
pp. 216-221

Dynamic load balancing in parallel simulation using time warp mechanism (PDF)

Ming-Ru Jiang , Dept. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 222-227

Parallel design of Q-coders for bilevel image compression (PDF)

Jianmin Jiang , Inst. of Higher Educ., Bolton, UK
pp. 230-235

An efficient Hough transform algorithm on SIMD hypercube (PDF)

H.Y.H. Chuang , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
pp. 236-241

A distributed memory multiprocessor implementation of C-with-Ease (PDF)

T. MacKenzie , Dept. of Comput. Sci., Monash Univ., Clayton, Vic., Australia
pp. 250-257

Extending Vienna Fortran with task parallelism (PDF)

B. Chapman , Inst. for Software Technol. & Parallel Syst., Wien Univ., Austria
pp. 258-263

Stochastic modeling of scaled parallel programs (PDF)

A.D. Malony , Dept. of Comput. & Inf. Sci., Oregon Univ., Eugene, OR, USA
pp. 272-279

Use of sequencing constraints for specifying, testing, and debugging concurrent programs (PDF)

Juo-Chung Tai , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA
pp. 280-287

Specification of stochastic properties with CSP (PDF)

K.M. Kavi , Texas Univ., Arlington, TX, USA
pp. 288-294

Algorithms for node disjoint paths in incomplete star networks (PDF)

Qian-Ping Gu , Dept. of Comput. Software, Aizu Univ., Fukushima, Japan
pp. 296-303

Some optimal parallel algorithms on weighted cographs (PDF)

Ming-Shing Yu , Dept. of Appl. Math., Nat. Chung-Hsing Univ., Taichung, Taiwan
pp. 304-309

Parallel algorithms for verification and sensitivity analysis of minimum spanning trees (PDF)

Weifa Liang , Dept. of Comput. Sci., Australian Nat. Univ., Canberra, ACT, Australia
pp. 310-315

Parallel execution of nested loops in band parallelism (PDF)

Zen Chen , Inst. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 318-325

A basis approach to loop parallelization and synchronization (PDF)

Li Liu , Dept. of Comput. Sci. & Inf. Eng., Nat. Taiwan Univ., Taipei, Taiwan
pp. 326-332

Fault tolerance in hyperbus and hypercube multiprocessors using partitioning scheme (PDF)

Shih-Chang Wang , Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
pp. 340-347

An optimal fault-tolerant design approach for array processors (PDF)

C.N. Zhang , Dept. of Comput. Sci., Regina Univ., Sask., Canada
pp. 348-353

Designing general-purpose fault-tolerant distributed systems-a layered approach (PDF)

A.R. Nayak , Sch. of Comput. Sci., Carleton Univ., Ottawa, Ont., Canada
pp. 360-364

CGIN: a modified Gamma interconnection network with multiple disjoint paths (PDF)

Po-Jen Chuang , Dept. of Electr. Eng., Tamkang Univ., Tamsui, Taiwan
pp. 366-372

Two expansible multistage interconnection networks (PDF)

C.S. Yang , Inst. of Inf. Eng., Nat. Sun Yat-Sen Univ., Kaohsiung, Taiwan
pp. 373-378

Sorting networks with built-in error correction (PDF)

Yuang-Ming Hsu , Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
pp. 379-384

A new approach for finding loop transformation matrices (PDF)

Hua Lin , Dept. of Electr. Eng., Texas A&M Univ., College Station, TX, USA
pp. 386-391

Generalising the unimodular approach [program code transformation] (PDF)

D.R. Chesney , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
pp. 398-404

Techniques to tackle state explosion in global predicate detection (PDF)

S. Alagar , Dept. of Comput. Sci., Texas Univ., Richardson, TX, USA
pp. 412-417

Optimal information dispersal for reliable communication in computer networks (PDF)

Hung-Min Sun , Inst. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 460-464

Extracting multi-thread with data localities for vector computers (PDF)

Jang-Ping Sheu , Dept. of Comput. Sci. & Inf. Eng., Nat. Central Univ., Chung-Li, Taiwan
pp. 466-473

Evaluation of relaxed memory consistency models for multithreaded multiprocessors (PDF)

Yong-Kim Chong , Sch. of Electr. & Electron. Eng., Nanyang Technol. Inst., Singapore
pp. 474-480

On the embedding of a class of regular graphs in a faulty hypercube (PDF)

Yu-Chee Tseng , Dept. of Comput. Sci., Chung-Hua Poly. Inst., Hsin-Chu, Taiwan
pp. 488-495

Mapping pyramids into 3-D meshes (PDF)

K.L. Chung , Dept. of Inf. Manage., Nat. Taiwan Inst. of Technol., Taipei, Taiwan
pp. 496-501

An efficient emulation for tree-connected networks (PDF)

Daw-Jong Shyu , Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
pp. 502-507

An improved characterization of 1-step recoverable embeddings: rings in hypercubes (PDF)

Jun-Lin Liu , Comput. & Comm. Res. Lab., Ind. Technol. Res. Inst., Chutung, Taiwan
pp. 508-514

A graph model for investigating memory consistency (PDF)

Weiwu Hu , Inst. of Comput. Technol., Acad. Sinica, Beijing, China
pp. 516-523

Delayed precise invalidation-a software cache coherence scheme (PDF)

Tang-Show Hwang , Inst. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 524-529

Parallel implementation of the trie structure (PDF)

I.W. Chan , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 538-543

Lock-free concurrent tree structures for multiprocessor systems (PDF)

Jyh-Jong Tsay , Dept. of Comput. Sci. & Inf. Eng., Nat. Chung Cheng Univ, Tainan, Taiwan
pp. 544-549

Grouping array layouts to reduce communication and improve locality of parallel programs (PDF)

Tien-Pao Shih , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
pp. 558-566

Avoiding data link and computational conflicts in mapping nested loop algorithms to lower-dimensional processor arrays (PDF)

Jingling Xue , Dept. of Math. Stat. & Comput. Sci., New England Univ., Armidale, NSW, Australia
pp. 567-572

Efficient algorithms for data distribution on distributed memory multicomputers (PDF)

PeiZong Lee , Inst. of Inf. Sci., Acad. Sinica, Taipei, Taiwan
pp. 573-579

A new approach of constructing information mutual exclusion in distributed systems (PDF)

Hsiou-Mien Lien , Dept. of Comput. & Inf. Sci., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 588-591

A tree-based distributed algorithm for the K-entry critical section problem (PDF)

S. Wang , Dept. of Comput. Sci., Central Florida Univ., Orlando, FL, USA
pp. 592-597

A theory of fault-tolerant routing in wormhole networks (PDF)

J. Duato , Fac. de Inf., Univ. Politecnica de Valencia, Spain
pp. 600-607

Distributed routing schemes for strictly nonblocking networks (PDF)

Fong-Chih Shao , Inst. for Adv. Comput. Studies, College Park, MD, USA
pp. 614-619

Exploiting communication latency hiding for parallel network computing: model and analysis (PDF)

V. Strumpen , Inst. for Sci. Comput., Eidgenossische Tech. Hochschule, Zurich, Switzerland
pp. 622-627

Virtual Permanent Connection: network computing over switch-based high-speed networks (PDF)

Mengjou Lin , Adv. Technol. Group, Apple Comput. Inc., Cupertino, CA, USA
pp. 628-633

Thread migration on heterogeneous systems via compile-time transformations (PDF)

Janche Sang , Dept. of Comput. & Inf. Sci., Cleveland State Univ., OH, USA
pp. 634-639

A kernel-level DSVM controller for the diskless cluster system (PDF)

Feng-Ming Hsieh , Inst. of Comput. Sci. & Electron. Eng., Nat. Central Univ., Chung-Li, Taiwan
pp. 642-648

Reducing procedure call overhead: optimizing register usage at procedure calls (PDF)

Feipei Lai , Dept. of Comput. Sci. & Inf. Eng., Nat. Taiwan Univ., Taipei, Taiwan
pp. 649-654

On parallel transaction processing in a coupled system (PDF)

Ming-Syan Chen , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 662-669

Load balancing in pipelined processing of multi-join queries (PDF)

Hongjun Lu , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 670-675

Optimizing entity join queries by extended semijoins in a wide area multidatabase environment (PDF)

P.S.M. Tsai , Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
pp. 676-681

Pyramided hypercube: an extendable cubic network with fixed degree (PDF)

Wei-Kuo Chiang , Dept. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 690-697

Varietal hypercube-a new interconnection network topology for large scale multicomputer (PDF)

Shou-Yi Cheng , Dept. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 703-708

A linear equation model for twisted cube networks (PDF)

P. Cull , Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
pp. 709-714

A parallel programming environment based on message passing (PDF)

Yuhong Wen , Dept. of Comput. Sci. & Technol., Tsinghua Univ., Beijing, China
pp. 724-729

Performance tuning of message passing programs through visual analysis (PDF)

Sute Lei , Dept. of Comput., Macquarie Univ., Sydney, NSW, Australia
pp. 730-735

On the development paradigm of distributed applications (PDF)

Chih-Ping Chu , Inst. of Inf. Eng., Nat. Cheng Kung Univ., Tainan, Taiwan
pp. 736-741

Branch prediction for enhancing fine-grained parallelism in Prolog (PDF)

Ruey-Liang Ma , Dept. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 744-751

Toward semantic-based parallelism in production systems (PDF)

Shiow-Yang Wu , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 752-758

An assertional proof of a lock synchronization algorithm using fetch and store atomic instructions (PDF)

Ting-Lu Huang , Dept. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 759-768

Author index (PDF)

pp. 769-771
89 ms
(Ver 3.3 (11022016))