The Community for Technology Leaders
1989 Eighth Annual International Phoenix Conference on Computers and Communications (1989)
Scottsdale, AZ, USA
March 22, 1989 to March 24, 1989
ISBN: 0-8186-1918-x
TABLE OF CONTENTS

Unanticipated behavior as a cue for system-level diagnosis (PDF)

R.A. Maxion , Dept. of Comput. Sci., Carnegie-Mellon Univ., Pittsburgh, PA, USA
pp. 4-8

Use of A*N+B codes for fault-tolerant bit-serial array processors (PDF)

V. Piuri , Dept. of Electron., Politecnico di Milano, Italy
pp. 9-13

An echo-back protocol for a fault tolerant bus architecture (PDF)

A.K. Somani , Fault Tolerant Comput. Lab., Washington Univ., Seattle, WA, USA
S. Sonawala , Fault Tolerant Comput. Lab., Washington Univ., Seattle, WA, USA
pp. 14-18

Fault tolerance and reliable routing in augmented hypercube architectures (PDF)

M.S. Alam , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
R. Melhem , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
pp. 19-23

A shared-memory multiprocessor logic simulator (PDF)

G. Beihl , Microelectron. Comput. Technol. Corp., Austin, TX, USA
pp. 26-28

Using simulation and Markov modeling to select data flow threads (PDF)

D.R. Greening , California Univ., Los Angeles, CA, USA
M.D. Ercegovac , California Univ., Los Angeles, CA, USA
pp. 29-33

On a cyclic multiqueue with customer's thinking process (PDF)

Y. Fukagawa , Nishinippon Inst. of Technol., Fukuoka, Japan
M. Ooki , Nishinippon Inst. of Technol., Fukuoka, Japan
pp. 34-38

On the mapping problem using simulated annealing (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. 40-44

Noise reduction during digital signal generation (PDF)

W.H. Roetzheim , MITRE Corp., San Diego, CA, USA
pp. 45-48

A bit-level pipelined implementation of a CMOS multiplier-accumulator using a new pipelined full-adder cell design (PDF)

F. Lu , Integrated Circuits & Syst. Lab., California Univ., Los Angeles, CA, USA
H. Samueli , Integrated Circuits & Syst. Lab., California Univ., Los Angeles, CA, USA
pp. 49-53

A VLSI architecture for bicubic surface patch image generation (PDF)

P.C. Chao , AT&T Bell Lab., Naperville, IL, USA
M.-Y. Chern , AT&T Bell Lab., Naperville, IL, USA
pp. 54-58

Performance analysis of the OPTIMUL multiprocessor interconnect (PDF)

N. Matloff , Dept. of Electr. Eng. & Comput. Sci., California Univ., Davis, CA, USA
T. Schubert , Dept. of Electr. Eng. & Comput. Sci., California Univ., Davis, CA, USA
S. Kowel , Dept. of Electr. Eng. & Comput. Sci., California Univ., Davis, CA, USA
C. Eldering , Dept. of Electr. Eng. & Comput. Sci., California Univ., Davis, CA, USA
M. Loving , Dept. of Electr. Eng. & Comput. Sci., California Univ., Davis, CA, USA
pp. 60-63

Effect of the interprocessor communication mechanism on performance of a parallel processor system (PDF)

J.H. Kim , Electron. & Telecommun. Res. Inst., Daejon, Chungnam, South Korea
pp. 64-68

Hardware rollback recovery schemes for multiprocessor systems (PDF)

Z. Tong , Dept. of Electr. Eng., Minnesota Univ., Minneapolis, MN, USA
R.Y. Kain , Dept. of Electr. Eng., Minnesota Univ., Minneapolis, MN, USA
pp. 69-73

Systolic RNS arithmetic using feedback shift logic (PDF)

G.A. Ray , Boeing High Technol. Center, Seattle, WA, USA
pp. 74-79

Detection of upset induced execution errors in microprocessors (PDF)

M.Z. Khan , Bradley Dept. of Electr. Eng., Virginia Polytech. Inst. & State Univ., Blacksburg, VA, USA
J.G. Tront , Bradley Dept. of Electr. Eng., Virginia Polytech. Inst. & State Univ., Blacksburg, VA, USA
pp. 82-86

Project AX: an automatic schematic design system. I. Interactive transistor placement (PDF)

K.M. Lau , Dept. of Comput. & Electr. Eng., Texas Univ., Austin, TX, USA
C.-L. Wu , Dept. of Comput. & Electr. Eng., Texas Univ., Austin, TX, USA
pp. 87-90

A unified bit-parallel arithmetic processor using redundant binary representation (PDF)

Sau-Gee Chen , Microelectron. & Inf. Sci. Res. Center, Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 91-96

An augmented torus processing surface for MIMD (PDF)

C.-J. Wang , Dept. of Electr. & Comput. Eng., Colorado Univ., Colorado Springs, CO, USA
pp. 97-100

Performance analysis of degradable multiprocessor systems (PDF)

S.M.R. Islam , Dept. of Electr. & Comput. Eng., Clarkson Univ., Potsdam, NY, USA
H.H. Ammar , Dept. of Electr. & Comput. Eng., Clarkson Univ., Potsdam, NY, USA
pp. 109-113

A new strategy for processors allocation in an N-cube multiprocessor (PDF)

A. Al-Dhelaan , Oregon Adv. Comput. Inst., Corvallis, OR, USA
B. Bose , Oregon Adv. Comput. Inst., Corvallis, OR, USA
pp. 114-118

Limited service token ring with local message priorities (PDF)

G. Gercek , Electr. & Comput. Eng., Iowa State Univ., Ames, IA, USA
pp. 122-126

Distributed reconfiguration algorithm for a unidirectional optical bus local area network (PDF)

K. Thrampoulidis , Lab. of Electromagn., Patras Univ., Greece
V. Makios , Lab. of Electromagn., Patras Univ., Greece
pp. 127-132

Fault-tolerance in multichannel local area networks (PDF)

P. Camarda , Dept. of Electr. Eng., Bari Univ., Italy
pp. 133-137

CSMA and CSMA/CD with random signal powers (PDF)

R.L. Borchardt , Dept. of Electr. & Comput. Eng., Naval Postgraduate Sch., Monterey, CA, USA
M.A. Boyana , Dept. of Electr. & Comput. Eng., Naval Postgraduate Sch., Monterey, CA, USA
T.T. Ha , Dept. of Electr. & Comput. Eng., Naval Postgraduate Sch., Monterey, CA, USA
pp. 138-142

Generalized predictive trellis coded quantization of speech (PDF)

M.W. Marcellin , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 144-148

The flexibility dedicated approach: reconfigurable arrays for low-level image processing (PDF)

A. Antola , Dept. of Electron., Politecnico di Milano, Italy
R. Negrini , Dept. of Electron., Politecnico di Milano, Italy
M.G. Sami , Dept. of Electron., Politecnico di Milano, Italy
N. Scarabottolo , Dept. of Electron., Politecnico di Milano, Italy
pp. 149-154

A concatenated coding alternative for the optical PPM channel (PDF)

G.E. Atkin , Dept. of Electr. & Comput. Eng., Illinois Inst. of Technol., Chicago, IL, USA
H.P. Corrales , Dept. of Electr. & Comput. Eng., Illinois Inst. of Technol., Chicago, IL, USA
pp. 155-159

Packet communications in a multipath fading mobile radio network (PDF)

R.L. Borchardt , Dept. of Electr. & Comput. Eng., Naval Postgraduate Sch., Monterey, CA, USA
T.T. Ha , Dept. of Electr. & Comput. Eng., Naval Postgraduate Sch., Monterey, CA, USA
pp. 160-164

Novel network test-bed simulators (PDF)

C.C. Wang , Commun. Syst. Res., California Inst. of Technol., Pasadena, CA, USA
U. Cheng , Commun. Syst. Res., California Inst. of Technol., Pasadena, CA, USA
T.-Y. Yan , Commun. Syst. Res., California Inst. of Technol., Pasadena, CA, USA
pp. 166-170

Multicast tree construction in bus-based networks (PDF)

P. McKinley , Dept. of Comput. Sci., Illinois Univ., IL, USA
J.W.S. Liu , Dept. of Comput. Sci., Illinois Univ., IL, USA
pp. 171-177

Inactivity detection on an ISDN B-channel (PDF)

S. Bederman , IBM, Research Triangle Park, NC, USA
pp. 178-182

Go-back-N system with limited retransmissions (PDF)

Y. Hayashida , Fac. of Sci. & Eng., Saga Univ., Japan
N. Sugimachi , Fac. of Sci. & Eng., Saga Univ., Japan
pp. 183-187

FDDI and BWN backbone networks: a performance comparison based on simulation (PDF)

T. Welzel , Lehrstuhl Inf. IV, Tech. Univ. Aachen, West Germany
pp. 190-194

Simulation studies of mixed traffic on satellite channels using TDMA-reservation protocol (PDF)

M. Asgarkhani , Dept. of Comput. Sci. Canterbury Univ., Christchurch, New Zealand
K. Pawlikowski , Dept. of Comput. Sci. Canterbury Univ., Christchurch, New Zealand
pp. 195-200

Bounding delay on a token ring network with voice, data and facsimile applications: a simulation study (PDF)

S.S. Gaitonde , Comput. Syst. Res,. Group, Iowa State Univ., Ames, IA, USA
D.W. Jacobson , Comput. Syst. Res,. Group, Iowa State Univ., Ames, IA, USA
A.V. Pohm , Comput. Syst. Res,. Group, Iowa State Univ., Ames, IA, USA
pp. 201-206

A routing scheme for datagram and virtual circuit services in the MSN (PDF)

T.Y. Chung , Dept. of Electr. & Comput. Eng., North Carolina State Univ., Raleigh, NC, USA
pp. 214-218

Analytical results for the error free spiral computer network topology (PDF)

T.L. Mitchell , Dept. of Math. Sci., US Air Force Acad., Colorado Springs, CO, USA
pp. 219-223

Interconnection algorithms in multi-hop packet radio topologies (PDF)

P. Papantoni-Kazakos , Dept. of Electr. Eng., Virginia Univ., Charlottesville, VA, USA
pp. 224-230

On message resequencing in computer networks (PDF)

S. Chowdhury , Dept. of Comput. Sci., Arizona Univ., Tucson, AZ, USA
pp. 231-235

Theory of non-overlapping packet arrivals (PDF)

D.A. Ross , Dept. of Electr. Eng. & Comput. Sci., Colorado Univ., Denver, CO, USA
pp. 242-247

Fast reconfigurable communication networks (PDF)

C.Y. Chao , Dept. of Electr. & Comput. Eng., Florida Atlantic Univ., Boca Raton, FL, USA
M. Ilyas , Dept. of Electr. & Comput. Eng., Florida Atlantic Univ., Boca Raton, FL, USA
pp. 248-252

Dynamic entry-to-exit flow control for virtual circuit networks (PDF)

V. Rahuraman , Dept. of Electr. & Electron. Eng., Canterbury Univ., Christchurch, New Zealand
H.R. Sirisena , Dept. of Electr. & Electron. Eng., Canterbury Univ., Christchurch, New Zealand
pp. 253-256

Analysis of interrupt handling schemes in real-time systems (PDF)

A. Fawaz , Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
P. Varaiya , Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
J. Walrand , Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
pp. 260-263

Improving file system performance by dynamically restructuring disk space (PDF)

M.S. McDonald , Dept. of Comput. Sci., Saskatchewan Univ., Saskatoon, Sask., Canada
R.B. Bunt , Dept. of Comput. Sci., Saskatchewan Univ., Saskatoon, Sask., Canada
pp. 264-269

A knowledge-based approach to an operating system for a large computer system (PDF)

J. Takamura , NEC Corp., Tokyo, Japan
K. Nobusawa , NEC Corp., Tokyo, Japan
Y. Ebino , NEC Corp., Tokyo, Japan
A. Date , NEC Corp., Tokyo, Japan
E. Yoshikawa , NEC Corp., Tokyo, Japan
pp. 270-276

Formal specification and analysis for reliable and transparent resource management (PDF)

H.F. Wedde , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
D.C. Daniels , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
pp. 277-283

Parallel algorithms for balancing threaded binary search trees (PDF)

E. Haq , Dept. of Comput. Sci., Louisiana State Univ., Baton Rouge, LA, USA
S.-Q. Zheng , Dept. of Comput. Sci., Louisiana State Univ., Baton Rouge, LA, USA
pp. 286-290

Development of a Pascal system for parallel compilation (PDF)

W.H. Burkhardt , Inst. fur Inf., Stuttgart Univ., West Germany
pp. 291-292

The temporal specification technique for operating systems mechanisms (PDF)

A. Hoppe , Dept. of Comput. Sci., Louisiana State Univ., Baton Rouge, LA, USA
pp. 293-297

Concurrent correspondent modules: a fault tolerant Ada implementation (PDF)

P.-N. Lee , Dept. of Comput. Sci., Houston Univ., TX, USA
A. Tamboli , Dept. of Comput. Sci., Houston Univ., TX, USA
pp. 300-304

Effective realization of recursive procedures in logic programs (PDF)

A.C. Chen , Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
C.-I. Wu , Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
pp. 310-314

Combining three conceptual models: abstract data types, logic programming, and databases (PDF)

S.N. Woodfield , Brigham Young Univ., Provo, UT, USA
J.M. Weston , Brigham Young Univ., Provo, UT, USA
D.W. Embley , Brigham Young Univ., Provo, UT, USA
pp. 322-326

Software development reusing existing components (PDF)

W.R. Rossak , Inst. for Inf., Klagenfurt Univ., Austria
pp. 327-331

Software performance analysis using a graphic modeling technique (PDF)

J. Wang , 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
B. Lovell , Dept. of Comput. Sci. & Eng., Connecticut Univ., Storrs, CT, USA
pp. 332-336

Abstraction and specification of local area networks (PDF)

C.-H. Jo , Dept. of Comput. & Inf. Sci., Oklahoma State Univ., Stillwater, OK, USA
D.D. Fisher , Dept. of Comput. & Inf. Sci., Oklahoma State Univ., Stillwater, OK, USA
K.M. George , Dept. of Comput. & Inf. Sci., Oklahoma State Univ., Stillwater, OK, USA
pp. 337-342

EDEN: an integrated computer-aided software engineering environment (PDF)

S.S. Erdogan , Dept. of Math. Sci., San Diego Univ., CA, USA
S. McFarr , Dept. of Math. Sci., San Diego Univ., CA, USA
D. Maglidt , Dept. of Math. Sci., San Diego Univ., CA, USA
pp. 349-353

Design versions in a distributed CAD environment (PDF)

A. Biliris , Dept. of Comput. Sci., Boston Univ., MA, USA
H. Zhao , Dept. of Comput. Sci., Boston Univ., MA, USA
pp. 354-359

A parallel exchange sort algorithm (PDF)

B. Shirazi , Dept. of Comput. Sci. & Eng., Southern Methodist Univ., Dallas, TX, USA
Y.-D. Song , Dept. of Comput. Sci. & Eng., Southern Methodist Univ., Dallas, TX, USA
pp. 366-370

Global state graph reduction techniques for protocol validation in the EFSM model (PDF)

P.-Y.M. Chu , 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. 371-377

A simple neuron feature detection (PDF)

M.L. Hambaba , Dept. of Electr. Eng. & Comput. Sci., Stevens Inst. of Technol., Hoboken, NJ, USA
pp. 378-381

Link switching: a communication architecture for configurable parallel systems (PDF)

S. Chittor , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
R. Enbody , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
pp. 386-390

Bandwidth analysis of multibus parallel subnetworks (PDF)

H.-W. Jung , Dept. of Manage. Inf. Syst., Arizona Univ., Tucson, AZ, USA
M.J. Saltzman , Dept. of Manage. Inf. Syst., Arizona Univ., Tucson, AZ, USA
pp. 391-394

Mobility control in distributed object-oriented applications (PDF)

A. Schill , Inst. of Telematics, Karlsruhe Univ., West Germany
pp. 395-399

Reliability of replicated data objects (PDF)

D.D.E. Long , Dept. of Comput. Sci. & Eng., California Univ., San Diego, CA, USA
J.-F. Paris , Dept. of Comput. Sci. & Eng., California Univ., San Diego, CA, USA
pp. 402-406

Achieving Byzantine agreement in a processor and link fallible network (PDF)

K.Q. Yan , Inst. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
Y.H. Chin , Inst. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
pp. 407-412

A non-intrusive checkpointing protocol (PDF)

S. Israel , ACCURATE Inf. Syst. Inc., Plainsfield, NJ, USA
pp. 413-421

Solving general intersection problem, sorting and 3D containment problem (PDF)

S.K. Semwal , Dept. of Comput. Sci., Colorado Univ., Colorado Springs, CO, USA
pp. 422-426

A language for specifying and implementing the low-level functions of media access protocols (PDF)

R. Cieslak , Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
P. Varaiya , Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
pp. 428-433

Optimal consistency protocols for replicated files (PDF)

A. Glockner , Dept. of Comput. Sci. & Eng., California Univ., La Jolla, CA, USA
pp. 434-438

The multi-model database system (PDF)

S.A. Demurjian , Dept. of Comput. Sci. & Eng., Connecticut Univ., Storrs, CT, USA
pp. 439-445

Integration by logic of database constraints with query filters (PDF)

M. Penaloza , Dept. of Comput. Sci., Arizona State Univ., Tempe, AZ, USA
E. Ozkarahan , Dept. of Comput. Sci., Arizona State Univ., Tempe, AZ, USA
pp. 446-450

A model for determining the optimal topology and database allocation in computer networks (PDF)

A. Raghuram , Center for Comput. Inf. Networks Res., Drexel Univ., Philadelphia, PA, USA
T.W. Morgan , Center for Comput. Inf. Networks Res., Drexel Univ., Philadelphia, PA, USA
pp. 461-472

Programming fault-tolerant distributed applications in HOPS (PDF)

J. Silverman , Honeywell Inc., Golden Valley, MN, USA
T. Raeuchle , Honeywell Inc., Golden Valley, MN, USA
H. Madduri , Honeywell Inc., Golden Valley, MN, USA
pp. 480-485

An integrated time-driven scheduler for the ARTS kernel (PDF)

H. Tokuda , Dept. of Comput. Sci., Carnegie-Mellon Univ., Pittsburgh, PA, USA
M. Kotera , Dept. of Comput. Sci., Carnegie-Mellon Univ., Pittsburgh, PA, USA
C.W. Mercer , Dept. of Comput. Sci., Carnegie-Mellon Univ., Pittsburgh, PA, USA
pp. 486-496

Error recovery mechanisms for remote procedure call-based systems (PDF)

A. Corradi , Dipartimento di Elettronica Inf. e Sistematica, Bologna Univ., Italy
P. Mello , Dipartimento di Elettronica Inf. e Sistematica, Bologna Univ., Italy
A. Natali , Dipartimento di Elettronica Inf. e Sistematica, Bologna Univ., Italy
pp. 502-507

Assigning modules to processors in linear arrays and rings (PDF)

J.E. Hajjar , Dept. of Electr. & Comput. Eng., Western New England Coll., Springfield, MA, USA
pp. 510-514

Low overhead distributed diagnostic algorithms for very large multiple processor systems (PDF)

S.H. Hosseini , Dept. of Electr. Eng. & Comput. Sci., Wisconsin Univ., Milwaukee, WI, USA
pp. 515-519

Systems whose distributed simulation requires low overhead (PDF)

D. Kumar , Dept. of Comput. Eng. & Sci., Case Western Reserve Univ., Cleveland, OH, USA
pp. 520-524

The inclusion of set theoretical concepts in Prolog (PDF)

J.A. Cugini , IBM Div. of Syst. Integration, Gaithersburg, MD, USA
pp. 528-532

An efficient algorithm for gate matrix compactions (PDF)

C.Y. Hou , Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
C.Y.R. Chen , Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
pp. 533-537

The DeltaBlue algorithm: an incremental constraint hierarchy solver (PDF)

B.N. Freeman-Benson , Dept. of Comput. Sci., Washington Univ., Seattle, WA, USA
J. Maloney , Dept. of Comput. Sci., Washington Univ., Seattle, WA, USA
pp. 538-542

Problem solving in metalogic programming (PDF)

S. Costantini , Dipartimento di Sci. dell'Ing., Univ. degli Studi di Milano, Italy
G.A. Lanzarone , Dipartimento di Sci. dell'Ing., Univ. degli Studi di Milano, Italy
pp. 543-548

A design methodology for expert systems for diagnostic and repair (PDF)

A. Ghafoor , Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
R.S. Kershaw , Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
pp. 550-554

A knowledge-based approach to class scheduling problems with a developed system ACS (PDF)

C.J. Hwang , Dept. of Comput. Sci., Southwest Texas State Univ., San Marcos, TX, USA
pp. 555-561

The weighted Voronoi diagram and its applications in least-risk motion planning (PDF)

A.C.-C. Meng , Texas Instruments Inc., Dallas, TX, USA
G.S. Brooks , Texas Instruments Inc., Dallas, TX, USA
P.J. Vermeer , Texas Instruments Inc., Dallas, TX, USA
pp. 562-566

Heuristics to locate the best document set in information retrieval systems (PDF)

D. Lucarella , Dipartimento di Sci. dell'Inf., Univ. degli Studi di Milano, Italy
pp. 567-571

Model-based two-dimensional industrial part recognition (PDF)

F.K. Kung , Dept. of Comput. Sci. & Eng., Univ. of South Florida, Tampa, FL, USA
R. Mehrotra , Dept. of Comput. Sci. & Eng., Univ. of South Florida, Tampa, FL, USA
pp. 579-583

Analysis for correct reasoning by robots: modus ponens, modus tollens (PDF)

E.C. Koenig , Dept. of Comput. Sci., Wisconsin-Madison Univ., Oconomowoc, WI, USA
pp. 584-589

AI in manufacturing: an expert system for diagnosis in on-line application (PDF)

H.D. Steffens , Inst. of Mater. Technol., Dortmund Univ., West Germany
H. Kern , Inst. of Mater. Technol., Dortmund Univ., West Germany
M. Fathi-Torbaghan , Inst. of Mater. Technol., Dortmund Univ., West Germany
pp. 590-594

A polynomial approach to image processing and quadtrees (PDF)

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

LISP-PAL: an approach to natural language consultation in a programming environment (PDF)

S. Uehara , Fujitsu Lab. Ltd., Kawasaki, Japan
R. Yamamoto , Fujitsu Lab. Ltd., Kawasaki, Japan
T. Ogawa , Fujitsu Lab. Ltd., Kawasaki, Japan
pp. 601-605

Improvements on the evaluation of declarative specifications (PDF)

S.W. Dietrich , Dept. of Comput. Sci., Arizona State Univ., Tempe, AZ, USA
pp. 606-610

Learning of rules in an expert system with a probabilistic expert (PDF)

A.L. Lakshminarasimhan , Dept. of Electr. Eng. & Comput Sci., Stevens Inst. of Technol., Hoboken, NJ, USA
D. Sinha , Dept. of Electr. Eng. & Comput Sci., Stevens Inst. of Technol., Hoboken, NJ, USA
pp. 611-616

An adaptive, CMOS neural array for pattern association (PDF)

M. Walker , Center for Solid State Electron. Res., Arizona State Univ., Tempe, AZ, USA
P. Hassler , 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. 619-623

Frames: a heuristic critical review (PDF)

A.J. Bayle , Honeywell Bull Inc., Phoenix, AZ, USA
pp. 624-628

Edge detectors based on linear and least median operators (PDF)

L.M. Hambaba , Dept. of Electr. Eng. & Comput. Sci., Stevens Inst. of Technol., Hoboken, NJ, USA
pp. 629-632

Applications of AI techniques to distributed systems (PDF)

R. Ashany , Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
S. Shekhar , Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
pp. 633-638
93 ms
(Ver 3.3 (11022016))