The Community for Technology Leaders
1991Tenth Annual International Phoenix Conference on Computers and Communications (1991)
Scottsdale, AZ, USA
March 27, 1991 to March 30, 1991
ISBN: 0-8186-2133-8
TABLE OF CONTENTS

Performance modeling and enhancement in real-time data flow architectures (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. 3-9

Speeding up scene recognition by using an associative noise-like coding memory (PDF)

G. Parodi , Dept. of Biophys. & Electron. Eng., Genoa Univ., Italy
C. Regazzoni , Dept. of Biophys. & Electron. Eng., Genoa Univ., Italy
G. Vernazza , Dept. of Biophys. & Electron. Eng., Genoa Univ., Italy
R. Zunino , Dept. of Biophys. & Electron. Eng., Genoa Univ., Italy
pp. 10-16

VLSI-implementable scheme for invariant object recognition (PDF)

A. Rao , Center for Solid State Electron. Res., Arizona State Univ., Tempe, AZ, USA
L.A. Akers , Center for Solid State Electron. Res., Arizona State Univ., Tempe, AZ, USA
pp. 17-22

Implementation of analog neural networks (PDF)

P. Hasler , Center for Solid State Electron. Res., Arizona State Univ., Tempe, AZ, USA
L. Akers , Center for Solid State Electron. Res., Arizona State Univ., Tempe, AZ, USA
pp. 32-38

Self-organizing neural networks for unsupervised pattern recognition (PDF)

D.S. Kim , Dept. of Comput. Sci., South Carolina Univ., Columbia, SC, USA
pp. 39-45

Parallelizing OCR (PDF)

E. Montesinos , Inf. for Eng. & Sci., Karlsruhe Univ., Germany
J. Kienhofer , Inf. for Eng. & Sci., Karlsruhe Univ., Germany
pp. 46-52

Solving the file design problem with neural networks (PDF)

J. Liang , Inst. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
pp. 53-59

Testability conditions for linear sequential arrays (PDF)

G. Buonanno , Dipartimento di Elettronica, Politecnico di Milano, Italy
pp. 63-70

A rainbow net simulator with a dependability application (PDF)

M.A. Schoenfelder , Comput. Eng. Res. Center, Texas Univ., Austin, TX, USA
W.A. Rogers , Comput. Eng. Res. Center, Texas Univ., Austin, TX, USA
pp. 71-77

A high performance processor switch based architecture for fault tolerant computing (PDF)

H.C. Hsiaw , Unisys Corp., San Jose, CA, USA
S. Chih , Unisys Corp., San Jose, CA, USA
pp. 85-91

A measurement-based performance analyzer for real-time programs (PDF)

K.B. Kenny , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
K.-J. Lin , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 93-99

Threshold policies for load sharing in heterogeneous systems (PDF)

V.J. Malla , Sequent Comput. Syst., Beaverton, OR, USA
pp. 100-105

Vignettes: A distributed discrete event simulation system (PDF)

J.E. Butler , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
V.E. Wallentine , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
pp. 106-112

A study of achievable speedup in distributed simulation via NULL messages (PDF)

D. Kumar , Dept. of Comput. Eng. & Sci., Case Western Reserve Univ., Cleveland, OH, USA
S. Harous , Dept. of Comput. Eng. & Sci., Case Western Reserve Univ., Cleveland, OH, USA
pp. 113-119

Integrated predicative synchronization implemented in a federated DBMS (PDF)

S. Bottcher , IBM Deutschland GmbH, Stuttgart, Germany
pp. 123-129

A multiversion concurrency control algorithm for concurrent execution of partial update and bulk retrieval transactions (PDF)

R. Kataoka , NTT Commun. & Inf. Process. Lab., Kanagawa, Japan
T. Satoh , NTT Commun. & Inf. Process. Lab., Kanagawa, Japan
U. Inoue , NTT Commun. & Inf. Process. Lab., Kanagawa, Japan
pp. 130-136

Resilient memory-resident data objects (PDF)

J.-F. Paris , Dept. of Comput. Sci., Houston Univ., TX, USA
pp. 145-151

An asynchronous remote procedure call system for heterogeneous programming (PDF)

D.D.H. Lin , Dept. of Comput. Sci. & Eng., Southern Methodist Univ., Dallas, TX, USA
pp. 153-159

Achieving parallel communication in distributed systems (PDF)

T.-K. Woo , Dept. of Comput. Sci., Jacksonville Univ., FL, USA
pp. 160-166

Load balancing using semi-private memory (PDF)

C. Lee , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
L. Bic , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
pp. 167-173

Multi-level coherency management for high-performance shared virtual memory multicomputers (PDF)

Y. Tamir , Dept. of Comput. Sci., California Univ., Los Angeles, CA, USA
G. Janakiraman , Dept. of Comput. Sci., California Univ., Los Angeles, CA, USA
pp. 174-181

Time warp for efficient parallel logic simulation on a massively parallel SIMD machine (PDF)

Y. Chung , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
M.J. Chung , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
pp. 183-189

Job migration on a hypercube using the buddy method (PDF)

L. Liu , Dept. of Electr. Eng. & Comput. Sci., George Washington Univ., Washington, DC, USA
S. Rotenstreich , Dept. of Electr. Eng. & Comput. Sci., George Washington Univ., Washington, DC, USA
pp. 190-196

Network partition and its application to distributed selection problem (PDF)

Jyun-Jy Hu , Inst. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
Shi-Nine Yang , Inst. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
pp. 197-203

An efficient distributed algorithm for minimal connected dominating set problem (PDF)

Ji-Cherng Lin , Inst. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
Shi-Nine Yang , Inst. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
pp. 204-210

Flexible address space sharing mechanisms in the GALAXY distributed operating system (PDF)

P.K. Sinha , Dept. of Inf. Sci., Tokyo Univ., Japan
H. Ashihara , Dept. of Inf. Sci., Tokyo Univ., Japan
K. Shimizu , Dept. of Inf. Sci., Tokyo Univ., Japan
M. Maekawa , Dept. of Inf. Sci., Tokyo Univ., Japan
pp. 212-218

Support for Ada intertask communication in a message-based distributed operating system (PDF)

B.R. Millard , Arizona State Univ., Tempe, AZ, USA
D.S. Miller , Arizona State Univ., Tempe, AZ, USA
pp. 219-225

The use of communication-closed layers to support imprecise scheduling for distributed, real-time programs (PDF)

T. Elrad , Dept. of Comput. Sci., Illinois Inst. of Technol., Chicago, IL, USA
N. Krishna Kumar , Dept. of Comput. Sci., Illinois Inst. of Technol., Chicago, IL, USA
pp. 226-231

Simulating shared memory in message passing model (PDF)

O.R. Aguilar , Dept. of Comput. Sci., Nevada Univ., Las Vegas, NV, USA
A.K. Datta , Dept. of Comput. Sci., Nevada Univ., Las Vegas, NV, USA
pp. 232-238

A dynamic token-based distributed mutual exclusion algorithm (PDF)

Y.-I. Chang , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
M. Singhal , 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. 240-246

Distributed global state determination via graph coloring (PDF)

S.H. Hosseini , Dept. of Electr. Eng. & Comput. Sci., Wisconsin Univ., Milwaukee, WI, USA
B. Litow , Dept. of Electr. Eng. & Comput. Sci., Wisconsin Univ., Milwaukee, WI, USA
K. Vairavan , Dept. of Electr. Eng. & Comput. Sci., Wisconsin Univ., Milwaukee, WI, USA
pp. 247-251

A distributed algorithm for resource deadlock detection (PDF)

B.M. Johnston , Dept. of Comput. Sci., Nevada Univ., Las Vegas, NV, USA
R.D. Javagal , Dept. of Comput. Sci., Nevada Univ., Las Vegas, NV, USA
A.K. Datta , Dept. of Comput. Sci., Nevada Univ., Las Vegas, NV, USA
pp. 252-256

Decentralized consensus protocols (PDF)

M.L. Neilsen , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
M. Mizuno , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
pp. 257-262

Parallelizing translator for an object-oriented parallel programming language (PDF)

C.-H. Jo , Oklahoma State Univ., Stillwater, OK, USA
K.M. George , Oklahoma State Univ., Stillwater, OK, USA
K.A. Teague , Oklahoma State Univ., Stillwater, OK, USA
pp. 265-271

SERQL: an ER query language supporting temporal data retrieval (PDF)

G.T.J. Wuu , Bell Commun. Res., Piscataway, NJ, USA
pp. 272-279

A software complexity perspective on nondeterminism used to support intertask communication (PDF)

S. Damerla , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
S.M. Shatz , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
pp. 280-286

An interaction environment supporting the retrievability of reusable software components (PDF)

P. Di Felice , Dipartimento di Ingegneria Elettrica, L'Aquila Univ., Italy
M. Properzi , Dipartimento di Ingegneria Elettrica, L'Aquila Univ., Italy
pp. 287-293

Multiparadigm query strategies in object-oriented geographic databases (PDF)

E. Clementini , Dipartimento di Ingegneria Elettrica, L'Aquila Univ., Italy
P. Di Felice , Dipartimento di Ingegneria Elettrica, L'Aquila Univ., Italy
pp. 295-301

The generalized index model for object-oriented database systems (PDF)

F. Fotouhi , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
T.-G. Lee , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
W.I. Grosky , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
pp. 302-308

The support for a dynamic parallel object model on a transputer-based architecture (PDF)

A. Ciampolini , Dipartimento di Elettronica, Bologna Univ., Italy
A. Corradi , Dipartimento di Elettronica, Bologna Univ., Italy
L. Leonardi , Dipartimento di Elettronica, Bologna Univ., Italy
pp. 316-322

An exercise in verifying concurrent programs in industry: the I/O subsystem (PDF)

M.G. Staskauskas , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 325-331

A white box analysis of concurrent system designs (PDF)

S.A. Becker , American Univ., Washington, DC, USA
pp. 332-338

Specification refinement using transformation-based tools (PDF)

Y.-K. Hsu , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
R. LeBlanc , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 339-345

Derivation of executable code from formal protocol specifications written in LOTOS (PDF)

A. Valenzano , Politecnico di Torino, Italy
R. Sisto , Politecnico di Torino, Italy
pp. 346-352

Five properties of software regimes that affect engineering potential and practical interest (PDF)

S.W. Clyde , Brigham Young Univ., Provo, UT, USA
S. Woodfield , Brigham Young Univ., Provo, UT, USA
pp. 354-360

Museion-reuse support system for design of service features (PDF)

M. Brorsson , Telesoft AB, Malmo, Sweden
I. Kruzela , Telesoft AB, Malmo, Sweden
pp. 361-368

ReMM: a Statecharts based modeling method for embedded systems (PDF)

T. Jokela , Tech. Res. Centre of Finland, Oulu, Finland
pp. 376-382

A table-driven (feedback) decoder (PDF)

D.L. Bitzer , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA
M.A. Vouk , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA
pp. 385-392

Baseband pulse shaping to reduce intersymbol interference in narrowband M-ary CPFSK signaling (PDF)

J.P. Fonseka , Sch. of Eng. & Comput. Sci., Texas Univ., Richardson, TX, USA
pp. 393-400

Optimum detection of Rayleigh signals in nonstationary noise (PDF)

L.A. Prastitis , Dept. of Electr. Eng., New Jersey Inst. of Technol., Newark, NJ, USA
J. Frank , Dept. of Electr. Eng., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 401-407

Performance bounds for direct-sequence spread-spectrum communications with complex signature sequences (PDF)

A.W. Lam , Dept. of Electr. & Comput. Eng., US Naval Postgraduate Sch., Monterey, CA, USA
pp. 408-414

Signal processing aspects of Motorola's Pan-European digital cellular validation mobile (PDF)

D.E. Borth , Motorola Inc., Schaumburg, IL, USA
P.D. Rasky , Motorola Inc., Schaumburg, IL, USA
pp. 416-423

An experimental CDMA personal communications network (PDF)

L.B. Milstein , Dept. of Electr. & Comput. Eng., California Univ., San Diego, La Jolla, CA, USA
pp. 425

Topological analysis of networks composed of multiple satellites (PDF)

C.M. Barnhart , US Naval Res. Lab., Washington, DC, USA
pp. 427-433

Interleaved trellis coded spread-spectrum for Rician fading channels (PDF)

B.D. Woerner , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
W.E. Stark , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
pp. 434-440

Continuous phase-coded direct-sequence spread-spectrum multiple-access communications (PDF)

R.T. Hsu , Sch. of Electr. Eng., Purdue Univ., West Lafayette, IN, USA
J.S. Lehnert , Sch. of Electr. Eng., Purdue Univ., West Lafayette, IN, USA
pp. 441-447

Blind deconvolution using a maximum likelihood channel estimator (PDF)

M. Ghosh , Commun. Sci. Inst., Univ. of Southern California, Los Angeles, CA, USA
C.L. Weber , Commun. Sci. Inst., Univ. of Southern California, Los Angeles, CA, USA
pp. 448-452

Statistical voice/high-speed data multiplexing on a 64 kbit/s channel (PDF)

S. Casale , Istituto di Inf. e Telecomunicazioni, Catania Univ., Italy
A. La Corte , Istituto di Inf. e Telecomunicazioni, Catania Univ., Italy
A. Lombardo , Istituto di Inf. e Telecomunicazioni, Catania Univ., Italy
S. Palazzo , Istituto di Inf. e Telecomunicazioni, Catania Univ., Italy
pp. 459-464

Rapid, and general method of assessing interference effects on space-to-space communications (PDF)

J.M.N. Pereira , Commun. Sci. Inst., Univ. of Southern California, Los Angeles, CA, USA
pp. 465-471

Whitening of filtering error using nonuniform sampling (PDF)

J.J. Clark , Div. of Appl. Sci., Harvard Univ., Cambridge, MA, USA
pp. 477-482

Iterative algorithms in irregular sampling: a first comparison of methods (PDF)

C. Cenker , Dept. of Math., Vienna Univ., Austria
H.G. Feichtinger , Dept. of Math., Vienna Univ., Austria
M. Herrmann , Dept. of Math., Vienna Univ., Austria
pp. 483-489

Efficient algorithms in irregular sampling of band-limited functions (PDF)

K. Grochenig , Dept. of Math., Connecticut Univ., Storrs, CT, USA
pp. 490-495

Two-dimensional polynomial interpolation from nonuniform samples (PDF)

A. Zakhor , California Univ., Berkeley, CA, USA
pp. 496-504

Lightwave multichannel networks with grid-based topologies (PDF)

P.K. McKinley , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
pp. 506-512

Direct-detection APD-based optical CDMA using orthogonal signalings (PDF)

A.W. Lam , Dept. of Electr. & Comput. Eng., US Naval Postgraduate Sch., Monterey, CA, USA
pp. 513-519

Switching-circuit-free point-to-point audio/data signal transmission through optical fiber (PDF)

H. Ikeda , Shizuoka Univ., Japan
Y. Wu , Shizuoka Univ., Japan
J. Li , Shizuoka Univ., Japan
K. Awoki , Shizuoka Univ., Japan
H. Yoshida , Shizuoka Univ., Japan
S. Shinohara , Shizuoka Univ., Japan
pp. 520-528

PROTON-a concept for highly reliable and low cost optical fiber networks (PDF)

M.M.-K. Liu , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 529-535

An overview of frame relay technology (PDF)

D.B. Grossman , Codex Corp., Mansfield, MA, USA
pp. 539-545

Interworking between frame relay and broadband ISDN (PDF)

R. Kapoor , AT&T Bell Lab., Holmdel, NJ, USA
pp. 546-551

Narrowband frame relay congestion control (PDF)

W.C. Bergman , IBM Corp., Research Triangle Park, NC, USA
pp. 552-557

Congestion control in frame relay networks using explicit binary feedback (PDF)

F.R. Goldstein , Digital Equipment Corp., Littleton, MA, USA
pp. 558-564

Kalman prediction method for congestion avoidance in ISDN frame-relay networks (PDF)

K. Ab-Hamid , Dept. of Electron. Syst. Eng., Essex Univ., Colchester, UK
A.G. Waters , Dept. of Electron. Syst. Eng., Essex Univ., Colchester, UK
pp. 565-571

An expert system for network management (PDF)

S. Hariri , Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
K. Jabbour , Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
pp. 580-586

Access controls for open architecture in intelligent networks (PDF)

C.-F. Yu , GTE Lab. Inc., Waltham, MA, USA
pp. 587-593

FieldBus-Real-time comes to OSI (PDF)

T. Phinney , Honeywell Inc., Phoenix, AZ, USA
pp. 594-599

Optimal end-to-end sliding window flow control in high-speed networks (PDF)

K.-T. Ko , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
S.K. Tripathi , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
pp. 601-607

A computer-aided incremental protocol test sequence generation: the production systems, approach (PDF)

C.-M. Huang , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
Y.-I. 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. 608-614

Automatic synthesis of protocol specifications from service specifications (PDF)

K. Saleh , Bell Canada, Mediatel, Ottawa, Ont., Canada
pp. 615-621

Integrated protocols for guaranteeing time-critical communication in CSMA environments (PDF)

C. Fan , Inst. fur Tech. Inf., Tech. Univ. Berlin, Germany
C. Lindemann , Inst. fur Tech. Inf., Tech. Univ. Berlin, Germany
G. Hommel , Inst. fur Tech. Inf., Tech. Univ. Berlin, Germany
pp. 622-628

Performance study of a LAN based image server (PDF)

S. Hauser , Nat. Libr. of Med., Bethesda, MD, USA
R. Mittu , Nat. Libr. of Med., Bethesda, MD, USA
C. Rivera , Nat. Libr. of Med., Bethesda, MD, USA
G. Thoma , Nat. Libr. of Med., Bethesda, MD, USA
pp. 630-636

Performance evaluation of an integrated bridged token ring/Ethernet environment (PDF)

V. Lee , Dept. of Comput. Sci., City Polytech. of Hong Kong, Hong Kong
E. Chan , Dept. of Comput. Sci., City Polytech. of Hong Kong, Hong Kong
J.M. Ng , Dept. of Comput. Sci., City Polytech. of Hong Kong, Hong Kong
pp. 637-643

Performance of encoding/decoding the transfer syntax (PDF)

J.N. MacLeod , US WEST Adv. Technol., Englewood, CO, USA
pp. 644-650

On the validity of assumptions used to model local area networks (PDF)

W.R. Smith , Minnesota Univ., Minneapolis, MN, USA
R.Y. Kain , Minnesota Univ., Minneapolis, MN, USA
pp. 651-657

Output and delay processes in a slotted ALOHA multichannel packet radio network with capture (PDF)

W. Yue , Adv. Software Technol. & Mechatronics, Res. Inst. of Kyoto, Japan
pp. 659-666

A deadline-driven window protocol for transmission of hard real-time traffic (PDF)

T. Znati , Dept. of Comput. Sci. & Telecommun., Pittsburgh Univ., PA, USA
pp. 667-673

A comparative study of synchronous and nonsynchronous transmission algorithms on a replicated token bus network (PDF)

M.S. Lee , Dept. of Electr. Eng., Washington Univ., Seattle, WA, USA
A.K. Somani , Dept. of Electr. Eng., Washington Univ., Seattle, WA, USA
pp. 674-680

Modified filtering algorithm (MFA) for backbone interconnection-hardware design and implementation issues (PDF)

G. Bucci , Dipartimento di Sistemi e Inf., Firenze Univ., Italy
A. Del Bimbo , Dipartimento di Sistemi e Inf., Firenze Univ., Italy
S. Santini , Dipartimento di Sistemi e Inf., Firenze Univ., Italy
pp. 689-695

A high speed high performance packet switch with redundancy (PDF)

G. Albertengo , Dept of Electron., Politecnico di Torino, Italy
pp. 696-702

FDB: a high-performance fault-tolerant switching fabric for ATM switching systems (PDF)

W.-S.E. Chen , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
Y.M. Kim , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
Y.-W. Yao , 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. 703-709

Improvements for the next generation of FDDI (PDF)

D. Game , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
K. Maly , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
pp. 710-716

Multimedia systems (PDF)

D. Anderson , California Univ., Berkeley, CA, USA
pp. 719-724

Keyboard optimization using genetic techniques (PDF)

B.J. Oommen , Sch. of Comput. Sci., Carleton Univ., Ottawa, Ont., Canada
J.R. Zgierski , Sch. of Comput. Sci., Carleton Univ., Ottawa, Ont., Canada
pp. 726-732

Conformance validation of graphical user interfaces (PDF)

S.W.L. Yip , Dept. of Comput. Sci., Durham Univ., UK
D.J. Robson , Dept. of Comput. Sci., Durham Univ., UK
pp. 733-739

A new linear octree construction by filling algorithms (PDF)

Shi-Nine Yang , Inst. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
Tsong-Wuu Lin , Inst. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
pp. 740-746

An annotation system for VLSI design (PDF)

T. Chiueh , Dept. of Electr. Eng & Comput. Sci., California Univ., Berkeley, CA, USA
R. Katz , Dept. of Electr. Eng & Comput. Sci., California Univ., Berkeley, CA, USA
pp. 755-761

MOVE: model verification system (PDF)

S. Kang , Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
S.A. Szygenda , Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
pp. 762-768

A new scheduling based heuristic for three layer gridless channel routing (PDF)

N.A. Sherwani , Dept. of Comput. Sci., Western Michigan Univ., Kalamazoo, MI, USA
N.D. Holmes , Dept. of Comput. Sci., Western Michigan Univ., Kalamazoo, MI, USA
R. Gidwani , Dept. of Comput. Sci., Western Michigan Univ., Kalamazoo, MI, USA
pp. 769-775

Design concept of a system for developing application-dependent user interface (PDF)

K. Tanikoshi , Hitachi Ltd., Ibaraki, Japan
T. Arai , Hitachi Ltd., Ibaraki, Japan
M. Tani , Hitachi Ltd., Ibaraki, Japan
T. Yokoyama , Hitachi Ltd., Ibaraki, Japan
S. Tanifuji , Hitachi Ltd., Ibaraki, Japan
pp. 776-782

A fuzzy object retrieval system for image understanding (PDF)

A. Del Bimbo , Dipartimento di Sistemi e Inf., Firenze Univ., Italy
pp. 835-841

Embedding constraint satisfaction in deductive reasoning (PDF)

A. Meng , Texas Instum. Inc., Dallas, TX, USA
M. Sullivan , Texas Instum. Inc., Dallas, TX, USA
R. Wall , Texas Instum. Inc., Dallas, TX, USA
pp. 785-791

Extension table evaluation of datalog programs with negation (PDF)

C.-F. Shih , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
S.W. Dietrich , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
pp. 792-798

The wavefront and delta -wavefront algorithms: a comparative study (PDF)

G.Z. Qadah , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
pp. 799-805

On generating efficient procedural codes from Prolog linear recursive programs with a list structure (PDF)

Y.K. Nam , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
L.J. Henschen , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
pp. 806-812

A new concept learning approach applied in diagnostic systems (PDF)

D.J. Juang , Inst. of Comput. & Inf. Sci., Nat. Chiao-Tung Univ., Hsinchu, Taiwan
S.S. Tseng , Inst. of Comput. & Inf. Sci., Nat. Chiao-Tung Univ., Hsinchu, Taiwan
pp. 814-820

A stepwise recognition method of library cataloging cards on the basis of various kinds of knowledge (PDF)

T. Watanabe , Dept. of Inf. Eng., Nagoya Univ., Japan
Q. Luo , Dept. of Inf. Eng., Nagoya Univ., Japan
T. Yoshida , Dept. of Inf. Eng., Nagoya Univ., Japan
Y. Inagaki , Dept. of Inf. Eng., Nagoya Univ., Japan
pp. 821-827

AI in material design-an expert system for construction of composite material (PDF)

M. Fathi-Torbaghan , Dortmund Univ., Germany
H. Kern , Dortmund Univ., Germany
J. Janczak , Dortmund Univ., Germany
pp. 828-834

The effect of AI on other fields of research (PDF)

R. Parikh , Brooklyn Coll., City Univ. of New York, NY, USA
pp. 848-849
100 ms
(Ver 3.3 (11022016))