The Community for Technology Leaders
Parallel and Distributed Processing, IEEE Symposium on (1990)
Dallas, Texas USA
Dec. 2, 1990 to Dec. 5, 1990
ISBN: 0-8186-2087-0
TABLE OF CONTENTS
Papers

On the parallel recognition of some tree-representable graphs (Abstract)

Lin , Dept. of Comput. Sci., State Univ. of New York, Geneseo, NY, USA
pp. 6-13

Energy complexity of optical computations (Abstract)

Tyagi , Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA
pp. 14-21

LR-algorithm: concurrent operations on priority queues (Abstract)

Ayani , Dept. of Telecommun. & Comput. Syst., R. Inst. of Technol., Stockholm, Sweden
pp. 22-25

Parallel algorithms for ranking of trees (Abstract)

Lakshmivarahan , Sch. of Electr. Eng. & Comput. Sci., Oklahoma Univ., OK, USA
Liang , Sch. of Electr. Eng. & Comput. Sci., Oklahoma Univ., OK, USA
Dhall , Sch. of Electr. Eng. & Comput. Sci., Oklahoma Univ., OK, USA
pp. 26-31

The maximum weight perfect matching problem for complete weighted graphs is in PC (Abstract)

Osiakwan , Dept. of Comput. & Inf. Sci., Queen's Univ., Kingston, Ont., Canada
Akl , Dept. of Comput. & Inf. Sci., Queen's Univ., Kingston, Ont., Canada
pp. 880-887

Decentralized decision-making in adaptive task sharing (Abstract)

Rotithor , Dept. of Electr. Eng., Worcester Polytech. Inst., MA, USA
pp. 34-41

Dynamic-level scheduling for heterogeneous processor networks (Abstract)

Lee , Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
Sih , Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
pp. 42-49

Deterministic load balancing in computer networks (Abstract)

Xiaotie Deng , Sch. of Comput. Sci., Simon Fraser Univ., Burnaby, BC, Canada
pp. 50-57

Dynamic load-balancing on a parallel inference system (Abstract)

Jia-Huai You , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
Zhiyong Liu , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
pp. 58-61

Algorithms for end-to-end scheduling to meet deadlines (Abstract)

Liu , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
Bettati , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 62-67

Composite routing protocols (Abstract)

Gouda , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
Arora , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
Herman , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 70-78

Topology of efficiently controllable banyan multistage networks (Abstract)

Youssef , Dept. of Electr. Eng. & Comput. Sci., George Washington Univ., Washington, DC, USA
pp. 79-86

Subcube recognition, allocation/deallocation and relocation in hypercubes (Abstract)

Mee Yee Chan , Texas Univ., Richardson, TX, USA
Shiang-Jen Lee , Texas Univ., Richardson, TX, USA
pp. 87-93

Routing permutations on MESH interconnection networks (Abstract)

Sibeyn , Dept. of Comput. Sci., Utrecht Univ., Netherlands
pp. 94-97

A simulation-based comparison of interconnection networks (Abstract)

Raghunath , Div. of Comput. Sci., California Univ., Berkeley, CA, USA
Ranade , Div. of Comput. Sci., California Univ., Berkeley, CA, USA
pp. 98-103

Execution replay on distributed memory architectures (Abstract)

Leu , Dept. d'Inf., Ecole Polytech. Federale de Lausanne, Switzerland
Schiper , Dept. d'Inf., Ecole Polytech. Federale de Lausanne, Switzerland
Zramdini , Dept. d'Inf., Ecole Polytech. Federale de Lausanne, Switzerland
pp. 106-112

Divide and conquer for distributed mutual exclusion (Abstract)

Ramarao , SBC Technol. Resources Inc., St. Louis, MO, USA
pp. 113-120

The ServOS kernel: a special-purpose operating system kernel for server machines (Abstract)

Schleipfer , InterFace Comput. GmbH., Munchen, Germany
pp. 121-125

Correct two-phase and one-phase deadlock detection algorithms for distributed systems (Abstract)

Kshemkalyani , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
Singhal , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
pp. 126-129

Barrier synchronization over multistage interconnection networks (Abstract)

Lee , Aerosp. Corp., EL Segundo, CA, USA
pp. 130-133

A new paradigm for high availability and efficiency in replicated distributed databases (Abstract)

Triantafillou , Dept. of Comput. Sci., Waterloo Univ., Ont., Canada
Taylor , Dept. of Comput. Sci., Waterloo Univ., Ont., Canada
pp. 136-143

Parallel join processing using nonclustered indexes for a shared memory multiprocessor (Abstract)

Omiecinski , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 144-151

Main memory database recovery algorithms and their performance (Abstract)

Burger , Comput. Sci. Telecommun., Missouri Univ., Kansas City, MO, USA
Kumar , Comput. Sci. Telecommun., Missouri Univ., Kansas City, MO, USA
pp. 152-155

A crash recovery algorithm based on multiple logs that exploits parallelism (Abstract)

Kumar , Graduate Sch. of Manage., Cornell Univ., Ithaca, NY, USA
pp. 156-159

A transaction definition based on message passing (Abstract)

Mariategui , Dept. of Comput. Sci. & Eng., Southern Methodist Univ., Dallas, TX, USA
Eich , Dept. of Comput. Sci. & Eng., Southern Methodist Univ., Dallas, TX, USA
pp. 160-163

Design of optimal systolic arrays: a systematic approach (Abstract)

Esonu , Dept. of Electr. & Comput. Eng., Concordia Univ., Montreal, Que., Canada
Al-Khalili , Dept. of Electr. & Comput. Eng., Concordia Univ., Montreal, Que., Canada
pp. 166-173

A broadcast/reduce architecture for high-speed data compression (Abstract)

Zito-Wolf , Dept. of Comput. Sci., Brandeis Univ., Waltham, MA, USA
pp. 174-181

Multiple instruction streams in a highly pipelined processor (Abstract)

Sato , Res. Dev. Corp. of Japan, Tokyo, Japan
Ichikawa , Res. Dev. Corp. of Japan, Tokyo, Japan
pp. 182-189

High-speed propagation of link status routing control information (Abstract)

Comer , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
pp. 190-194

Deterministic simulation of PRAMs on hypercube networks without look-up tables (Abstract)

Heywood , Sch. of Comput. & Inf. Sci., Syracuse Univ., NY, USA
pp. 195-198

Evaluation and improvement of fault coverage for verification and validation of protocols (Abstract)

Lombardi , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
Shen , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 200-207

Distributed, dynamic, and efficient testing of large scale multiple processor systems (Abstract)

Jamal , Dept. of Electr. Eng. & Comput. Sci., Wisconsin-Milwaukee Univ., WI, USA
Hosseini , Dept. of Electr. Eng. & Comput. Sci., Wisconsin-Milwaukee Univ., WI, USA
pp. 208-214

Fault tolerant distributed computing using atomic send-receive checkpoints (Abstract)

Wojcik , Div. of Math., Comput. Sci. & Stat., Texas Univ., San Antonio, TX, USA
Wojcik , Div. of Math., Comput. Sci. & Stat., Texas Univ., San Antonio, TX, USA
pp. 215-222

An effective fault-tolerant technique for circular butterfly parallel systems (Abstract)

Nian-Feng Tzeng , Center for Adv. Comput. Studies, Univ. of Southwestern Louisiana, Lafayette, LA, USA
pp. 223-226

Parallel execution of Lanczos algorithm in a CAM systolic ring (Abstract)

Ko , Dept. of Electr. & Comput. Eng., Rutgers Univ., Piscataway, NJ, USA
pp. 228-234

Optimistic regulation of concurrency (Abstract)

Robinson , Bellaire Res. Center, Shell Dev. Co., Houston, TX, USA
pp. 235-242

An asymptotically 100% efficient parallel implementation of the nonsymmetric QR algorithm (Abstract)

van de Geijn , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
Hudson , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 243-249

Integer sorting on a mesh-connected array of processors (Abstract)

Krizanc , Dept. of Comput. Sci., Rochester Univ., NY, USA
pp. 250-253

Parallel time complexity of a heuristic algorithm for the k-center problem with usage weights (Abstract)

Qingzhou Wang , Dept. of Comput. Sci., Houston Univ., TX, USA
Kam Hoi Cheng , Dept. of Comput. Sci., Houston Univ., TX, USA
pp. 254-257

A parallel architecture for data compression (Abstract)

Henriques , Dept. of Comput. Sci. & Eng., Univ. of South Florida, Tampa, FL, USA
Ranganathan , Dept. of Comput. Sci. & Eng., Univ. of South Florida, Tampa, FL, USA
pp. 260-266

Allowing overlaps makes switchbox layouts nice (Abstract)

Kaufmann , Fachbereich Inf., Univ. des Saarlandes, Saarbrucken, Germany
pp. 267-274

Multi-level VLSI simulator for general purpose parallel machines (Abstract)

Lohnert , Daimler-Benz AG, Res. Inst. Berlin, Germany
Aposporidis , Daimler-Benz AG, Res. Inst. Berlin, Germany
Mehring , Daimler-Benz AG, Res. Inst. Berlin, Germany
pp. 275-278

Parallel algorithms for slicing floorplan designs (Abstract)

Tollis , Dept. of Comput. Sci., Texas Univ., Richardson, TX, USA
Cheng-Hsi Chen , Dept. of Comput. Sci., Texas Univ., Richardson, TX, USA
pp. 279-282

A parallel distributed processing approach to VLSI global routing (Abstract)

Provence , Dept. of Electr. Eng., Southern Methodist Univ., Dallas, TX, USA
Naganathan , Dept. of Electr. Eng., Southern Methodist Univ., Dallas, TX, USA
pp. 283-286

An optimal parallel minimax tree algorithm (Abstract)

Kirkpatrick , British Columbia Univ., Vancouver, BC, Canada
Przytycka , British Columbia Univ., Vancouver, BC, Canada
pp. 293-300

Approximation algorithms for the bandwidth minimization problem for caterpillar graphs (Abstract)

Makedon , Texas Univ., Richardson, TX, USA
Haralambides , Texas Univ., Richardson, TX, USA
pp. 301-307

Analysis of parallel algorithms using continuous job profiles (Abstract)

Weems , Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
Ullah , Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
Gonzalez , Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
pp. 308-311

An adaptive cache coherence scheme for hierarchical shared-memory multiprocessors (Abstract)

Qing Yang , Dept of Electr. Eng., Rhode Island Univ., Kingston, RI, USA
Thangadurai , Dept of Electr. Eng., Rhode Island Univ., Kingston, RI, USA
pp. 318-325

Distributed input/output processing in data-driven multiprocessors (Abstract)

Evripidou , Dept. of Comput. Sci. & Eng., Southern Methodist Univ., Dallas, TX, USA
pp. 326-333

The European Declarative System (EDS) as a platform for parallel logic programming (Abstract)

Sexton , Eur. Comput.-Ind. Res. Centre GmbH, Munich, Germany
Wong , Eur. Comput.-Ind. Res. Centre GmbH, Munich, Germany
Heuze , Eur. Comput.-Ind. Res. Centre GmbH, Munich, Germany
Baron , Eur. Comput.-Ind. Res. Centre GmbH, Munich, Germany
Noye , Eur. Comput.-Ind. Res. Centre GmbH, Munich, Germany
Bescos , Eur. Comput.-Ind. Res. Centre GmbH, Munich, Germany
Ibanez-Espiga , Eur. Comput.-Ind. Res. Centre GmbH, Munich, Germany
Xu , Eur. Comput.-Ind. Res. Centre GmbH, Munich, Germany
Dorochevsky , Eur. Comput.-Ind. Res. Centre GmbH, Munich, Germany
Delgado-Rannauro , Eur. Comput.-Ind. Res. Centre GmbH, Munich, Germany
Reeve , Eur. Comput.-Ind. Res. Centre GmbH, Munich, Germany
Ratcliffe , Eur. Comput.-Ind. Res. Centre GmbH, Munich, Germany
Paci , Eur. Comput.-Ind. Res. Centre GmbH, Munich, Germany
Schuerman , Eur. Comput.-Ind. Res. Centre GmbH, Munich, Germany
Benker , Eur. Comput.-Ind. Res. Centre GmbH, Munich, Germany
Cosquer , Eur. Comput.-Ind. Res. Centre GmbH, Munich, Germany
Cheese , Eur. Comput.-Ind. Res. Centre GmbH, Munich, Germany
Veron , Eur. Comput.-Ind. Res. Centre GmbH, Munich, Germany
pp. 339-342

Parallel join algorithms for nested relations on shared-memory multiprocessors (Abstract)

Deshpande , Dept. of Comput. Sci., Waterloo Univ., Ont., Canada
pp. 344-347

A high performance hybrid architecture for concurrent query execution (Abstract)

Hua , Dept. of Comput. Sci., Univ. of Central Florida, Orlando, FL, USA
pp. 348-351

Type inference and the Algebra of qualified relations (Abstract)

Eichmann , Dept. of Stat. & Comput. Sci., West Virginia Univ., Morgantown, WV, USA
pp. 352-356

The application of parallel processing to the simplified marker and cell method (Abstract)

Johnson , Dept. of Civil & Mech. Eng., Southern Methodist Univ., Dallas, TX, USA
Raad , Dept. of Civil & Mech. Eng., Southern Methodist Univ., Dallas, TX, USA
Rausch , Dept. of Civil & Mech. Eng., Southern Methodist Univ., Dallas, TX, USA
pp. 357-362

The formal derivation of distributed programs from systolic arrays (Abstract)

Barnett , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 363-366

Design of the PRAM network (Abstract)

Sandberg , Princeton Univ., NJ, USA
pp. 367-372

Modeling distributed termination with pre-defined partial termination ordering (Abstract)

Elrad , Illinois Inst. of Technol., Chicago, IL, USA
Kumar , Illinois Inst. of Technol., Chicago, IL, USA
Kenevan , Illinois Inst. of Technol., Chicago, IL, USA
pp. 373-376

Scheduling in the operation-oriented paradigm (Abstract)

Sajeev , Sch. of Inf. Sci., Massey Univ., Palmerston North, New Zealand
pp. 378-385

Optimal partitioning of random workloads in homogeneous multiprocessor and distributed systems (Abstract)

Haddad , Dept. of Comput. Sci., Virginia Polytech. Inst. & State Univ., Falls Church, VA, USA
pp. 386-393

Scheduling tasks with AND/OR precedence constraints (Abstract)

Gillies , Dept. of Comput. Sci., Illinois Univ., IL, USA
Liu , Dept. of Comput. Sci., Illinois Univ., IL, USA
pp. 394-401

Scheduling precedence graphs to minimize total system time in partitionable parallel architectures (Abstract)

Hyeong-Ah Choi , Dept. of Electr. Eng. & Comput. Sci., George Washington Univ., Washington, DC, USA
Narahari , Dept. of Electr. Eng. & Comput. Sci., George Washington Univ., Washington, DC, USA
pp. 407-410

Termination condition for a parallel shape coding and a parallel shape coding algorithm (Abstract)

Wojcik , Div. of Math., Comput. Sci. & Stat., Texas Univ., San Antonio, TX, USA
Wojcik , Div. of Math., Comput. Sci. & Stat., Texas Univ., San Antonio, TX, USA
pp. 412-419

Recognition and restoration of periodic patterns with recurrent neural network (Abstract)

Kamimura , Inf. Sci. Lab., Tokai Univ., Kanagawa, Japan
pp. 436-440

On linear speedup of a class of neighborhood functions in an array processor (Abstract)

Lee , Dept. of Comput. Sci., York Univ., North York, Ont., Canada
pp. 441-446

Accelerated learning on the connection machine (Abstract)

Holder , Beckman Inst., Illinois Univ., Urbana, IL, USA
Cook , Beckman Inst., Illinois Univ., Urbana, IL, USA
pp. 448-454

Forward chaining parallel inference (Abstract)

Rowe , Merit Technol. Inc., Plano, TX, USA
Bechtel , Merit Technol. Inc., Plano, TX, USA
Labhart , Merit Technol. Inc., Plano, TX, USA
pp. 455-462

Parallel execution on production systems (Abstract)

Jiin-Hwai Perng , Dept. of Inf. Eng., Tatung Inst. of Technol., Taipei, Taiwan
Huei-Huang Chen , Dept. of Inf. Eng., Tatung Inst. of Technol., Taipei, Taiwan
Fu-Chiung Cheng , Dept. of Inf. Eng., Tatung Inst. of Technol., Taipei, Taiwan
pp. 463-470

Extended restricted AND-parallelism execution model (Abstract)

Manwaring , Dept. of Electr. & Comput. Eng., Washington State Univ., Pullman, WA, USA
Si-En Chang , Dept. of Electr. & Comput. Eng., Washington State Univ., Pullman, WA, USA
pp. 471-474

Parallel distributed robot navigation in the presence of obstacles (Abstract)

Prassler , Res. Inst. for Appl. Knowledge Processing, Ulm, Germany
pp. 475-478

Efficient parallel algorithms for solving set recurrence equations and applications (Abstract)

Ibarra , Dept. of Comput. Sci., California Univ., Santa Barbara, CA, USA
Hui Wang , Dept. of Comput. Sci., California Univ., Santa Barbara, CA, USA
pp. 480-487

Parallel algorithms for determining k-width- connectivity in binary images (Abstract)

Dehne , Sch. of Comput. Sci., Carleton Univ., Ottawa, Ont., Canada
pp. 488-496

Parallel dynamic programming (Abstract)

Hongfei Liu , Dept. of Comput. Sci., Houston Univ., TX, USA
Viswanathan , Dept. of Comput. Sci., Houston Univ., TX, USA
Huang , Dept. of Comput. Sci., Houston Univ., TX, USA
pp. 497-500

Parallel bin packing using first fit and k-delayed best-fit heuristics (Abstract)

Cheatham , Dept. of Comput. Sci., Harvard Univ., Cambridge, MA, USA
Bestavros , Dept. of Comput. Sci., Harvard Univ., Cambridge, MA, USA
Stefanescu , Dept. of Comput. Sci., Harvard Univ., Cambridge, MA, USA
pp. 501-504

Randomized fault-detecting leader election in a bi-directional ring (Abstract)

Wagner , Div. of Math., Comput. Sci. & Stat., Texas Univ., San Antonio, TX, USA
pp. 506-510

Multi-failure fault-tolerance of embedded loops on hypercubes: issues and performance study (Abstract)

Tsai , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
Liang , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
pp. 511-518

On the testability of array structures for FFT computation (Abstract)

Lombardi , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
Shen , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 519-522

A software approach to fault detection on programmable systolic arrays (Abstract)

Hughey , Dept. of Comput. Sci., Brown Univ., Providence, RI, USA
pp. 523-526

Self-testing and self-reconfiguration architecture for 2-D WSI arrays (Abstract)

Al-Arian , Dept. of Comput. Sci. & Eng., Univ. of South Florida, Tampa, FL, USA
Abujbara , Dept. of Comput. Sci. & Eng., Univ. of South Florida, Tampa, FL, USA
pp. 527-530

A topological property of hypercubes: node disjoint paths (Abstract)

Sudborough , Texas Univ., Richardson, TX, USA
Madhavapeddy , Texas Univ., Richardson, TX, USA
pp. 532-539

Embedding of cycles and grids in star graphs (Abstract)

Lakshmivarahan , Sch. of Electr. Eng. & Comput. Sci., Oklahoma Univ., Norman, OK, USA
Jung-Sing Jwo , Sch. of Electr. Eng. & Comput. Sci., Oklahoma Univ., Norman, OK, USA
Dhall , Sch. of Electr. Eng. & Comput. Sci., Oklahoma Univ., Norman, OK, USA
pp. 540-547

Improving multistage network performance under uniform and hot-spot traffics (Abstract)

Jih-Kwon Peir , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 548-551

Computer network reliability evaluation from application's point of view (Abstract)

Kumar , Dept. of Eng. Maths & Comput. Sci., Louisville Univ., KY, USA
pp. 552-555

Efficient routing and conflict resolution in F and IADM networks (Abstract)

Anand , Comput. Syst. & Commun. Group, Tata Inst. of Fundamental Res., Bombay, India
pp. 556-559

A semi distributed load balancing scheme for large multicomputer systems (Abstract)

Ahmad , Sch. of Comput. & Inf. Sci., Syracuse Univ., NY, USA
pp. 562-569

Analysis and synthesis of generalized task graphs (Abstract)

Kant , Dept. of Comput. Sci., Pennsylvania State Univ., University Park, PA, USA
pp. 570-577

An optimal algorithm for guaranteeing sporadic tasks in hard real-time systems (Abstract)

Chetto , Lab. d'Autom. de Nantes, ENSM, Nantes, France
Silly , Lab. d'Autom. de Nantes, ENSM, Nantes, France
Elyounsi , Lab. d'Autom. de Nantes, ENSM, Nantes, France
pp. 578-585

Self scheduling and execution threads (Abstract)

Francis , CSIRO, Carlton, WA, Australia
pp. 586-590

Average response time minimization in star-connected computer networks (Abstract)

Dattatreya , Texas Univ., Richardson, TX, USA
Venkatesh , Texas Univ., Richardson, TX, USA
pp. 591-594

A strict monolithic array constructor (Abstract)

Gao , Sch. of Comput. Sci., McGill Univ., Montreal, Que., Canada
Yates , Sch. of Comput. Sci., McGill Univ., Montreal, Que., Canada
pp. 596-603

The complexity of processing tree queries in distributed databases (Abstract)

Chihping Wang , Dept. of Comput. Sci., California Univ., Riverside, CA, USA
pp. 604-611

SISAL 1.2: high-performance applicative computing (Abstract)

DeBoni , Comput. Res. Group, Lawrence Livermore Nat. Lab., CA, USA
Feo , Comput. Res. Group, Lawrence Livermore Nat. Lab., CA, USA
Cann , Comput. Res. Group, Lawrence Livermore Nat. Lab., CA, USA
pp. 612-616

Multiprocessor Common Lisp on TOP-1 (Abstract)

Tanaka , IBM Res., Tokyo Res. Lab., Tokyo, Japan
Uzuhara , IBM Res., Tokyo Res. Lab., Tokyo, Japan
pp. 617-622

Multiple concurrency control policies in an object-oriented programming system (Abstract)

Wu , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
Kaiser , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
Hseush , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
Popovich , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
pp. 623-626

LU factorization on CM2 (Abstract)

Ghafoor , Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
Goel , Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
Shan Jiang , Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
pp. 628-633

Using universe knowledge and arithmetic to get faster parallel algorithms (Abstract)

Gopinath , Polytech. Univ., New York, NY, USA
Tsotras , Polytech. Univ., New York, NY, USA
Hart , Polytech. Univ., New York, NY, USA
pp. 634-641

An improved parallel algorithm for construction Voronoi diagram on a mesh-connected computer (Abstract)

Jeong , Dept. of Comput. Sci., Pohang Inst. of Sci. & Technol., South Korea
pp. 642-645

Synthesis of simple distributed detection networks (Abstract)

Rao , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
pp. 646-649

Multi-version memory: software cache management for concurrent B-trees (Abstract)

Wang , Lab. for Comput. Sci., MIT, Cambridge, MA, USA
Weihl , Lab. for Comput. Sci., MIT, Cambridge, MA, USA
pp. 650-655

RDS: a primitive for the maintenance of replicated data objects (Abstract)

Rusinkiewicz , Dept. of Comput. Sci., Houston Univ., TX, USA
Georgakopoulos , Dept. of Comput. Sci., Houston Univ., TX, USA
Thomas , Dept. of Comput. Sci., Houston Univ., TX, USA
pp. 658-667

A general model and mechanisms for model-level heterogeneous RPC interoperability (Abstract)

Stoyenko , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 668-675

Solving the processor identity problem in O(n) space (Abstract)

Lim , Div. of Comput. Sci., California Univ., Davis, CA, USA
Park , Div. of Comput. Sci., California Univ., Davis, CA, USA
pp. 676-680

Efficient caching of temporary files (Abstract)

Paris , Dept. of Comput. Sci., Houston Univ., TX, USA
Valdes , Dept. of Comput. Sci., Houston Univ., TX, USA
pp. 681-684

Variations on the drinking philosophers algorithm (Abstract)

Page , Dept. of Comput. Sci., North Texas Univ., Denton, TX, USA
Chern , Dept. of Comput. Sci., North Texas Univ., Denton, TX, USA
Jacob , Dept. of Comput. Sci., North Texas Univ., Denton, TX, USA
pp. 685-688

Transparent structurization of parallel processes for backward recovery (Abstract)

Romanovsky , Dept. of Appl. Math., Leningrad Tech. Univ., USSR
Sturtz , Dept. of Appl. Math., Leningrad Tech. Univ., USSR
pp. 698-706

Fault-tolerant computing on trees (Abstract)

Agrawal , Dept. of Comput. Sci., Brown Univ., Providence, RI, USA
pp. 707-714

Recovery with limited replay: fault-tolerant processes in Linda (Abstract)

Kambhatla , Dept. of Comput. Sci. & Eng., Oregon Graduate Inst. of Sci. & Technol., Beaverton, OR, USA
Walpole , Dept. of Comput. Sci. & Eng., Oregon Graduate Inst. of Sci. & Technol., Beaverton, OR, USA
pp. 715-718

Fault tolerant distributed shared memory algorithms (Abstract)

Stumm , Toronto Univ., Ont., Canada
Songnian Zhou , Toronto Univ., Ont., Canada
pp. 719-724

Datarol: a massively parallel architecture for functional languages (Abstract)

Amamiya , Dept. of Inf. Syst., Kyushu Univ., Fukuoka, Japan
Taniguchi , Dept. of Inf. Syst., Kyushu Univ., Fukuoka, Japan
pp. 726-735

A virtual bus for dynamic parallel processing (Abstract)

Lee , Bellcore, Morristown, NJ, USA
pp. 736-743

Rapid design of testable, high-performance/capacity associative memories (Abstract)

Hurson , Dept. of Electr. & Comput. Eng., Pennsylvania State Univ., Univesity Park, PA, USA
Miller , Dept. of Electr. & Comput. Eng., Pennsylvania State Univ., Univesity Park, PA, USA
pp. 744-749

Restructuring wafers for maximum yield and some applications of WSI (Abstract)

Bhatia , Dept. of Comput. Sci. & Eng., Southern Methodist Univ., Dallas, TX, USA
pp. 750-753

Context streams a theoretical basis for a generic form of MIMD pipelining (Abstract)

Lees , Dept. of Comput. Sci., Edinburgh Univ., UK
pp. 754-757

Performance analysis of hierarchically structured multiple bus multiprocessor system (Abstract)

Ramani , Devi Ahilya Univ., Indore, India
Gore , Devi Ahilya Univ., Indore, India
pp. 760-767

A comprehensive modeling for performance evaluation of regular interconnection network (Abstract)

Hee Yong Youn , Dept. of Comput. Sci., North Texas Univ., Denton, TX, USA
Chen , Dept. of Comput. Sci., North Texas Univ., Denton, TX, USA
pp. 768-775

A decomposition approach for analysis of parallel processing systems (Abstract)

Kuthalam , Texas Univ., Arlington, TX, USA
Deshpande , Texas Univ., Arlington, TX, USA
Kavi , Texas Univ., Arlington, TX, USA
pp. 776-779

Modeling the execution of LOTOS specifications by cooperating extended finite state machines (Abstract)

Valenzano , Centro Elaborazione Numerale dei Segnali, Politecnico di Torino, Italy
pp. 780-785

Distributed task processing performance on a NUMA shared memory multiprocessor (Abstract)

Xiaodong Zhang , Div. of Math. & Comput. Sci., Texas Univ., San Antonio, TX, USA
Srinivasan , Div. of Math. & Comput. Sci., Texas Univ., San Antonio, TX, USA
pp. 786-789

Modeling the retinal horizontal cell layer on a massively parallel processor: a detailed neural network model (Abstract)

Kimball , Minnesota Univ., Minneapolis, MN, USA
Winslow , Minnesota Univ., Minneapolis, MN, USA
pp. 792-798

A probabilistic inference method with multiple evidences and its implementation using a layered network (Abstract)

Nakamura , NTT Commun. & Inf. Process. Lab., Tokyo, Japan
Tanaka , NTT Commun. & Inf. Process. Lab., Tokyo, Japan
pp. 799-805

Optimizing connectionist datasets with ConSTrainer (Abstract)

Refenes , Dept. of Comput. Sci., Univ. Coll. London, UK
pp. 806-811

Multisensor fusion using neural networks (Abstract)

Ghosh , Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
Holmberg , Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
pp. 812-815

On computational limitations of neural network architectures (Abstract)

Hoffmann , Dept. of Comput. Sic., Tech. Univ. Berlin, Germany
pp. 818-825

On parallel processing in computational fluid dynamics (Abstract)

Raad , Dept. of Civil & Mechan. Eng., Southern Methodist Univ., Dallas, TX, USA
Varghese , Dept. of Civil & Mechan. Eng., Southern Methodist Univ., Dallas, TX, USA
pp. 826-833

The parallel complexity of queue versus stack breadth-first search (Abstract)

Greenlaw , Dept. of Comput. Sci., New Hampshire Univ., Durham, NH, USA
pp. 834-837

Mapping binary precedence trees to hypercubes and meshes (Abstract)

Ullman , David Taylor Res. Center, Bethesda, MD, USA
Narahari , David Taylor Res. Center, Bethesda, MD, USA
pp. 838-841

Near-optimal heuristics for schedulings on task-dependent machines (Abstract)

Newman-Wolfe , Dept. of Comput. & Inf. Sci., Florida Univ., Gainesville, FL, USA
Luo , Dept. of Comput. & Inf. Sci., Florida Univ., Gainesville, FL, USA
Yuan-Chieh Chow , Dept. of Comput. & Inf. Sci., Florida Univ., Gainesville, FL, USA
pp. 842-847

Simulating parallel neighbouring communications among square meshes and square toruses (Abstract)

Ma , Dept. of Comput. Sci., Concordia Univ., Montreal , Que., Canada
Lixin Tao , Dept. of Comput. Sci., Concordia Univ., Montreal , Que., Canada
pp. 850-857

Compressing cube-connected cycles and butterfly networks (Abstract)

Monien , Dept. of Math. & Comput. Sci., Paderborn Univ., Germany
Klasing , Dept. of Math. & Comput. Sci., Paderborn Univ., Germany
Luling , Dept. of Math. & Comput. Sci., Paderborn Univ., Germany
pp. 858-865

An approach to study performance properties of distributed simulation (Abstract)

Harous , Dept. of Comput. Eng. & Sci., Case Western Reserve Univ., Cleveland, OH, USA
Kumar , Dept. of Comput. Eng. & Sci., Case Western Reserve Univ., Cleveland, OH, USA
pp. 866-869

On finding maximal subcubes in residual hypercubes (Abstract)

Sridhar , Dept. of Comput. Sci., Univ. of South Carolina, Columbia, SC, USA
Raghavendra , Dept. of Comput. Sci., Univ. of South Carolina, Columbia, SC, USA
pp. 870-873

The embedding kernel on the IBM victor multiprocessor for program mapping and network reconfiguration (Abstract)

Ma , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
Shea , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 874-879

Convergence/response tradeoffs in concurrent systems (Abstract)

Gouda , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 188-192
208 ms
(Ver 3.3 (11022016))