%A M.A. Breuer
%T General survey of design automation of digital computers
%J Proceedings of the IEEE
%K ieee_proc
%V 54
%N 12
%D December 1966
%P 1708-1721

%A M.A. Breuer
%T Recent developments in the automated design and analysis of digital systems
%J Proceedings of the IEEE
%K ieee_proc
%V 60
%N 1
%D January 1972
%P 12-27

%A R.L. Russo
%A P.K. Wolff
%T A computer-based-design approach
to partitioning and mapping of computer logic graphs
%J Proceedings of the IEEE
%K ieee_proc
%V 60
%N 1
%D January 1972
%P 28-34

%A D.E. Thomas
%T The automatic synthesis of digital systems
%J Proceedings of the IEEE
%K ieee_proc
%V 69
%N 10
%D October 1981
%P 1200-1211

%A Michael Feuer
%T VLSI design automation: an introduction
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 1
%D January 1983
%P 5-9

%A Walter L. Engl
%A Heinz K. Dirks
%A Bernd Meinerzhagen
%T Device modeling
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 1
%D January 1983
%P 10-33

%A Albert E. Ruehli
%A Gary S. Ditlow
%T Circuit analysis, logic simulation, and design verification for VLSI
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 1
%D January 1983
%P 34-48

%A Jean Pierre Avenier
%T Digitizing, layout, rule checking - the everyday tasks of chip designers
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 1
%D January 1983
%P 49-56

%A Se June Hong
%A Ravi Nair
%T Wire-routing machines - new tools for VLSI physical design
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 1
%D January 1983
%P 57-65

%A C. Niessen
%T Hierarchical design methodologies and tools for VLSI chips
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 1
%D January 1983
%P 66-75

%A Sajjan G. Shiva
%T Automatic hardware synthesis
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 1
%D January 1983
%P 76-87

%A Hans Martin Lipp
%T Methodical aspects of logic synthesis
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 1
%D January 1983
%P 88-97

%A Thomas W. Williams
%A Kenneth P. Parker
%T Design for testability - a survey
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 1
%D January 1983
%P 98-112

%A Dan I. Moldovan
%T On the design of algorithms for VLSI systolic arrays
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 1
%D January 1983
%P 113-120

%A Andrew R. Neureuther
%T IC process modeling and topography design
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 1
%D January 1983
%P 121-128

%A Tsuneta Sudo
%A Tatsuo Ohtsuki
%A Satoshi Goto
%T CAD systems for VLSI in Japan
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 1
%D January 1983
%P 129-143

%A A.B. Bhattacharyya
%T VLSI - the technological giant - and the developing countries
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 1
%D January 1983
%P 144-148

%A Carlo H. Sequin
%T Managing VLSI complexity: an outlook
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 1
%D January 1983
%P 149-166

%A Charles H. Stapper
%A Frederick M. Armstrong
%A Kiyotaka Saji
%T Integrated circuit yield statistics
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 4
%D April 1983
%P 453-470

%A Sidney Cornbleet
%T Geometrical optics reviewed: a new light on an old subject
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 4
%D April 1983
%P 471-502

%A Sandra L. Teger
%T Factors impacting the evolution of office automation
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 4
%D April 1983
%P 503-511

%A Fred H. Lochovsky
%T Improving office productivity: a technology perspective
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 4
%D April 1983
%P 512-518

%A Kenneth J. King
%A Fred J. Maryanski
%T Information management trends in office automation
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 4
%D April 1983
%P 519-528

%A Takeo Kanade
%T Geometrical aspects of interpreting images as a three-dimensional scene
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 7
%D July 1983
%P 789-802

%A Robert B. Kelley
%A Henrique A.S. Martins
%A John R. Birk
%A Jean-Daniel Dessimoz
%T Three vision algorithms for acquiring workpieces from bins
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 7
%D July 1983
%P 803-820

%A Tomas Lozano-Perez
%T Robot programming
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 7
%D July 1983
%P 821-841

%A Russell H. Taylor
%A David D. Grossman
%T An integrated robot system architecture
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 7
%D July 1983
%P 842-856

%A Arthur C. Sanderson
%A George Perry
%T Sensor-based robotic assembly systems:
research and applications in electronic manufacturing
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 7
%D July 1983
%P 856-871

%A Hans P. Moravec
%T The Stanford Cart and the CMU Rover
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 7
%D July 1983
%P 872-884

%A Roberto Bisiani
%A Horst Mauersberg
%A Raj Reddy
%T Task-oriented architectures
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 7
%D July 1983
%P 885-898

%A Amar Gupta
%A Hoo-min Toong
%T Microprocessors - the first twelve years
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 11
%D November 1983
%P 1236-1256

%A John D. Day
%A Hubert Zimmermann
%T The OSI reference model
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 12
%D December 1983
%P 1334-1340

%A Peter F. Linington
%T Fundamentals of the layer service definitions and protocol specifications
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 12
%D December 1983
%P 1341-1345

%A Gary L. Dickson
%A Pierre E. de\ Chazal
%T Status of CCITT description techniques
and application to protocol specification
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 12
%D December 1983
%P 1346-1355

%A Chris A. Vissers
%A Richard L. Tenney
%A Gregor V. Bochmann
%T Formal description techniques
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 12
%D December 1983
%P 1356-1364

%A A. Lyman Chapin
%T Connections and connectionless data transmission
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 12
%D December 1983
%P 1365-1371

%A Frank M. McClelland
%T Services and protocols of the physical layer
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 12
%D December 1983
%P 1372-1377

%A James W. Conard
%T Services and protocols of the data link layer
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 12
%D December 1983
%P 1378-1383

%A Christine Ware
%T The OSI network layer: standards to cope with the real world
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 12
%D December 1983
%P 1384-1387

%A Ross Callon
%T Internetwork protocol
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 12
%D December 1983
%P 1388-1393

%A Keith G. Knightson
%T The transport layer standardization
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 12
%D December 1983
%P 1394-1396

%A Willard F. Emmons
%A A.S. Chandler
%T OSI session layer: services and protocols
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 12
%D December 1983
%P 1397-1400

%A Lloyd L. Hollis
%T OSI presentation layer activities
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 12
%D December 1983
%P 1401-1403

%A Paul D. Bartoli
%T The application layer of the reference model of Open Systems Interconnection
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 12
%D December 1983
%P 1404-1407

%A Henry Lowe
%T OSI virtual terminal service
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 12
%D December 1983
%P 1408-1413

%A Douglas Lewan
%A H. Garrett Long
%T The OSI file service
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 12
%D December 1983
%P 1414-1419

%A Alwyn Langsford
%A Kenji Naemura
%A R. Speth
%T OSI management and job transfer services
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 12
%D December 1983
%P 1420-1424

%A Ian Cunningham
%T Message-handling systems and protocols
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 12
%D December 1983
%P 1425-1430

%A R. Jerry Linn
%A J. Stephen Nightingale
%T Testing OSI protocols at the National Bureau of Standards
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 12
%D December 1983
%P 1431-1434

%A John A. Davidson
%T OSI model layering of a military local network
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 12
%D December 1983
%P 1435-1441

%A Jerrolds S. Foley
%T Business data usage of OSI
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 12
%D December 1983
%P 1442-1445

%A Rochard desJardins
%T Afterword: evolving towards OSI
%J Proceedings of the IEEE
%K ieee_proc
%V 71
%N 12
%D December 1983
%P 1446-1448

%A Kenneth G. Wilson
%T Science, industry, and the new Japanese challenge
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 1
%D January 1984
%P 6-18

%A Bill L. Buzbee
%T Gaining insight from supercomputing
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 1
%D January 1984
%P 19-21

%A Gary Demos
%A Maxine D. Brown
%A Richard W. Weinberg
%T Digital scene simulation:
the synergy of computer technology and human creativity
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 1
%D January 1984
%P 22-31

%A Dieter Fuss
%A Carol G. Tull
%T Centralized supercomputer support for magnetic fusion energy research
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 1
%D January 1984
%P 32-41

%A Kenneth C. Bowler
%A G. Stuart Pawley
%T Molecular dynamics and Monte Carlo simulations
in solid-state and elementary particle physics
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 1
%D January 1984
%P 42-55

%A David L. Williamson
%A Paul N. Swartzrauber
%T A numerical weather prediction model - computational aspects on the Cray-1
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 1
%D January 1984
%P 56-67

%A Victor L. Peterson
%T Impact of computers on aerodynamics research and development
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 1
%D January 1984
%P 68-79

%A Joseph F. Gloudeman
%T The anticipated impact of supercomputers on finite-element analysis
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 1
%D January 1984
%P 80-84

%A Richard P. Kendall
%A James S. Nolen
%A Patricia L. Stanat
%T The impact of vector processors on petroleum reservoir simulation
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 1
%D January 1984
%P 85-89

%A Olin G. Johnson
%T Three-dimensional wave equation computations on vector computers
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 1
%D January 1984
%P 90-95

%A Wolfgang Fichtner
%A Laurence W. Nagel
%A B. Reddy Penumalli
%A Wesley P. Petersen
%A John L. D'Arcy
%T The impact of supercomputers on IC technology development and design
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 1
%D January 1984
%P 96-112

%A Harry F. Jordan
%T Experience with pipelined multiple instruction streams
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 1
%D January 1984
%P 113-123
%K Denelcor HEP

%A Amar Gupta
%A Hoo-min D. Toong
%T The first decade of personal computers
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 3
%D March 1984
%P 246-258

%A Gerald E. Nelson
%A William R. Hewlett
%T The design and development of a family of personal computers
for engineers and scientists
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 3
%D March 1984
%P 259-268

%A J. Fred Bucy
%A Wallace W. Anderson
%A Michael L. McMahan
%A Richard T. Tarrant
%A Harry R. Tennant
%T Ease-of-use features in the Texas Instruments professional computer
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 3
%D March 1984
%P 269-282

%A Kenneth H. Olsen
%A Barry James Folsom
%A Ronald J. Ham
%A John D. Clarke
%T Digital's personal computers
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 3
%D March 1984
%P 283-299

%A Frederick A. Wang
%A Ahmed H.M. El-Sherbini
%A Stan Fry
%A Mike Smutek
%A Nancy Webb
%T The Wang professional image computer:
a new dimension to personal and office computing
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 3
%D March 1984
%P 300-311

%A Robert C. Miller
%A Donald W. Wade
%A Christine Wallis
%T Data General desktop generation model 10: architecture and implementation
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 3
%D March 1984
%P 312-321

%A Philip D. Estridge
%A David J. Bradley
%A David A. Kummer
%T The IBM PCjr
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 3
%D March 1984
%P 322-330

%A Bruce Daniels
%T The architecture of the Lisa personal computer
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 3
%D March 1984
%P 331-341

%A John V. Roach
%A Steven H. Leininger
%A William T. Walters
%T The anatomy of a portable computer
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 3
%D March 1984
%P 342-351

%A Koji Kobayashi
%A Kazuya Watanabe
%A Ryohei Ichikawa
%A Akira Kato
%T The Personal computer in "C & C"
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 3
%D March 1984
%P 352-362

%A Robert E. Childs,\ Jr.
%A John Crawford
%A David L. House
%A Robert N. Noyce
%T A processor family for personal computers
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 3
%D March 1984
%P 363-376
%K Intel 8086 80286

%A Hoo-min Toong
%A Amar Gupta
%T A new direction in personal computer software
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 3
%D March 1984
%P 377-388

%A David C. Munson,\ Jr.
%A Jorge L.C. Sanz
%T Image reconstruction from frequence-offset Fourier data
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 6
%D June 1984
%P 661-669

%A Edward T. Lewis
%T Optimization of device area and overall delay for CMOS VLSI designs
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 6
%D June 1984
%P 670-689

%A Tulin Erdim Mangir
%T Sources of failures and yield improvement for VLSI
and restructurable interconnects for RVLSI and WSI:
part I - sources of failures and yield improvement for VLSI
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 6
%D June 1984
%P 690-708

%A Alexander A. Sawchuk
%A Timothy C. Strand
%T Digital optical computing
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 7
%D July 1984
%P 758-779

%A Alan Huang
%T Architectural considerations involved in the design
of an optical-digital computer
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 7
%D July 1984
%P 780-786

%A Yoshiki Ichioka
%A Jun Tanida
%T Optical parallel logic gates using a shadow-casting system
for optical digital computing
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 7
%D July 1984
%P 787-801

%A Richard A. Becker
%A Charles E. Woodward
%A Frederick J. Leonberger
%A Richard C. Williamson
%T Wide-band electrooptic guided-wave analog-to-digital converters
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 7
%D July 1984
%P 802-819

%A WIlliam T. Rhodes
%A Peter S. Guilfoyle
%T Acoustooptic algebraic processing architectures
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 7
%D July 1984
%P 820-830

%A David Casasent
%T Acustooptic linear algebra processors:
architectures, algorithms, and applications
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 7
%D July 1984
%P 831-849

%A Joseph W. Goodman
%A Frederick J. Leonberger
%A Sun-Yuan Kung
%A Ravindra A. Athale
%T Optical interconnections for VLSI systems
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 7
%D July 1984
%P 850-866

%A Sun-Yuan Kung
%T On supercomputing with systolic/wavefront array processors
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 7
%D July 1984
%P 867-884

%A Gus P. Tricoles
%A Ervin E. Brundege
%A E.L. Rope
%T Wavefront processing of radio-frequency wavefront data
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 7
%D July 1984
%P 885-888

%A Adolf W. Lohmann
%A Bernhard Wirnitzer
%T Triple correlations
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 7
%D July 1984
%P 889-901

%A Harold H. Szu
%A H. John Caulfield
%T The mutual time-frequency content of two signals
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 7
%D July 1984
%P 902-908

%A Behzad Moslehi
%A Joseph W. Goodman
%A Moshe Tur
%A Herbert J. Shaw
%T Fiber-optic lattice signal processing
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 7
%D July 1984
%P 909-930

%A Ravindra A. Athale
%A John N. Lee
%T Optical processing using outer-product concepts
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 7
%D July 1984
%P 931-941

%A Carl M. Verber
%T Integrated-optical approaches to numerical optical processing
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 7
%D July 1984
%P 942-953

%A Robert H. Kingston
%T Signal correlation using a
one-dimensional electroabsorptive CCD spatial light modulator
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 7
%D July 1984
%P 954-961

%A Demetri Psaltis
%T Two-dimensional optical processing using one-dimensional input devices
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 7
%D July 1984
%P 962-974

%A Ronald N. Bracewell
%T The Fast Hartley Transform
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 8
%D August 1984
%P 1010-1018

%A Claude E. Shannon
%T Communication in the presence of noise
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 9
%D September 1984
%P 192-1201

%A J.G. Brainerd
%A T.K. Sharpless
%T The ENIAC
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 9
%D September 1984
%P 1203-1212

%A Grace M. Hopper
%A John W. Mauchly
%T Influence of programming techniques on the design of computers
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 9
%D September 1984
%P 1214-1217

%A Harold A. Rosen
%T Syncom and its successors
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 11
%D November 1984
%P 1429-1434

%A Walter L. Morgan
%T Satellite locations - 1984
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 11
%D November 1984
%P 1434-1444

%A Joseph N. Pelton
%T Satellite telenets: a techno-economic assessment
of major trends for the future
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 11
%D November 1984
%P 1445-1456

%A Simon B. Bennett
%A David J. Braverman
%T Intelsat VI - a continuing evolution
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 11
%D November 1984
%P 1457-1468

%A Pierre Bartholome
%T Digital satellite networks in Europe
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 11
%D November 1984
%P 1469-1482

%A Walter H. Braun
%A J.E. Keigler
%T RCA satellite networks: high technology and low user cost
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 11
%D November 1984
%P 1483-1505

%A S. Joseph Campabella
%A John V. Harrington
%T Satellite communications networks
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 11
%D November 1984
%P 1506-1519

%A Eugene R. Cacciamani,\ Jr.
%A William B. Garner
%A Steven B. Salamoff
%T The emergence of satellite systems for rural communications
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 11
%D November 1984
%P 1520-1525

%A Edwin B. Parker
%T Micro earth stations as personal computer accessories
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 11
%D November 1984
%P 1526-1531

%A Christian Bertin
%T PACKSATNET - an alternative to data networks
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 11
%D November 1984
%P 1532-1536

%A K. Jonnalagadda
%A Leonard Schiff
%T Improvements in capacity of analog voice multiplex systems
carried by satellite
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 11
%D November 1984
%P 1537-1547

%A Enrique Laborde
%A Philip J. Freedenberg
%T Analytical comparisons of CSSB and TDMA/DSI
satellite transmission and techniques
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 11
%D November 1984
%P 1548-1555

%A Bijan Jabbari
%T Cost-effective networking via digital satellite communications
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 11
%D November 1984
%P 1556-1563

%A Fernando Nodecal
%T Efficient space segment utlization in satellite data networks
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 11
%D November 1984
%P 1564-1572

%A Shuji Tasaka
%T Multiple-access protocols for satellite packet communication networks:
a performance comparison
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 11
%D November 1984
%P 1573-1582

%A Giuliano Benelli
%A Enrico Del\ Re
%A Romano Fantacci
%A Francesco Mandelli
%T Performance of uplink random-access and downlink TDMA techniques
for packet sateiilte networks
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 11
%D November 1984
%P 1583-1593

%A Burwell Goode
%T SBS TDMA-DA system with VAC and DAC
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 11
%D November 1984
%P 1594-1610

%A Victor O.K. Li
%A Tsun-Yee Yan
%T An integrated voice and data multiple-access scheme for a land-mobile
satellite system
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 11
%D November 1984
%P 1611-1619

%A Yasuo Hirata
%A Yutaka Yasuda
%A Hideo Okinaka
%A Kanshiro Kashiki
%T A digital transmission system for global maritime satellite communications
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 11
%D November 1984
%P 1620-1626

%A Kenneth Brayer
%T Packet switching for mobile earth stations via low-orbit satellite network
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 11
%D November 1984
%P 1627-1636

%A Ryoichi Tanaka
%T 30/20-GHz domestic satellite communication system
in the public communication network of Japan: design and operation
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 11
%D November 1984
%P 1637-1644

%A Tulin Erdim Mangir
%T Sources of failures and yield improvement for VLSI
and restructurable interconnects for RVLSI and WSI: part II -
restructurable interconnects for RVLSI and WSI
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 12
%D December 1984
%P 1687-1694

%A J.A. Becker
%A J.N. Shive
%T The transistor - a new semiconductor amplifier
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 12
%D December 1984
%P 1696-1703

%A J.R. Pierce
%A P. Kompfner
%T Transoceanic communication by means of satellites
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 12
%D December 1984
%P 1705-1713

%A Michael I. Denham
%T Design issues for CACSD systems
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 12
%D December 1984
%P 1714-1723

%A H. Austin Spang,\ III
%T The Federated Computer-Aided Computer Design System
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 12
%D December 1984
%P 1724-1731

%A Robert A. Walker
%A Sunil C. Shah
%A Naren K. Gupta
%T Computer-aided engineering (CAE) for system analysis
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 12
%D December 1984
%P 1732-1745

%A William F. Arnold,\ III
%A Alan J. Laub
%T Generalized eigenproblem algorithms
and software for algebraic Riccati equations
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 12
%D December 1984
%P 1746-1754

%A Rajnikant V. Patel
%A Pradeep Misra
%T Numerical algorithms for eigenvalue assigment by state feedback
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 12
%D December 1984
%P 1755-1764

%A J.E. Dennis,\ Jr.
%T A user's guide to nonlinear optimization algorithms
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 12
%D December 1984
%P 1765-1776

%A Elijah Polak
%A David Q. Mayne
%A Daniel M. Stimler
%T Control system design via semi-infinite optimization: a review
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 12
%D December 1984
%P 1777-1794

%A James H. Taylor
%A Dean K. Frederick
%T An expert system architecture for computer-aided control engineering
%J Proceedings of the IEEE
%K ieee_proc
%V 72
%N 12
%D December 1984
%P 1795-1805

%A Algirdas Avizienis
%A Jean-Claude Laprie
%T Dependable computing: from concepts to design diversity
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 5
%D May 1986
%P 629-638

%A Jacob A. Abraham
%A W. Kent Fuchs
%T Fault and error models for VLSI
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 5
%D May 1986
%P 639-654

%A Fabio Somenzi
%A Silvano Gai
%T Fault detection in programmable logic arrays
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 5
%D May 1986
%P 655-668

%A Yvon Savaria
%A Nicholas C. Rumin
%A Jeremiah F. Hayes
%A Vinod K. Agarwal
%T Soft-error filtering: a solution to the reliability problem
of future VLSI digital circuits
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 5
%D May 1986
%P 669-683

%A WIll R. Moore
%T A review of fault-tolerant techniques
for the enhancement of integration circuit yield
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 5
%D May 1986
%P 684-698

%A Israel Koren
%A Dhiraj K. Pradhan
%T Yield and performance enhancement through redundancy
in VLSI and WSI multiprocessor systems
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 5
%D May 1986
%P 699-711

%A Mariogiovanna Sami
%A Renato Stefanelli
%T Reconfigurable architectures for VLSI processing arrays
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 5
%D May 1986
%P 712-722

%A Yves Crouzet
%A Jacques Chavade
%T A 6800 coprocessor for error detection in microcomputers: the PAD
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 5
%D May 1986
%P 723-731

%A Jing-Yang Jou
%A Jacob A. Abraham
%T Fault-tolerant matrix arithmetic and signal processing
on highly concurrent computing structures
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 5
%D May 1986
%P 732-741

%A Timothy J. Drummond
%A William Ted Masselink
%A Hadis Morkoc
%T Modulation-doped GaAs/(Al,Ga)As heterojunction field-effect transistors:
MODFETs
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 6
%D June 1986
%P 773-821

%A Gregory F. Pfister
%T The IBM Yorktown simulation engine
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 6
%D June 1986
%P 850-860
%K YSE

%A Alfred C. Hartmann
%T Software or silicon ? the designer's option
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 6
%D June 1986
%P 861-874

%A Connie U. Smith
%A Richard R. Gross
%T Technology transfer between VLSI design and software engineering:
CAD tools and design methodologies
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 6
%D June 1986
%P 875-885

%A Ralph M. Weischedel
%T Knowledge representation and natural language processing
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 7
%D July 1986
%P 905-920

%A Timothy W. Finin
%A Aravind K. Joshi
%A Bonnie Lynn Webber
%T Natural language interactions with artificial experts
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 7
%D July 1986
%P 921-938

%A James F. Allen
%A Diane J. Litman
%T Plans, goals, and language
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 7
%D July 1986
%P 939-947
%K natural language

%A Wolfgang Wahlster
%A Alfred Kobsa
%T Dialogue-based user models
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 7
%D July 1986
%P 948-960
%K natural language

%A Kathleen R. McKeown
%T Language generation: applications, issues, and approaches
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 7
%D July 1986
%P 961-968
%K natural language

%A Jonathan Slocum
%T Machine translation: an American perspective
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 7
%D July 1986
%P 969-978
%K natural language

%A Doug Arnold
%T Eurotra: a European perspective on MT
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 7
%D July 1986
%P 979-992
%K machine translation, natural language

%A Makoto Nagao
%A Jun-ichi Tsujii
%A Jun-ichi Nakamura
%T Machine translation from Japanese to into English
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 7
%D July 1986
%P 993-1012
%K natural language

%A Mauro DiManzo
%A Giovanni Adorni
%A Fausto Giunchiglia
%T Reasoning about scene descriptions
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 7
%D July 1986
%P 1013-1025
%K natural language

%A Giovanni Guida
%A Giancarlo Mauri
%T Evaluation of natural language processing systems: issues and approaches
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 7
%D July 1986
%P 1026-1035

%A Bill Curtis
%A Elliot M. Soloway
%A Ruven E. Brooks
%A John B. Black
%A Kate Ehrlich
%A H. Rudy Ramsey
%T Software psychology: the need for an interdisciplinary program
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 8
%D August 1986
%P 1092-1106

%A Thomas E. Browne
%T Network of the future
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 9
%D September 1986
%P 1222-1230

%A Richard Vickers
%A Toomas Vilmansen
%T The evolution of telecommunications technology
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 9
%D September 1986
%P 1231-1245

%A Warren E. Falconer
%A John A. Hooke
%T Telecommunications services in the next decade
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 9
%D September 1986
%P 1241-1261

%A Luigia Aiello
%A Carlo Cecchi
%A Dario Sartini
%T Representation and use of metaknowledge
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 10
%D October 1986
%P 1304-1321
%K reflection

%A William A. Woods
%T Important issues in knowledge representation
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 10
%D October 1986
%P 1322-1334

%A Giuseppe Attardi
%A Maria Simi
%T A description-oriented logic for building knowledge bases
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 10
%D October 1986
%P 1335-1344

%A Erik Sandewall
%T Nonmonotonic inference rules for multiple inheritance with exceptions
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 10
%D October 1986
%P 1345-1353

%A Stuart C. Shapiro
%T Symmetric relations, intensional individuals, and variable binding
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 10
%D October 1986
%P 1354-1363

%A Richard Pelavin
%A James F. Allen
%T A formal logic of plans in temporally rich domains
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 10
%D October 1986
%P 1364-1382

%A Michael P. Georgeff
%A Amy L. Lansky
%T Procedural knowledge
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 10
%D October 1986
%P 1383-1398

%A Yorick Wilks
%T Default reasoning and self-knowledge
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 10
%D October 1986
%P 1399-1404

%A Janyce M. Wiebe
%A William J. Rapaport
%T Representing De Re and De Dicto belief reports in discourse and narrative
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 10
%D October 1986
%P 1405-1413

%A Timothy W. Finin
%T Interactive classification:
a technique for acquiring and maintaining knowledge bases
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 10
%D October 1986
%P 1414-1421

%A Nancy M. Cooke
%A James E. McDonald
%T A formal methodology for acquiring and representing expert knowledge
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 10
%D October 1986
%P 1422-1430

%A Eric Dubois
%A Jacques Hagelstein
%A Eugene Lahou
%A Frank Ponsaert
%A Andre Rifaut
%T A knowledge representation language for requirements engineering
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 10
%D October 1986
%P 1431-1444

%A George R. Cross
%T Legal knowledge
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 10
%D October 1986
%P 1445-1450

%A H. Neal Bertram
%T Fundamentals of the magnetic recording process
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 11
%D November 1986
%P 1494-1512

%A Glenford J. Myers
%A Albert Y.C. Yu
%A David L. House
%T Microprocessor technology trends
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 12
%D December 1986
%P 1605-1622

%A Shojiro Asai
%T Semiconductor memory trends
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 12
%D December 1986
%P 1623-1635

%A Nobuo Okuda
%A Masamichi Sugai
%A Nobuyuki Goto
%T Semicustom and custom LSI technology
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 12
%D December 1986
%P 1636-1645

%A William C. Holton
%A Ralph K. Cavin,\ III
%T A perspective on CMOS technology trends
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 12
%D December 1986
%P 1646-1668

%A Tak H. Ning
%A Denny D. Tang
%T Bipolar trends
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 12
%D December 1986
%P 1669-1677

%A Dale M. Brown
%A Maro Ghezo
%A Joseph M. Pimbley
%T Trends in advanced process technology -
submicrometer CMOS device design and process requirements
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 12
%D December 1986
%P 1678-1702

%A Yoichi Akasada
%T Three-dimensional IC trends
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 12
%D December 1986
%P 1703-1714

%A Murray H. Woods
%T MOS VLSI reliability and yield trends
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 12
%D December 1986
%P 1715-1729

%A Robert W. Dutton
%A Mark R. Pinto
%T The use of computer aids in IC technology evolution
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 12
%D December 1986
%P 1730-1740

%A Richard O. Carlson
%A Constantine A. Neugebauer
%T Future trends in wafer scale integration
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 12
%D December 1986
%P 1741-1752

%A Andrew J. Steckl
%T Particle-beam fabrication and in situ processing of integrated circuits
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 12
%D December 1986
%P 1753-1774

%A Randall A. Hughes
%A John D. Shott
%T The future of automation
for high-volume wafer fabrication and ASIC manufacturing
%J Proceedings of the IEEE
%K ieee_proc
%V 74
%N 12
%D December 1986
%P 1775-1793

%A Stefano Ceri
%A Barbara Pernici
%A Gio Wiederhold
%T Distributed database design methodologies
%J Proceedings of the IEEE
%K ieee_proc
%V 75
%N 5
%D May 1987
%P 533-546

%A Wesley W. Chu
%A Kin K. Leung
%T Module replication and assignment
for real-time distributed processing systems
%J Proceedings of the IEEE
%K ieee_proc
%V 75
%N 5
%D May 1987
%P 547-562

%A Alan R. Hevner
%A S. Bing Yao
%T Querying distributed databases on local area networks
%J Proceedings of the IEEE
%K ieee_proc
%V 75
%N 5
%D May 1987
%P 563-572

%A Philip S. Yu
%A Daniel M. Dias
%A John T. Robinson
%A Balakrishna R. Iyer
%A Douglas W. Cornell
%T On coupling mult-systems through data sharing
%J Proceedings of the IEEE
%K ieee_proc
%V 75
%N 5
%D May 1987
%P 573-587

%A Alfonso F. Cardenas
%T Heterogeneous distributed database management: the HD-DBMS
%J Proceedings of the IEEE
%K ieee_proc
%V 75
%N 5
%D May 1987
%P 588-600

%A Hector Garcia-Molina
%A Robert K. Abbott
%T Reliable distributed database management
%J Proceedings of the IEEE
%K ieee_proc
%V 75
%N 5
%D May 1987
%P 601-620

%A Witold Litwin
%A Abdelaziz Abdellatif
%T An overview of the multi-database manipulation language MDSL
%J Proceedings of the IEEE
%K ieee_proc
%V 75
%N 5
%D May 1987
%P 621-632

%A Patricia A. Dwyer
%A James A. Larson
%T Some experiences with a distributed database testbed system
%J Proceedings of the IEEE
%K ieee_proc
%V 75
%N 5
%D May 1987
%P 633-648

%A Wesley W. Chu
%A K.H. Kim
%A William C. McDonald
%T Testbed-based validation of design techniques
for reliable distributed real-time systems
%J Proceedings of the IEEE
%K ieee_proc
%V 75
%N 5
%D May 1987
%P 649-667

%A Bruce G. Lindsay
%T A retrospective on R*: a distributed database management system
%J Proceedings of the IEEE
%K ieee_proc
%V 75
%N 5
%D May 1987
%P 668-673

%A Arvola Chan
%A Umeshwar Dayal
%A Stephen Fox
%T An Ada-compatible distributed database management system
%J Proceedings of the IEEE
%K ieee_proc
%V 75
%N 5
%D May 1987
%P 674-694

%A Marjorie Templeton
%A David Brill
%A Son K. Dao
%A Eric Lund
%A Patricia Ward
%A Arbee L.P. Chen
%A Robert MacGregor
%T Mermaid - a front-end to distributed heterogeneous databases
%J Proceedings of the IEEE
%K ieee_proc
%V 75
%N 5
%D May 1987
%P 695-708

%A James P. Black
%A Lindsay F. Marshall
%A Brian Randell
%T The architecture of Unix United
%J Proceedings of the IEEE
%K ieee_proc
%V 75
%N 5
%D May 1987
%P 709-718
%K Newcastle Connection

%A James N. Gray
%A Mark Anderton
%T Distributed computer systems: four case studies
%J Proceedings of the IEEE
%K ieee_proc
%V 75
%N 5
%D May 1987
%P 719-726