researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: IEEE Computer
Home
Index
Info
Volume
Volume
18
, Issue
9
8
--
19
Robert P. Colwell
,
Charles Y. Hitchcock III
,
E. Douglas Jensen
,
Brinkley Sprunt
,
Charles P. Kollar
.
Instruction Sets and Beyond: Computers, Complexity, and Controversy
21
--
34
Joëlle Coutaz
.
Abstraction for User Interface Design
39
--
48
David J. Hartzband
,
Fred J. Maryanski
.
Enhancing Knowledge Representation in Engineering Databases
53
--
65
Victor R. Basili
,
Elizabeth E. Katz
,
Nora Monina Panlilio-Yap
,
Connie Loggia Ramsey
,
Shih Chang
.
Characterization of an Ada Software Development
68
--
79
Stephen F. Lundstrom
,
Ronald L. Larsen
.
Workshop: Computer and Information Technology in the Year 2000 - a Projection
83
--
90
Harriett B. Rigas
,
Taylor L. Booth
,
Faye A. Briggs
,
Tadao Murata
,
Harold S. Stone
.
Workshop: Artificial Intelligence Research in Japan
Volume
18
, Issue
8
6
--
9
Robert B. Grafton
,
Tadao Ichikawa
.
Visual Programming - Guest Editors Introduction
11
--
25
Georg Raeder
.
A Survey of Current Graphical Programming Techniques
27
--
35
Gretchen Brown
,
Richard T. Carling
,
Christopher F. Herot
,
David Kramlich
,
Paul Souza
.
Programming Visualization: Graphical Support for Software Development
38
--
49
Nan C. Shu
.
FORMAL: A Forms-Oriented, Visual-Directed Application Development System
51
--
59
Robert J. K. Jacob
.
A State Transition Diagram Language for Visual Programming
61
--
71
Ralph L. London
,
Robert Duisberg
.
Animating Programs Using Smalltalk
72
--
85
Mark Moriconi
,
Dwight F. Hare
.
Visualizing Program Designs Through PegaSys
87
--
94
Benjamin Melamed
,
Robert J. T. Morris
.
Visual Simulation: The Performance Analysis Workstation
Volume
18
, Issue
7
6
--
7
Stephen W. Miller
.
The Future of Mass Storage Systems - Guest Editor s Introduction
9
--
22
Stephen W. Miller
,
M. William Collins
.
Toward a Reference Model of Mass Storage Systems
24
--
32
Bernard T. O Lear
,
David L. Kitts
.
Optical Device Interfacing for a Mass Storage Syste
36
--
45
George J. Ammon
,
Joseph A. Calabria
,
Douglas T. Thomas
.
A High-Speed, Large-Capacity ``Jukebox'' Optical Disk System
49
--
58
Patric Savage
.
Proposed Guidelines for an Automated Cartridge Repository
60
--
67
Albert S. Hoagland
.
Information Storage Technology - A Look at the Future
69
--
79
Ware Myers
.
The Crisis in Higher Education: Solutions
80
--
88
Douglas T. Ross
.
Douglas Ross Talks About Structured Analysis (Interview)
Volume
18
, Issue
6
6
--
7
Chuan-lin Wu
.
Multiprocessing Technology - Guest Editor s Introduction
9
--
27
Daniel Gajski
,
Jih-Kwon Peir
.
Essential Issues in Multiprocessor Systems
29
--
40
Peter C. Patton
.
Multiprocessors: Architecture and Applications
43
--
56
Paul B. Schneck
,
Donald M. Austin
,
Stephen L. Squires
,
John R. Lehmann
,
David W. Mizell
,
Kenneth Wallgren
.
Parallel Processor Programs in the Federal Government
57
--
73
Kai Hwang
.
Multiprocessor Supercomputers for Scientific/Engineering Applications
76
--
92
Kunio Murakami
,
Takeo Kakuta
,
Rikio Onai
,
Noriyoshi Ito
.
Research on Parallel Machine Architecture for Fifth-Generation Computer Systems
93
--
108
Benjamin W. Wah
,
Guo-Jie Li
,
Chee Fen Yu
.
Multiprocessing of Combinatorial Search Problems
Volume
18
, Issue
5
9
--
27
Gary H. Sockut
.
A Framework for Logical-Level Changes Within Database Systems
29
--
35
Masasuke Morita
.
Japanese Text Input System
38
--
48
John DeRosa
,
Richard Glackemeyer
,
Thomas Knight
.
Design and Implementation of the VAX 8600 Pipeline
51
--
65
Marshall D. Abrams
.
Observations on Operating a LocaI Area Network
67
--
84
Martin Bärtschi
.
An Overview of Information Retrieval Subjects
86
--
96
Barry G. Silverman
.
Software Cost and Productivity Improvements: An Analogical View
101
--
105
John Tartar
,
Bruce W. Arden
,
Taylor L. Booth
,
Peter J. Denning
,
Raymond E. Miller
,
Andries van Dam
.
1984 Snowbird Report: Future Issues in Computer Science
105
--
110
Peter J. Denning
.
Ruminations on Education
114
--
115
J. L. Nichols
.
The Open Channel
Volume
18
, Issue
4
9
--
12
William E. Rzepka
,
Yutaka Ohno
.
Requirements Engineering Environments: Software Tools for Modeling User Needs - Guest Editors Introduction
14
--
23
Gruia-Catalin Roman
.
A Taxonomy of Current Issues in Requirements Engineering
25
--
34
Douglas T. Ross
.
Applications and Extensions of SADT
36
--
46
Mack W. Alford
.
SREM at the Age of Eight; The Distributed Computing Design System
47
--
54
Paul A. Scheffer
,
Albert H. Stone III
,
William E. Rzepka
.
A Case Study of SREM
56
--
65
Gene E. Sievert
,
Terrence A. Mizell
.
Specification-Based Software Engineering with TAGS
67
--
70
Stephanie White
,
Jonah Z. Loeb (Lavi)
.
Embedded Computer System Requirements Workshop
71
--
80
M. Chandrasekharan
,
B. Dasarathy
,
Z. Kishimoto
.
Requirements-Based Testing of Real-Time Systems: Modeling for Testability
82
--
91
Alexander Borgida
,
Sol J. Greenspan
,
John Mylopoulos
.
Knowledge Representation as the Basis for Requirements Specifications
Volume
18
, Issue
3
11
--
19
Gregory D. Buzzard
,
Trevor N. Mudge
.
Object-Based Computing and the Ada Programming Language
20
--
28
Alan R. Klumpp
.
Space Station Flight Software: Hal/S or Ada?
29
--
39
Edmond L. Greenberg
,
Robert E. Malcho
,
P. James Stoll
,
Douglas J. Theis
.
Survey of Spacecraft Memory Technologies
41
--
53
Jack N. Fenner
,
Jeffrey A. Schmidt
,
Houssam A. Halabi
,
Dharma P. Agrawal
.
MASCO: The Design of a Microprogrammed Processor
54
--
68
Vason P. Srini
.
A Fault-Tolerant Dataflow System
70
--
80
Scott Berman
,
Parag Parikh
,
C. S. George Lee
.
Computer Recognition of Two Overlapping Parts Using a Single Camera
81
--
92
Ware Myers
.
An Assessment of the Competitiveness of the United States Software Industry
103
--
108
Robert G. Babb II
,
Richard B. Kieburtz
,
Ken Orr
,
Ali Mili
,
Susan Gearhart
,
Nancy N. Martin
.
Workshop on Models and Languages for Software Specification and Design
Volume
18
, Issue
2
10
--
19
Ben C. Moszkowski
.
A Temporal Logic for Multilevel Reasoning about Hardware
22
--
32
Fumihiro Maruyama
.
Hardware Verification
33
--
40
N. Suzuki
.
Concurrent Prolog as an Efficient VLSI Design Language
42
--
52
Monica S. Lam
.
A Transformational Model of VLSI Systolic Design
55
--
65
Steven M. German
,
Karl J. Lieberherr
.
Zeus: A Language for Expressing Algorithms in Hardware
67
--
76
Subrata Dasgupta
.
Hardware Description Languages in Microprogramming Systems
81
--
92
Robert Piloty
.
The Conlan Project: Concepts, Implementations, and Applications
94
--
103
Moe Shahdad
,
Roger Lipsett
,
Erich Marschner
,
Kellye Sheehan
,
Howard Cohen
.
VHSIC Hardware Description Language
105
--
112
Bernard I. Witt
.
Parallelism, Pipelines, and Partitions: Variations on Communicating Modules
Volume
18
, Issue
12
10
--
24
Olaf M. Lubeck
,
James W. Moore
,
Raul Mendez
.
A benchmark Comparison of Three Supercomputers: Fujitsu VP-200, Hitachi S810/20, and Cray X-MP/2
30
--
40
William W. Carlson
,
Kai Hwang
.
Algorithmic Performance of Dataflow Multiprocessors
44
--
61
Sudhakar Yalamanchili
,
Jake K. Aggarwal
.
Reconfiguration Strategies for Parallel Architectures
65
--
78
Robert H. Thomas
,
Harry C. Forsdick
,
Terrence R. Crowley
,
Richard W. Schaaf
,
Raymond S. Tomlinson
,
Virginia M. Travers
,
George G. Robertson
.
Diamond: A Multimedia Message System Built on a Distributed Architecture
Volume
18
, Issue
11
10
--
11
Michael C. Mulder
,
Peter J. Denning
.
Computing in the Frontiers of Science and Engineering - Introduction
14
--
36
Michael R. Raugh
.
Modeling California Earthquakes and Earth Structures
37
--
47
D. Kent Cullers
,
Ivan R. Linscott
,
Bernhard M. Oliver
.
Signal Processing in SETI
49
--
69
Peter Friedland
,
Laurence H. Kedes
.
Discovering the Secrets of DNA
74
--
87
Alan B. Chambers
,
David C. Nagel
.
Pilots of the Future: Human or Computer?
90
--
103
Leonard Kleinrock
.
Distributed Systems
112
--
125
Edward Balkovich
,
Steven Lerman
,
Richard P. Parmelee
.
Computing in Higher Education: The Athena Experience
128
--
140
Joel S. Birnbaum
.
Towards the Domestication of Microelectronics
Volume
18
, Issue
10
10
--
11
J. J. Garcia-Luna-Aceves
,
Andrew A. Poggio
.
Computer-Based Multimedia Communications - Guest Editors Introduction
15
--
30
Nicole Yankelovich
,
Norman K. Meyrowitz
,
Andries van Dam
.
Reading and Writing the Electronic Book
33
--
45
Sunil K. Sarin
,
Irene Greif
.
Computer-Based real-Time Conferencing Systems
50
--
60
Wolfgang Horak
.
Office Document Architecture and Office Document Interchange Formats: Current Status of International Standardization
63
--
75
Peter R. Bono
.
A Survey of Graphics Standards and Their Role in Information Interchange
82
--
89
Joyce K. Reynolds
,
Jonathan B. Postel
,
Alan R. Katz
,
Gregory G. Finn
,
Annette L. DeSchon
.
The DARPA Experimental Multimedia Mail System
92
--
103
Andrew A. Poggio
,
J. J. Garcia-Luna-Aceves
,
Earl Craighill
,
Douglas B. Moran
,
L. Aguilar
,
David R. L. Worthington
,
John M. Hight
.
CCWS: A Computer-Based Multimedia Information System
106
--
116
Shiro Sakata
,
Tetsuo Ueda
.
A Distributed Interoffice Mail System
Volume
18
, Issue
1
10
--
12
Yaohan Chu
.
Chinese/Kanji Text and Data Processing
18
--
24
Jack K. T. Huang
.
The Input and Output of Chinese and Japanese Characters
27
--
34
Joseph D. Becker
.
Typing Chinese, Japanese, and Korean
37
--
45
R. Matsuda
.
Processing Information in Japanese
46
--
52
Hiroshi Makino
.
Beta: An Automatic Kana-Kanji Translation System
54
--
59
Wei Cui
.
Evaluation of Chinese Character Keyboards
60
--
63
Jian-Sheng
.
A Pinyin Keyboard for Inputting Chinese Characters
65
--
66
H. C. Tien
.
The Pinxxiee Chinese Word Processor
67
--
77
Bernard I. Witt
.
Communicating Modules: A Software Design Model for Concurrent Distributed Systems
80
--
87
Helen M. Wood
,
Donald J. Reifer
,
Martha E. Sloan
.
A Tour of Computing Facilities in China
88
--
0
J. Nielsen
.
The Open Channel