The Community for Technology Leaders
1990 Ninth Annual International Phoenix Conference on Computers and Communications (1990)
Scottsdale, AZ, USA
March 21, 1990 to March 23, 1990
ISBN: 0-8186-2030-7
TABLE OF CONTENTS

The design of medical image databases: a distributed approach (PDF)

O.R. Liu Sheng , Dept. of Manage. Inf. Syst., Arizona Univ., Tucson, AZ, USA
H.-M.C. Garcia , Dept. of Manage. Inf. Syst., Arizona Univ., Tucson, AZ, USA
pp. 2808-2895

Reliable broadcasting algorithm for a cube-connected cycles network (PDF)

J.E. Jang , Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
pp. 3-9

Analytical analysis of reliability for executing remote programs on idling workstations (PDF)

C. Zhang , Dept. of Comput. Sci., North Texas Univ., Denton, TX, USA
C.-Q. Yang , Dept. of Comput. Sci., North Texas Univ., Denton, TX, USA
pp. 10-16

Distributed diagnosis for homogeneous systems (PDF)

Y.-H. Choi , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
pp. 17-22

Fault analysis of a TMR system using multiple valued logic (PDF)

S.R. Nanduri , Dept. of Electr. & Comput. Eng., Montreal Univ., Que., Canada
A.K. El Hakeem , Dept. of Electr. & Comput. Eng., Montreal Univ., Que., Canada
A.J. Al-Khalili , Dept. of Electr. & Comput. Eng., Montreal Univ., Que., Canada
pp. 23-29

VLSI neural systems and circuits (PDF)

P. Hasler , Arizona State Univ., Tempe, AZ, USA
L.A. Akers , Arizona State Univ., Tempe, AZ, USA
pp. 31-37

NNET: some tools for neural networks simulation (PDF)

C. Ferretti , Dipartimento di Sci. dell'Inf., Milano Univ., Italy
G. Mauri , Dipartimento di Sci. dell'Inf., Milano Univ., Italy
pp. 38-43

A configurable array architecture for WSI implementation of neural nets (PDF)

F. Distante , Dipartimento de Elettronica, Politecnico di Milano, Italy
M.G. Sami , Dipartimento de Elettronica, Politecnico di Milano, Italy
R. Stefanelli , Dipartimento de Elettronica, Politecnico di Milano, Italy
G.S. Gajani , Dipartimento de Elettronica, Politecnico di Milano, Italy
pp. 44-51

High precision control of a flexible arm by neural networks (PDF)

B. Apolloni , Dipartimento di Sci. dell'Inf., Milano Univ., Italy
F. Perego , Dipartimento di Sci. dell'Inf., Milano Univ., Italy
pp. 52-59

Massively parallel approach to pattern recognition (PDF)

W. Wang , Dept. of Comput. Sci., Louisiana State Univ., Baton Rouge, LA, USA
S.S. Iyengar , Dept. of Comput. Sci., Louisiana State Univ., Baton Rouge, LA, USA
J. Chen , Dept. of Comput. Sci., Louisiana State Univ., Baton Rouge, LA, USA
pp. 61-67

VLSI parallel and distributed computation algorithms for discrete cosine transform processors (PDF)

T.-Y. Sung , Telecommun. Lab., Minist. of Commun., Chungli, Taiwan
pp. 68-72

Image classification by using associative noise-like coding memories (PDF)

G. Parodi , Dept. of Biophys. & Electron. Eng., Genoa Univ., Italy
R. Zunino , Dept. of Biophys. & Electron. Eng., Genoa Univ., Italy
pp. 73-77

A two-scan algorithm and architecture to a root for morphological filters (PDF)

F.Y. Shih , New Jersey Inst. of Technol., Newark, NJ, USA
C.T. King , New Jersey Inst. of Technol., Newark, NJ, USA
C.C. Pu , New Jersey Inst. of Technol., Newark, NJ, USA
pp. 78-84

Limitations to parallel processing (PDF)

W.H. Burkhardt , Inst. fur Inf., Stuttgart Univ., West Germany
pp. 86-93

A communications subsystem for the homogeneous multiprocessor (PDF)

W. Prager , Concordia Univ., Montreal, Que., Canada
J.W. Atwood , Concordia Univ., Montreal, Que., Canada
pp. 94-100

Top-1: a snoop-cache-based multiprocessor (PDF)

N. Oba , IBM Japan Ltd., Tokyo, Japan
A. Moriwaki , IBM Japan Ltd., Tokyo, Japan
S. Shimizu , IBM Japan Ltd., Tokyo, Japan
pp. 101-108

Columbia supercomputer: architecture and interconnection network (PDF)

H. Shi , Dept. of Electr. Eng., Columbia Univ., New York, NY, USA
pp. 109-114

Computing particular snapshots in distributed systems (PDF)

J. Helary , IRISA, Rennes, France
N. Plouzeau , IRISA, Rennes, France
M. Raynal , IRISA, Rennes, France
pp. 116-123

Communication cost in bus structured distributed systems (PDF)

B.E. Waldecker , Texas Univ., Austin, TX, USA
M.J. Gonzalez , Texas Univ., Austin, TX, USA
pp. 124-130

Deadlock detection in distributed systems (PDF)

A.K. Datta , Dept. of Comput. Sci. & Electr. Eng., Nevada Univ., Las Vegas, NV, USA
pp. 131-136

A fast, general-purpose algorithm for reliability evaluation of distributed systems (PDF)

A.P. Karadimce , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
R.R. Seban , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
pp. 137-146

A distributed memory multiprocessor based on dataflow synchronization (PDF)

S. Mitrovic , Swiss Fed. Inst. of Technol., Zurich, Switzerland
O. Maquelin , Swiss Fed. Inst. of Technol., Zurich, Switzerland
R. Marti , Swiss Fed. Inst. of Technol., Zurich, Switzerland
S. Murer , Swiss Fed. Inst. of Technol., Zurich, Switzerland
P. Schibli , Swiss Fed. Inst. of Technol., Zurich, Switzerland
M. Tadjan , Swiss Fed. Inst. of Technol., Zurich, Switzerland
J. Wyttenbach , Swiss Fed. Inst. of Technol., Zurich, Switzerland
pp. 148-154

A technique to derive time costs of data flow programs (PDF)

B. Qin , Dept. of Comput. Sci. & Eng., Connecticut Univ., Storrs, CT, USA
R.A. Ammar , Dept. of Comput. Sci. & Eng., Connecticut Univ., Storrs, CT, USA
H.A. Sholl , Dept. of Comput. Sci. & Eng., Connecticut Univ., Storrs, CT, USA
pp. 155-162

Performance modeling for the ATAMM data flow architecture (PDF)

S. Som , Dept. of Electr. & Comput. Eng., Old Dominion Univ., Norfolk, VA, USA
J.W. Stoughton , Dept. of Electr. & Comput. Eng., Old Dominion Univ., Norfolk, VA, USA
R.R. Mielke , Dept. of Electr. & Comput. Eng., Old Dominion Univ., Norfolk, VA, USA
pp. 163-169

A hybrid approach for efficient dataflow computing (PDF)

Y.-C. Hong , Dept. of Math. & Comput. Sci., California Univ., Riverside, CA, USA
T.H. Payne , Dept. of Math. & Comput. Sci., California Univ., Riverside, CA, USA
pp. 170-178

Communicating with scientific satellites in the TDRSS era (PDF)

H.J. Bender , CTA Inc., Rockville, MD, USA
pp. 181-186

The evolutionary path to broadband ISDN (PDF)

R.G. Foldvik , US WEST Adv. Technol., Bellevue, WA, USA
pp. 187-193

An efficient algorithm for reconfiguration of large-scale point-to-point satellite computer networks with maximum connectivity (PDF)

K.C.K. Luo , Dept. of Comput. & Inf. Sci., Florida Univ., FL, USA
R.Y.C. Chow , Dept. of Comput. & Inf. Sci., Florida Univ., FL, USA
R. Newman-Wolfe , Dept. of Comput. & Inf. Sci., Florida Univ., FL, USA
pp. 194-201

Internetworking ISDN with LAN (PDF)

J. Tao , Comput. Eng. Res. Lab., Arizona Univ., Tucson, AZ, USA
R. Martinez , Comput. Eng. Res. Lab., Arizona Univ., Tucson, AZ, USA
C. Jiron , Comput. Eng. Res. Lab., Arizona Univ., Tucson, AZ, USA
P. Afsharnejad , Comput. Eng. Res. Lab., Arizona Univ., Tucson, AZ, USA
pp. 202-207

PC based data communications system simulation (PDF)

R.P. Cheung , Precision Inf. Inc., Redondo Beach, CA, USA
pp. 209-216

Random number generation without multiplication (PDF)

P.W. Wong , Dept. of Electr. & Comput. Eng., Clarkson Univ., Potsdam, NY, USA
pp. 217-221

Adaptive blind equalization criteria and algorithms for QAM data communication systems (PDF)

Y. Lou , Dept. of Electr. & Comput. Eng., Northeastern Univ., Boston, MA, USA
pp. 222-229

Optical receivers based on multistage laser preamplifiers (PDF)

R.S. Fyath , Sch. of Electron. Eng. Sci., Wales Univ., Bangor, UK
J.J. O'Reilly , Sch. of Electron. Eng. Sci., Wales Univ., Bangor, UK
pp. 230

Synchronization considerations in meteor-burst communications (PDF)

S.L. Miller , Dept. of Electr. Eng., Florida Univ., Gainesville, FL, USA
pp. 231-235

High data rate meteor-burst communications (PDF)

D.L. Schilling , Dept. of Electr. Eng., City Coll. of New York, NY, USA
pp. 241-245

Retransmission schemes for meteor-burst communications (PDF)

S.D. Sandberg , MIT, Lincoln Lab., Lexington, MA, USA
pp. 246-253

Comparative study of algorithms for VQ design using conventional and neural-net based approaches (PDF)

F.H. Wu , US West Adv. Technol. Inc., Englewood, CO, USA
K. Ganesan , US West Adv. Technol. Inc., Englewood, CO, USA
pp. 263-267

Perceptual considerations in a low bit rate sinusoidal vocoder (PDF)

E.B. George , Sch. of Electr. Eng., Georgia Inst. of Technol., Atlanta, GA, USA
M.J.T. Smith , Sch. of Electr. Eng., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 268-275

Seismic data compression (PDF)

S.B. Jonsson , Dept. of Electr. Eng., Arizona State Univ., Tempe, AZ, USA
A.S. Spanias , Dept. of Electr. Eng., Arizona State Univ., Tempe, AZ, USA
pp. 276-279

An edge preserving differential image coding scheme (PDF)

M.C. Rost , Sandia Nat. Lab., Albuquerque, NM, USA
pp. 280-286

Information management in hospitals: an integrating approach (PDF)

O.R. Liu Sheng , Dept. of Manage. Inf. Syst., Arizona Univ., Tucson, AZ, USA
H.-M.C. Garcia , Dept. of Manage. Inf. Syst., Arizona Univ., Tucson, AZ, USA
pp. 296-303

Network software for picture archiving and communications systems (PDF)

K.M. McNeill , Radiol. Res. Lab., Arizona Univ., Tucson, AZ, USA
pp. 304-308

Design of a network interface unit for a picture archiving and communication system network operating at 200-500 Mbps (PDF)

M. Lindsey , Comput. Eng. Res. Lab., Arizona Univ., Tucson, AZ, USA
Y. Alsafadi , Comput. Eng. Res. Lab., Arizona Univ., Tucson, AZ, USA
R. Martinez , Comput. Eng. Res. Lab., Arizona Univ., Tucson, AZ, USA
pp. 310-316

A relational object-oriented management system (PDF)

M.L. Nelson , Dept. of Comput. Sci., US Naval Postgrad. Sch., Monterey, CA, USA
pp. 319-323

Persistent heaps (PDF)

M. Ancona , Dept. of Math., Genova Univ., Italy
pp. 324-331

Distributed environments based on objects: upgrading Smalltalk toward distribution (PDF)

A. Corradi , Dipartimento di Elettronica, Inf. e Syst., Bologna Univ., Italy
L. Leonardi , Dipartimento di Elettronica, Inf. e Syst., Bologna Univ., Italy
M. Zannini , Dipartimento di Elettronica, Inf. e Syst., Bologna Univ., Italy
pp. 332-339

A multilevel programming paradigm (PDF)

K.M. George , Dept. of Comput. & Inf. Sci., Oklahoma State Univ., Stillwater, OK, USA
pp. 340-346

ROPCO: an environment for micro-incremental reuse (PDF)

M. Kazerooni-Zand , Dept. of Comput. Sci., Langston Univ., OK, USA
pp. 347-354

Achieving high-quality systems: making CASE work in your organization (PDF)

P.L. Radding , Technol. Decisions Inc., Brimingham, MI, USA
pp. 356-363

Parallel system development: a reference model for CASE tools (PDF)

D.J. Hatley , Smiths Ind. Aerosp. & Defense Syst. Inc., Grand Rapids, MI, USA
pp. 364-372

Breaking down the barriers to CASE (PDF)

D.J. Mosley , Washington Univ., St. Louis, MO, USA
pp. 373-375

Smart CASE shopping (PDF)

D. Sharon , CASE Associates Inc., Oregon City, OR, USA
pp. 376-379

A strategy for CASE tool standard (PDF)

F. Coallier , Bell Canada, Longueuil, Que., Canada
pp. 380-384

A distributed multiparty desktop conferencing system and its architecture (PDF)

K. Watabe , NEC Corp., Kawasaki, Japan
S. Sakata , NEC Corp., Kawasaki, Japan
K. Maeno , NEC Corp., Kawasaki, Japan
H. Fukuoka , NEC Corp., Kawasaki, Japan
K. Maebara , NEC Corp., Kawasaki, Japan
pp. 386-393

Optimal data allocation in a bus computer network (PDF)

H. Lee , Dept. of Manage. Inf. Syst., Arizona Univ., Tuscon, AZ, USA
O.R. Liu Sheng , Dept. of Manage. Inf. Syst., Arizona Univ., Tuscon, AZ, USA
pp. 394-399

Communication in the Raid distributed database system (PDF)

B. Bhargava , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
E. Mafla , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
J. Riedl , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
pp. 400-407

Software engineering in distributed systems-approaches and issues (PDF)

M. Muhlhauser , Kaiserslautern Univ., West Germany
pp. 408-416

Comparison of two estimation methods of the mean time-interval between software failures (PDF)

J. Hishitani , Dept. of Ind. & Syst. Eng., Hiroshima Univ., Japan
S. Yamada , Dept. of Ind. & Syst. Eng., Hiroshima Univ., Japan
S. Osaki , Dept. of Ind. & Syst. Eng., Hiroshima Univ., Japan
pp. 418-424

A path analysis approach to concurrent program testing (PDF)

R.-D. Yang , Inst. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsin Chu, Taiwan
C.-G. Chung , Inst. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsin Chu, Taiwan
pp. 425-432

Reusing proofs of program correctness in ENCOMPASS (PDF)

R.B. Terwilliger , Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA
pp. 433-440

Extending analysis paradigms (PDF)

S.N. Woodfield , Brigham Young Univ., Provo, UT, USA
D.W. Embley , Brigham Young Univ., Provo, UT, USA
pp. 441-446

Abstract data type and mathematical software reusability: two linked concepts (PDF)

P. Di Felice , Dept. of Electr. Eng., L'Aquila Univ., Italy
pp. 448-452

Rapid Ada prototyping: principles and example of a complex application (PDF)

F. Kordon , Lab. MASI, Univ. Pierre et Marie Curie, Paris, France
P. Estraillier , Lab. MASI, Univ. Pierre et Marie Curie, Paris, France
R. Card , Lab. MASI, Univ. Pierre et Marie Curie, Paris, France
pp. 453-460

On constructing executable prototypes from structured analysis (PDF)

R.-J. Lea , Nat. Chiao Tung Univ., Hsinchu, Taiwan
C.-G. Chung , Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 461-468

A retargetable compiler for the generation of control routines of a microprocessor-based digital system (PDF)

Y.-H. Kuo , Inst. of Inf. Eng., Nat. Cheng Kung Univ., Tainan, Taiwan
L.-Y. Kung , Inst. of Inf. Eng., Nat. Cheng Kung Univ., Tainan, Taiwan
G.-H. Jeng , Inst. of Inf. Eng., Nat. Cheng Kung Univ., Tainan, Taiwan
T. Cheng , Inst. of Inf. Eng., Nat. Cheng Kung Univ., Tainan, Taiwan
pp. 469-476

Motion stereo vision using a line structural expression of images (PDF)

K. Fukunaga , Osaka Prefectural Univ., Japan
T. Asano , Osaka Prefectural Univ., Japan
H. Murata , Osaka Prefectural Univ., Japan
T. Nishimura , Osaka Prefectural Univ., Japan
M. Izumi , Osaka Prefectural Univ., Japan
pp. 478-485

A file service mechanism for distributed systems (PDF)

M. Tanaka , Adv. Syst. Res. Organ. Ltd., Tokyo, Japan
H. Fukuchi , Adv. Syst. Res. Organ. Ltd., Tokyo, Japan
pp. 486-492

3-D shape indexing language (PDF)

T. Horikoshi , NTT Human Interface Lab., Kanagawa, Japan
H. Kasahara , NTT Human Interface Lab., Kanagawa, Japan
pp. 493-499

An approach to conceptual modelling of IR auxiliary data (PDF)

M. Agosti , Dipartimento di Elettronica e Inf., Padova Univ., Italy
F. Crest ani , Dipartimento di Elettronica e Inf., Padova Univ., Italy
G. Gradenigo , Dipartimento di Elettronica e Inf., Padova Univ., Italy
P. Mattiello , Dipartimento di Elettronica e Inf., Padova Univ., Italy
pp. 500-505

Measurements on real-time performance of a token ring network (PDF)

J. Tusch , Lehrstuhl fuer Elektrische Regelungstech., Aachen Univ. of Technol., West Germany
pp. 509-515

Performance of Piggyback Ethernet (PDF)

W. Dobosiewicz , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
P. Gburzynski , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
pp. 516-522

Performance evaluation of an IEEE 802.4 LAN (PDF)

P.J. Polansky , Motorola Inc., Austin, TX, USA
Y. Shvager , Motorola Inc., Austin, TX, USA
pp. 523-530

A starvation-free access protocol for a full-duplex buffer insertion ring local area network (PDF)

R. Simha , Dept. of Comput. & Inf. Sci., Massachusetts Univ., Amherst, MA, USA
pp. 531-538

Using protocol validation techniques to solve protocol conversion problems (PDF)

J. Chang , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
M.T. Liu , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
pp. 539-546

Performance analysis of DQDB (PDF)

P. Davids , Dept. of Comput. Sci., Aachen Univ. of Technol., West Germany
P. Martini , Dept. of Comput. Sci., Aachen Univ. of Technol., West Germany
pp. 548-555

On the access fairness of the DQDB MAN protocol (PDF)

E.Y. Huang , Dept. of Electr. & Comput. Eng., Northeastern Univ., Boston, MA, USA
L.F. Merakos , Dept. of Electr. & Comput. Eng., Northeastern Univ., Boston, MA, USA
pp. 556-559

The network modeling tool: a design aid for large-scale campus networks (PDF)

D.W. Bachmann , Michigan Univ., Ann Arbor, MI, USA
M.E. Segal , Michigan Univ., Ann Arbor, MI, USA
M.M. Srinivasan , Michigan Univ., Ann Arbor, MI, USA
T.J. Teorey , Michigan Univ., Ann Arbor, MI, USA
pp. 560-567

Delay analysis of a metropolitan area network (PDF)

X. Meng , Dept. of Comput. Sci., Worcester Polytech. Inst., MA, USA
R.E. Kinicki , Dept. of Comput. Sci., Worcester Polytech. Inst., MA, USA
pp. 568-574

Guaranteed, reliable, secure broadcast networks (PDF)

L.C.N. Tseung , Multipac Inc., Acton, MA, USA
pp. 576-583

Protocol conversion between complex protocols (PDF)

J.C. Shu , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
M.T. Liu , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
pp. 584-590

Implementation issues for an IEEE 802.4 token bus LAN carrierband physical layer (PDF)

T. Balph , Motorola Semiconductor Products, Phoenix, AZ, USA
pp. 591-597

Requirements for token holding times in timed-token protocols (PDF)

P. Montuschi , Politecnico di Torino, Italy
A. Valenzano , Politecnico di Torino, Italy
pp. 598-604

Two learning methods for a tree-search combinatorial optimizer (PDF)

M.A. Perkowski , Dept. of Electr. Eng., Portland State Univ., OR, USA
pp. 606-613

A mixed-level MOS logic simulator utilizing a new continuous strength algebra (CSAL) (PDF)

J.-H. Kong , Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
S.A. Szygenda , Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
pp. 614-621

Test generation based on dynamic search space reductions (PDF)

X. Wang , Digital Equipment Corp., Marlboro, MA, USA
pp. 622-629

A vector based backward state justification search for test generation in sequential circuits (PDF)

M.D.G. Karunaratne , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
F.J. Hill , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 630-637

LAN/MAN interworking in the 802.6/SMDS environment (PDF)

R. Perry , US West Adv. Technol., Englewood, CO, USA
pp. 639-648

A combined hardware, software and usage model of network reliability and availability (PDF)

J.B. Bowles , Univ. of South Carolina, Columbia, SC, USA
V. Swaminathan , Univ. of South Carolina, Columbia, SC, USA
pp. 649-654

An algorithm for the computation of computer network reliability in linear-time (PDF)

S.G. Belovich , Dept. of Electr. Eng., Cleveland State Univ., OH, USA
V.K. Konangi , Dept. of Electr. Eng., Cleveland State Univ., OH, USA
pp. 655-660

Topological design of local access networks (PDF)

V.K. Konangi , Dept. of Electr. Eng., Cleveland State Univ., OH, USA
C.R. Dhas , Dept. of Electr. Eng., Cleveland State Univ., OH, USA
S.G. Belovich , Dept. of Electr. Eng., Cleveland State Univ., OH, USA
pp. 661-665

A cooperative LAN diagnostic and observation expert system (PDF)

T. Sugawara , NTT Software Lab., Tokyo, Japan
pp. 667-674

Methodology for network security design (PDF)

D. Graft , Tellabs Inc., Lisle, IL, USA
M. Pabrai , Tellabs Inc., Lisle, IL, USA
pp. 675-682

A new access control scheme with high data security (PDF)

J.C.R. Tseng , Inst. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsin-Chu, Taiwan
W.-P. Yang , Inst. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsin-Chu, Taiwan
pp. 683-688

Management of distributed systems (PDF)

Y.C. Shim , Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
C.V. Ramamoorthy , Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
pp. 689-696

An object oriented model for expert system shell design (PDF)

J.D. Riedesel , Martin Marietta Astronaut. Group, Denver, CO, USA
pp. 699-705

A methodology for the design of data dictionaries (PDF)

C. Batini , Dipartimento di Inf. e Sistemistica, Roma Univ., Italy
G. Di Battista , Dipartimento di Inf. e Sistemistica, Roma Univ., Italy
G. Santucci , Dipartimento di Inf. e Sistemistica, Roma Univ., Italy
pp. 706-713

An intelligent tutoring system (PDF)

R.P. Srivastava , Dept. of Comput. & Inf. Sci., Towson State Univ., MD, USA
pp. 714-718

A semantic data model for intellectual database access (PDF)

T. Watanabe , Dept. of Inf. Eng., Nagoya Univ., Japan
Y. Uehara , Dept. of Inf. Eng., Nagoya Univ., Japan
Y. Yoshida , Dept. of Inf. Eng., Nagoya Univ., Japan
pp. 719-725

Allocation schemes for distributed problem-solving in logic programming (PDF)

W.B. Day , Dept. of Comput. Sci. & Eng., Auburn Univ., AL, USA
pp. 727-733

A parallel concept learning algorithm based upon version space strategy (PDF)

T.P. Hong , Dept. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
S.S. Tseng , Dept. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 734-740

Distributed blackbox: a testbed for distributed problem solving (PDF)

K. Pitula , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
T. Radhakrishnan , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
C. Grossner , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
pp. 741-748

DIAES-a distributed image archiving expert system (PDF)

O.R. Liu Sheng , Arizona Univ., Tucson, AZ, USA
R. Martinez , Arizona Univ., Tucson, AZ, USA
J. Hu , Arizona Univ., Tucson, AZ, USA
Y. Huang , Arizona Univ., Tucson, AZ, USA
pp. 749-756

Real time image processor for in-line robotic control in flexible manufacturing systems (PDF)

K. O'Brien , Dept. of Electron. & Comput. Eng., Limerick Univ., Ireland
D.O. Conchuir , Dept. of Electron. & Comput. Eng., Limerick Univ., Ireland
pp. 788-794

Using objects to communicate legal information (PDF)

E.P. Richards , Denver Univ., CO, USA
B.B. Bounds , Denver Univ., CO, USA
pp. 766-771

CLIPS implementation of the automated document distribution system (PDF)

S. Mohamed , Comput. Eng. Res. Lab., Arizona Univ., Tucson, AZ, USA
R. Martinez , Comput. Eng. Res. Lab., Arizona Univ., Tucson, AZ, USA
pp. 779-786

Hierarchical controllers and diagnostic units for semi-autonomous teleoperation of a fluid handling laboratory (PDF)

H.S. Sarjoughian , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
F.E. Cellier , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
B.P. Zeigler , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 795-902

Concept for combining features of real-time and expert systems for on-line plant diagnosis (PDF)

H. Kern , Inst. of Mater. Technol., Dortmund Univ., West Germany
M. Fathi-Torbaghan , Inst. of Mater. Technol., Dortmund Univ., West Germany
pp. 803-807

Uncertainty in information retrieval: an approach based on fuzzy sets (PDF)

D. Lucarella , Dipartimento di Sci. dell'Inf., Milano Univ., Italy
pp. 809-814

Eliciting embedded meanings in building expert systems under uncertainty (PDF)

G.J. Hwang , Nat. Chiao Tung Univ., Hsinchu, Taiwan
S.S. Tseng , Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 815-821

Building expert systems by embedding analogical reasoning into deductive reasoning mechanism (PDF)

Y.-C. Yeh , Nat. Cheng Kung Univ., Tainan, Taiwan
Y.-H. Kuo , Nat. Cheng Kung Univ., Tainan, Taiwan
D.S. Hsu , Nat. Cheng Kung Univ., Tainan, Taiwan
pp. 822-826

Software interfaces for integrated simulation applications (PDF)

W.M. Zuberek , Dept. of Comput. Sci., Memorial Univ. of Newfoundland, St. John's, Nfld., Canada
pp. 832-839

Transmission line simulator as a basic component of CAD system for VLSI interconnects (PDF)

J.C. Liao , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
O.A. Palusinski , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
J.L. Prince , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 840-846

On the representation of coupled lossy transmission lines using transfer functions (PDF)

C.E. Baumgartner , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 847-852

Image processing by template polynomials (PDF)

P. Bhattacharya , Dept. of Comput. Sci. & Eng., Nebraska Univ., Lincoln, NE, USA
K. Qian , Dept. of Comput. Sci. & Eng., Nebraska Univ., Lincoln, NE, USA
pp. 862

Consensus problem on a generalized network connected by unreliable transmission media (PDF)

S.C. Wang , Dept. of Comput. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 863

Designing fault tolerant software with a recovery meta program (PDF)

A. Clematis , Istituto Matematica Applicata, CNR, Genova, Italy
pp. 864-865

Fast filtering in bridging Ethernet and FDDI networks: a CAM approach (PDF)

G. Bucci , Dipartmento di Sistemi e Inf., Firenze Univ., Italy
A. Del Bimbo , Dipartmento di Sistemi e Inf., Firenze Univ., Italy
S. Santini , Dipartmento di Sistemi e Inf., Firenze Univ., Italy
pp. 866-867

Algorithms for the calculation of Hadamard-Walsh spectrum for completely and incompletely specified Boolean functions (PDF)

B.J. Falkowski , Dept. of Electr. Eng., Portland State Univ., OR, USA
M.A. Perkowski , Dept. of Electr. Eng., Portland State Univ., OR, USA
pp. 868-869

Implementation of a parallel and distributed MAKE on NFS with GATOS (PDF)

B. Folliot , Univ. Pierre et Marie Curie, Paris, France
pp. 871

A software package tool for Markovian computing models and its applications (PDF)

S. Fukumoto , Dept. of Ind. & Syst. Eng., Hiroshima Univ., Japan
S. Osaki , Dept. of Ind. & Syst. Eng., Hiroshima Univ., Japan
pp. 872-873

Dataflow software pipelining: a case study (PDF)

G.R. Gao , Sch. of Comput. Sci., McGill Univ., Montreal, Que., Canada
Z. Paraskevas , Sch. of Comput. Sci., McGill Univ., Montreal, Que., Canada
pp. 874

Throughput of broadcast tandem go-back-N scheme (PDF)

Y. Hayashida , Dept. of Electron. Eng., Saga Univ., Japan
pp. 875

CGASC-a silicon compiler for the CMOS gate array (PDF)

J. Hu , Dept. of Electr. Eng., Tulane Univ., New Orleans, LA, USA
pp. 876

Cluster's last RAM: will dual-port RAM speed up a hierarchical cache multiprocessor ? (PDF)

M. Landgraf , Dept. of Electr. Eng. & Comput. Sci., California Univ., Davis, CA, USA
pp. 879

CASE for communications software (PDF)

J.T. Krist , Ameritech Services Sci. & Technol., Rolling Meadows, IL, USA
pp. 877-878

Data packet utilization in CCITT message handling systems (PDF)

P.W. Lee , AT&T Bell Labs., Holmdel, NJ, USA
pp. 880

A simulation tool for parallel algorithms design (PDF)

W. Lin , Dept. of Electr. & Comput. Eng., New Mexico Univ., Albuquerque, NM, USA
pp. 881

Distributed algorithms for multiple mutual exclusion based on Maekawa's square root N algorithm (PDF)

M. Mizuno , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
G. Sundar , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
pp. 883

A thread-dispatching kernel for event-driven applications (PDF)

M.F. Mohideen , Aeronaut. Radio Inc., Annapolis, MD, USA
D.A. Lambeth , Aeronaut. Radio Inc., Annapolis, MD, USA
M. Sreetharan , Aeronaut. Radio Inc., Annapolis, MD, USA
pp. 884

Mutual exclusion in arbitrary networks when process identity numbers are not distinct (PDF)

A. Bouabdallah , Lab. d'Inf., Besancon Univ., France
M. Naimi , Lab. d'Inf., Besancon Univ., France
pp. 885-886

Image coding using a dynamic multi-layer address-vector quantization technique (PDF)

Y. Feng , Dept. of Electr. Eng., Worcester Polytech. Inst., Holden, MA, USA
N.M. Nasrabadi , Dept. of Electr. Eng., Worcester Polytech. Inst., Holden, MA, USA
pp. 887-888

Size independent implementation of matrix operations on TASA-a two-dimensional array matrix architecture (PDF)

H. Van Dinh Le , Dept. of Electr. Eng., Portland State Univ., OR, USA
M.A. Perkowski , Dept. of Electr. Eng., Portland State Univ., OR, USA
pp. 889-890

Core-based RNS ALU with customized instructions (PDF)

G.A. Ray , Boeing High Technol. Center, Seattle, WA, USA
pp. 891

Communication software design for telescience (PDF)

R.A. Bienz , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
L.C. Schooley , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 892

Extra link multistage interconnection network for packet switching (PDF)

A.K. Somani , Fault Tolerant Comput. Lab., Washington Univ., Seattle, WA, USA
S.B. Choi , Fault Tolerant Comput. Lab., Washington Univ., Seattle, WA, USA
pp. 893

A pole-zero adaptive algorithm for speech processing (PDF)

A.S. Spanias , Dept. of Electr. Eng., Arizona State Univ., Tempe, AZ, USA
pp. 894

A new algorithm for simultaneous multiple entries in critical section in a distributed system (PDF)

P.K. Srimani , Dept. of Comput. Sci., Southern Illinois Univ., Carbondale, IL, USA
R.L.N. Reddy , Dept. of Comput. Sci., Southern Illinois Univ., Carbondale, IL, USA
pp. 895

Adaptive interleaved vector quantization in transform domain (PDF)

H. Sun , Dept. of Electr. Eng., Fairleigh Dickinson Univ., Teaneck, NJ, USA
A.C. Tan , Dept. of Electr. Eng., Fairleigh Dickinson Univ., Teaneck, NJ, USA
H.P. Hsu , Dept. of Electr. Eng., Fairleigh Dickinson Univ., Teaneck, NJ, USA
pp. 896-897

The role of location of traffic control in internetwork gateways (PDF)

O. Ulusoy , Dept. of Comput. Eng. & Inf. Sci., Bilkent Univ., Ankara, Turkey
M. Baray , Dept. of Comput. Eng. & Inf. Sci., Bilkent Univ., Ankara, Turkey
pp. 898

Controllable signature check pointing scheme for transient error detection (PDF)

B. Ramamurthy , State Univ. of New York, Buffalo, NY, USA
S.J. Upadhyaya , State Univ. of New York, Buffalo, NY, USA
pp. 899-900

Systolic arrays for bicubical polynomial evaluation in computer graphics (PDF)

A. Valenzano , Politecnico di Torino, Italy
P. Montuschi , Politecnico di Torino, Italy
pp. 901-902

Issues in the design and implementation of views in object-oriented databases (PDF)

V. Venugopal , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
pp. 903

Transmission revaluation of ISDN transmission lines at basic access (PDF)

W. Chang , Beijing Univ. of Posts & Telecommun., China
F. Lin , Beijing Univ. of Posts & Telecommun., China
W. Li , Beijing Univ. of Posts & Telecommun., China
W. Ding , Beijing Univ. of Posts & Telecommun., China
pp. 904

Dynamic allocating an optimum packet size for Chinese Teletex transmission (PDF)

A. Yang , Hong Kong Polytech., Kowloon, Hong Kong
Q. Ye , Hong Kong Polytech., Kowloon, Hong Kong
pp. 905

An efficient dynamic load balancing algorithm (PDF)

S.-M. Yuan , Technol. Res. Inst. Hsinchu, Taiwan
pp. 906

Compressed tree machines (PDF)

S.-Q. Zhengh , Dept. of Comput. Sci., Louisiana State Univ., Baton Rouge, LA, USA
pp. 907
86 ms
(Ver 3.3 (11022016))