The Community for Technology Leaders
Proceedings of Phoenix Conference on Computers and Communications (1993)
Tempe, AZ, USA
March 23, 1993 to March 26, 1993
ISBN: 0-7803-0922-7
TABLE OF CONTENTS

PROTEAN: A tool for automated protocol analysis (PDF)

G.M. Lundy , Dept. of Comput. Sci. US Naval Postgraduate Sch., Monterey, CA, USA
M.J. Rothlisberger , Dept. of Comput. Sci. US Naval Postgraduate Sch., Monterey, CA, USA
pp. 346-352

Connection oriented data service in DQDB simulation studies of the guaranteed bandwidth protocol (PDF)

P. Martini , Dept. of Math. & Comput. Sci., Paderborn Univ., Germany
G. Werschmann , Dept. of Math. & Comput. Sci., Paderborn Univ., Germany
pp. 339-345

A scheme for improved multicast efficiency in a ring network (PDF)

I.E. Mbarki , Pennsylvania State Univ., University Park, PA, USA
J.J. Metzner , Pennsylvania State Univ., University Park, PA, USA
pp. 332-338

New MAC schemes: CTMA and CRMA-one approach for 'hidden terminal problem' (PDF)

H. Shigeno , Dept. of Instrum. Eng., Keio Univ., Yokohama, Japan
C.-H. Chen , Dept. of Instrum. Eng., Keio Univ., Yokohama, Japan
K. Arai , Dept. of Instrum. Eng., Keio Univ., Yokohama, Japan
Y. Ohnishi , Dept. of Instrum. Eng., Keio Univ., Yokohama, Japan
T. Yokoyama , Dept. of Instrum. Eng., Keio Univ., Yokohama, Japan
Y. Matsushita , Dept. of Instrum. Eng., Keio Univ., Yokohama, Japan
pp. 326-331

Architectural support for high-performance distributed computing (PDF)

J. Park , Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
S. Hariri , Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
pp. 319-325

Deriving protocol specifications from service specifications written in LOTOS (PDF)

C. Kant , Dept. d'ITRO, Montreal Univ., Que., Canada
T. Higashino , Dept. d'ITRO, Montreal Univ., Que., Canada
G.V. Bochmann , Dept. d'ITRO, Montreal Univ., Que., Canada
pp. 310-318

Load sharing using multicasting (PDF)

C.E. Wills , Dept. of Comput. Sci., Worcester Polytech. Inst., MA, USA
D. Finkel , Dept. of Comput. Sci., Worcester Polytech. Inst., MA, USA
pp. 303-309

Xpress Transfer Protocol over the BERKOM B-ISDN network: Implementation and performance comparison with TCP/IP (PDF)

C. Fan , German Nat. Corp. for Math. & Data Process., Berlin, Germany
T. Luckenbach , German Nat. Corp. for Math. & Data Process., Berlin, Germany
X. Xu , German Nat. Corp. for Math. & Data Process., Berlin, Germany
pp. 296-302

A dynamic bandwidth allocation scheme for ATM networks (PDF)

Z. Tsai , Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
W.-d. Wang , Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
pp. 289-295

A resource allocation model for BISDN/ATM (PDF)

S.M. Srinidhi , Sterling Federal Systems, Cleveland, OH, USA
pp. 282-288

A methodology for partitioning long local computer networks (PDF)

M.S. Obaidat , Dept. of Electr. Eng., City Univ. of New York, NY, USA
B. Satish , Dept. of Electr. Eng., City Univ. of New York, NY, USA
pp. 275-281

On conditions for nonblocking multi-log/sub 2/N multiconnection networks (PDF)

Y. Tscha , Dept. of Comput. Sci. & Eng., Inha Univ., Inchon, South Korea
K.H. Lee , Dept. of Comput. Sci. & Eng., Inha Univ., Inchon, South Korea
pp. 268-274

A fast distributed network restoration algorithm (PDF)

C. Edward Chow , Dept. of Comput. Sci., Colorado Univ., Colorado Springs, CO, USA
J. Bicknell , Dept. of Comput. Sci., Colorado Univ., Colorado Springs, CO, USA
S. McCaughey , Dept. of Comput. Sci., Colorado Univ., Colorado Springs, CO, USA
pp. 261-267

Diagnostic tests for communicating finite state machines (PDF)

A. Ghedamsi , Montreal Univ., Que., Canada
G.V. Bochmann , Montreal Univ., Que., Canada
R. Dssouli , Montreal Univ., Que., Canada
pp. 254-260

Executable test sequences with operational coverage for LOTOS specifications (PDF)

T.Y. Cheung , Dept. of Comput. Sci., City Polytech. of Hong Kong, Kowloon, Hong Kong
pp. 245-253

Change management in object-oriented databases (PDF)

Y. Yang , Agency Rent-A-Car, Solon, OH, USA
pp. 238-244

An object-oriented SQL (OSQL) based on association pattern query formulation (PDF)

M. Guo , Bull HN Inf. Syst., Phoenix, AZ, USA
pp. 231-237

CDOL: a declarative platform for developing OODB applications (PDF)

A.P. Karadimce , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
S.D. Urban , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
pp. 224-230

First class functions and dynamic binding of methods to classes (PDF)

M. Ancona , Genova Univ., Italy
P. Nieddu , Genova Univ., Italy
pp. 217-223

An object-oriented approach for implementing algorithm-based fault tolerance (PDF)

R.K. Acree , Comput. Eng. Res. Center, Texas Univ., Austin, TX, USA
N. Ullah , Comput. Eng. Res. Center, Texas Univ., Austin, TX, USA
A. Karia , Comput. Eng. Res. Center, Texas Univ., Austin, TX, USA
J.T. Rahmeh , Comput. Eng. Res. Center, Texas Univ., Austin, TX, USA
J.A. Abraham , Comput. Eng. Res. Center, Texas Univ., Austin, TX, USA
pp. 210-216

Renovation of complex objects in the temporal object system (PDF)

A.A. Shah , Dept. of Comput. Sci., King Saud Univ., Riyadh, Saudi Arabia
pp. 203-209

Towards an authorization mechanism for user-role based security in an object-oriented design model (PDF)

S.A. Demurjian , Dept. of Comput. Sci. & Eng., Connecticut Univ., Storrs, CT, USA
M.-Y. Hu , Dept. of Comput. Sci. & Eng., Connecticut Univ., Storrs, CT, USA
T.C. Ting , Dept. of Comput. Sci. & Eng., Connecticut Univ., Storrs, CT, USA
D. Kleinman , Dept. of Comput. Sci. & Eng., Connecticut Univ., Storrs, CT, USA
pp. 195-202

Approaches to secure delegation in distributed systems (PDF)

T. Hardjono , ATR Int., Kyoto, Japan
T. Ohta , ATR Int., Kyoto, Japan
pp. 188-194

A reliability enhancement approach for computer networks and distributed applications (PDF)

A. Kumar , Dept. of Eng. Math. & Comput. Sci., Louisville Univ., KY, USA
pp. 181-187

A fault tolerant (/spl radic/N) algorithm for distributed mutual exclusion (PDF)

C. Wu , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 175-180

Distributed consensus with general omission failures and timing uncertainty (PDF)

A.A. Bharali , Dept. of Comput. Sci., Pennsylvania State Univ., University Park, PA, USA
P. Berman , Dept. of Comput. Sci., Pennsylvania State Univ., University Park, PA, USA
pp. 168-174

Efficient and fault-tolerant checkpointing procedures for distributed systems (PDF)

K. Saleh , Dept. of Electr. & Comput. Eng., Kuwait Univ., Kuwait
pp. 161-167

Optimal 0/1 vote assignment for replicated data (PDF)

H.-k. Chang , Dept. of Comput. & Inf. Sci., Nat. Chiao Tung Univ., Hsinchu, Taiwan
S.-M. Yuan , Dept. of Comput. & Inf. Sci., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 154-160

Signature file hashing using term occurrence and query frequencies (PDF)

D. Aktug , Dept. of Syst. Anal., Miami Univ., Oxford, OH, USA
F. Can , Dept. of Syst. Anal., Miami Univ., Oxford, OH, USA
pp. 148-153

A graph-based signal flow direction assignment method for CMOS circuits (PDF)

P.-H.P. Wang , Dept. of Comput. Sci., California Univ., Los Angeles, CA, USA
L.P. McNamee , Dept. of Comput. Sci., California Univ., Los Angeles, CA, USA
pp. 141-147

Evaluating FPGAs: capacity and utilization (PDF)

B. Small , Dept. of Electr. Eng., Santa Clara Univ., CA, USA
A. Bodmer , Dept. of Electr. Eng., Santa Clara Univ., CA, USA
S. Mourad , Dept. of Electr. Eng., Santa Clara Univ., CA, USA
pp. 134-140

Flexible system interface ASIC for FDDI adapter (PDF)

R. Venkataraman , National Semiconductor Corp., South Portland, ME, USA
pp. 127-133

A comparison of adaptive packet-routing algorithms for tori (PDF)

R.V. Boppana , Div. of Math.-Comput. Sci.-Stat., Texas Univ., San Antonio, TX, USA
pp. 120-126

Linda-LAN: a controlled parallel processing environment (PDF)

G.E. Cline , Industrial Computing Designs Corp., Blacksburg, VA, USA
pp. 112-119

Network traffic workload classification methods for workstation GUI applications (PDF)

A.J. Gebele , Bellcore, Piscataway, NJ, USA
K. Khalil , Bellcore, Piscataway, NJ, USA
pp. 105-111

On instruction windowing for fine grain parallelism in high-performance processors (PDF)

H.C. Torng , Sch. of Electr. Eng., Cornell Univ., Ithaca, NY, USA
pp. 98-104

In-cache pre-processing and decode mechanisms for fine grain parallelism in SCISM (PDF)

S. Vassiliadis , IBM Corp., USA
B. Blaner , IBM Corp., USA
R.J. Eickemeyer , IBM Corp., USA
J. Phillips , IBM Corp., USA
N. Malik , IBM Corp., USA
pp. 91-97

Execution dependencies and their resolution in fine grain parallel machines (PDF)

N. Malik , IBM Corp., USA
S. Vassiliadis , IBM Corp., USA
R.J. Eickemeyer , IBM Corp., USA
J. Philips , IBM Corp., USA
pp. 86-90

Interconnection structures for highly parallel systems (PDF)

C.J. Georgiou , IBM T.J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 79-85

Extension of Stone's task assignment model for distributed computer systems (PDF)

S. Ramakrishnan , Bowling Green State Univ., OH, USA
L. Dunning , Bowling Green State Univ., OH, USA
P. Thondapu , Bowling Green State Univ., OH, USA
pp. 73-78

An interactive parallel program slicer for the hypercube (PDF)

M. Samadzadeh , Dept. of Comput. Sci., Oklahoma State Univ., Stillwater, OK, USA
T.-H. Hsiao , Dept. of Comput. Sci., Oklahoma State Univ., Stillwater, OK, USA
pp. 66-72

Measurement of parallelism in data communications protocol software (PDF)

S. Majumdar , Dept. of Syst. & Comput. Eng., Carleton Univ., Ottawa, Ont., Canada
C.M. Woodside , Dept. of Syst. & Comput. Eng., Carleton Univ., Ottawa, Ont., Canada
D. Bailey , Dept. of Syst. & Comput. Eng., Carleton Univ., Ottawa, Ont., Canada
pp. 56-65

A functional reconfigurable architecture and compiler for adaptive computing (PDF)

P.M. Athanas , Bradley Dept. of Electr. Eng., Virginia Polytech. Inst. & State Univ., Blacksburg, VA, USA
pp. 49-55

A reconfigurable modular fault-tolerant binary tree architecture (PDF)

C.S. Yang , Nat. Sun Yat-Sen Univ., Kaohsiung, Taiwan
L.P. Zu , Nat. Sun Yat-Sen Univ., Kaohsiung, Taiwan
pp. 37-41

Computing on reconfigurable buses (PDF)

R. Lin , Dept. of Comput. Sci., State Univ. of New York, Geneseo, NY, USA
pp. 30-36

Reconfigurable buses with shift switching-architectures and applications (PDF)

R. Lin , Dept. of Comput. Sci., State Univ. of New York, Geneseo, NY, USA
pp. 23-29

Efficient reconfiguration of 2-D rectangular systolic arrays (PDF)

S. Kumar , Dept. of Electr. & Comput. Eng., North Carolina State Univ., Raleigh, NC, USA
D.P. Agrawal , Dept. of Electr. & Comput. Eng., North Carolina State Univ., Raleigh, NC, USA
pp. 16-22

Tolerating a faulty edge in a multi-dimensional mesh (PDF)

A.A. Farrag , Dept. of Math. & Comput. Sci., Dalhousie Univ., Halifax, NS, Canada
pp. 9-15

A modified subcube for processor allocation in circuit-switched hypercubes (PDF)

J.-U. Kim , Dept. of Electr. Eng., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
C.-H. Lee , Dept. of Electr. Eng., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
K.H. Park , Dept. of Electr. Eng., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
pp. 1-8

A comparative study of flow control methods in high-speed networks (PDF)

A.R. Osborn , Sch. of Electr. Eng., Georgia Inst. of Technol., Atlanta, GA, USA
D.W. Browning , Sch. of Electr. Eng., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 353-359

Optimal stochastic flow control in a high speed virtual circuit (PDF)

D.W. Browning , Sch. of Electr. Eng., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 360-366

A model-based foundation for evaluating large scale telecommunications systems (PDF)

W.D. Obal , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
W.H. Sanders , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 367-369

Performance analysis of integrated voice/data communication in cellular systems with virtually fixed channel assignment (PDF)

P. Mirchandani , Dept. of Syst. & Ind. Eng., Arizona Univ., Tucson, AZ, USA
Z. Xu , Dept. of Syst. & Ind. Eng., Arizona Univ., Tucson, AZ, USA
pp. 370-375

Image coding for telecommunications (PDF)

P. Sriram , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
M.W. Marcellin , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 376-377

The development of low-earth-orbit store-and-forward satellites in the Amateur Radio Service (PDF)

R.J. Diersing , Dept. of Comput. Inf. Syst., Texas A&I Univ., Kingsville, TX, USA
pp. 378-386

Performance of a demand assignment packet switch for terrestrial and satellite networks (PDF)

D.P. Gerakoulis , Dept. of Electr. Eng., City Coll. of New York, NY, USA
J. Mathew , Dept. of Electr. Eng., City Coll. of New York, NY, USA
T.N. Saadawi , Dept. of Electr. Eng., City Coll. of New York, NY, USA
pp. 387-393

An analysis of uplink multiple access protocols in meshed VSAT satellite networks (PDF)

Y.-H. Lee , Dept. of Comput. & Inf. Sci., Florida Univ., Gainesville, FL, USA
R.Y.C. Chow , Dept. of Comput. & Inf. Sci., Florida Univ., Gainesville, FL, USA
K. Lim , Dept. of Comput. & Inf. Sci., Florida Univ., Gainesville, FL, USA
pp. 394-400

A fast link assignment algorithm for satellite communication networks (PDF)

K. Harathi , Dept. of Comput. & Inf. Sci., Florida Univ., FL, USA
P. Krishna , Dept. of Comput. & Inf. Sci., Florida Univ., FL, USA
R.E. Newman-Wolfe , Dept. of Comput. & Inf. Sci., Florida Univ., FL, USA
R.Y.C. Chow , Dept. of Comput. & Inf. Sci., Florida Univ., FL, USA
pp. 401-408

Simulation of pointer activity in synchronous digital hierarchy networks (PDF)

H.L. Owen , Sch. of Electr. Eng., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 409-415

A technique for combining equalization with generalized differential detection (PDF)

K.M. Aleong , Dept. of Electr. Eng., McGill Univ., Montreal, Que., Canada
H. Leib , Dept. of Electr. Eng., McGill Univ., Montreal, Que., Canada
P. Kabal , Dept. of Electr. Eng., McGill Univ., Montreal, Que., Canada
pp. 416-422

Nonlinear asymmetrical multi-h phase codes combined with continuous phase modulation (PDF)

R. Mao , Sch. of Electr. & Comput. Eng., Texas Univ., Dallas, TX, USA
J.P. Fonseka , Sch. of Electr. & Comput. Eng., Texas Univ., Dallas, TX, USA
pp. 423-434

Fully phase transparent multidimensional trellis-coded MPSK (PDF)

C.-F. Lin , Dept. of Electr. Eng., Arizona State Univ., AZ, USA
W.T. Higgins , Dept. of Electr. Eng., Arizona State Univ., AZ, USA
pp. 435-440

Queued transaction processing within the UNIX operating system environment (PDF)

L.E. Heindel , Bellcore, Piscataway, NJ, USA
V.A. Kasten , Bellcore, Piscataway, NJ, USA
K.J. Schlieber , Bellcore, Piscataway, NJ, USA
pp. 441-446

Open architecture telecommunications provisioning systems (PDF)

L.E. Heindel , Bellcore, Piscataway, NJ, USA
K.J. Schlieber , Bellcore, Piscataway, NJ, USA
pp. 447-453

Functional descriptions of network management (PDF)

T. Walles , BT Labs., Ipswich, UK
pp. 454-460

Networking in Baltic countries: Current developments (PDF)

A. Pakstas , Dept. of Comput. Syst. & Telematics, Norwegian Inst. of Technol., Trondheim, Norway
pp. 461-467

Managing the software factory (PDF)

L.E. Heindel , Bellcore, Piscataway, NJ, USA
V.A. Kasten , Bellcore, Piscataway, NJ, USA
pp. 468-474

Managing software development to cost and schedule (PDF)

L. Moore , McDonnell Douglas Electronic Systems Co., Santa Ana, CA, USA
pp. 475-482

Customer-focused initiative management: Reengineering the process (PDF)

L.E. Heindel , Bellcore, Piscataway, NJ, USA
V.A. Kasten , Bellcore, Piscataway, NJ, USA
K.J. Schlieber , Bellcore, Piscataway, NJ, USA
pp. 483-487

Electronic mail and privacy in the corporate environment (PDF)

C.A. Wood , Computer Sciences Corp., Moorestown, NJ, USA
pp. 488-494

Network programming support with object-oriented paradigm (PDF)

K. Yuasa , Matsushita Electric Ind. Co. Ltd., Tokyo, Japan
P. Kumar Sinha , Matsushita Electric Ind. Co. Ltd., Tokyo, Japan
pp. 495-501

DAMOCLES-An evolutionary approach to design tracking (PDF)

V. Vasudevan , Motorola Inc., Tempe, AZ, USA
D.K. Gossain , Motorola Inc., Tempe, AZ, USA
D. Rigg , Motorola Inc., Tempe, AZ, USA
pp. 502-509

Prototyping distributed applications based on RPC (PDF)

W. Zhao , Dept. of Comput. Technol., Monash Univ., Clayton, Vic., Australia
B. Srinivasan , Dept. of Comput. Technol., Monash Univ., Clayton, Vic., Australia
C. Avram , Dept. of Comput. Technol., Monash Univ., Clayton, Vic., Australia
pp. 517-523

Automatic touring in a hypertext system (PDF)

A. Johnson , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
F. Fotouhi , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
pp. 524-530

Temporal analysis for hard real-time scheduling (PDF)

M.C. Saksena , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
A.K. Agrawala , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
pp. 538-544

A versatile video pattern generator for vision test (PDF)

M.S. Obaidat , Dept. of Electr. Eng., City Univ. of New York, NY, USA
D.S. Abu-Saymeh , Dept. of Electr. Eng., City Univ. of New York, NY, USA
pp. 545-551

Neural network recognition of human face images stored in the database (PDF)

D.Z. Badal , Comput. Sci. Dept., Colorado Univ., Colorado Springs, CO, USA
pp. 552-558

Parallel computing algorithm of neural networks on an eight-neighbor processor array (PDF)

T. Takeda , Dept. of Electr. & Inf. Eng., Yamagata Univ., Japan
A. Tanaka , Dept. of Electr. & Inf. Eng., Yamagata Univ., Japan
K. Tanno , Dept. of Electr. & Inf. Eng., Yamagata Univ., Japan
pp. 559-564

A backpropagation neural network for risk assessment (PDF)

R.R. Hashemi , Arkansas Univ., Little Rock, AR, USA
N.L. Stafford , Arkansas Univ., Little Rock, AR, USA
pp. 565-570

State nets: an expressively efficient behavioral model (PDF)

C. Giraud-Carrier , Dept. of Comput. Sci., Brigham Young Univ., Provo, UT, USA
S.N. Woodfield , Dept. of Comput. Sci., Brigham Young Univ., Provo, UT, USA
D.W. Embley , Dept. of Comput. Sci., Brigham Young Univ., Provo, UT, USA
pp. 571-577

A real-time specification method for specifying and validating real-time concurrent systems (PDF)

K.-Y. Sung , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
J.E. Urban , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
pp. 578-584

A static semantic analyzer for LOTOS specifications (PDF)

L. Durante , Politecnico di Torino, Italy
R. Sisto , Politecnico di Torino, Italy
A. Valenzano , Politecnico di Torino, Italy
pp. 585-592

A visual design support system for telecommunication services (PDF)

K. Takami , ATR Commun. Syst. Res. Lab., Kyoto, Japan
Y. Harada , ATR Commun. Syst. Res. Lab., Kyoto, Japan
T. Ohta , ATR Commun. Syst. Res. Lab., Kyoto, Japan
N. Terashima , ATR Commun. Syst. Res. Lab., Kyoto, Japan
pp. 593-599
88 ms
(Ver 3.3 (11022016))