AFIPS NCC 1981:
Chicago, Illinois, USA
American Federation of Information Processing Societies: 1981 National Computer Conference, 4-7 May 1981, Chicago, Illinois, USA.
AFIPS Conference Proceedings 50 AFIPS Press 1981
Computer hardware and architecture
- Richard F. Hobson:
Software sympathetic chip set design.
3-10

- W. A. Dees, K. M. Parmar, A. Goyal, Raymond Y. Tsui, B. D. Rathi, Robert J. Smith II:
A computer-aided VLSI layout system.
11-18

- William T. Overman, Stephen D. Crocker, Vittal Kini:
A multiprocessor description language.
19-25

- Algirdas Avizienis:
Fault tolerance by means of external monitoring of computer systems.
27-40

- L. E. Gallaher, Wing N. Toy:
The fault-tolerant 3B-20 processor.
41-48

- Wolfgang K. Giloi, Reinhold Güth, Bruce D. Shriver:
Firmware engineering: methods and tools for firmware specification and design.
49-55

- Harold W. Lawson Jr.:
New directions for micro- and system architectures in the 1980s.
57-62

- Alice C. Parker, Wayne T. Wilner:
Microprogramming: the challenges of VLSI.
63-68

- Andrew Heller, Andries van Dam:
Vertical and outboard migration: a progress report.
69-74

- Helmut K. Berg:
Firmware testing and test data selection.
75-80

- Scott Davidson, Bruce D. Shriver:
Specifying target resources in a machine independent higher level language.
81-85

- Perng-Yi Ma:
The design of a firmware engineering tool: the microcode compiler.
87-93

- Joseph A. Fisher, David Landskov, Bruce D. Shriver:
Microcode compaction: looking backward and looking forward.
95-102

- David A. Patterson, Ross Goodell, Michael D. Poe, Simon C. Steely Jr.:
V-Compiler: a next-generation tool for microprogramming.
103-109

- Svetlana P. Kartashev, Steven I. Kartashev:
Adaptable pipeline system with dynamic architecture.
111-124

- Bernhard Quatember:
Modular crossbar switch for large-scale multiprocessor systems: structure and implementation.
125-135

- Joseph Hellerstein, Wesley W. Chu:
Some potential deadlocks in layered communications architectures.
137-140

- A. C. D. De Figueiredo:
General-purpose integrated indexing circuits: a proposal.
141-143

- James D. Mooney:
The VALI (Variable Language Interpreter).
145-148

- Benjamin W. Wah, Y. W. Eva Ma:
The architecture of MANIP: a parallel computer system for solving NP-complete problems.
149-161

- Leon E. Winslow, Yuan-Chieh Chow:
Parallel sorting machines: their speed and efficiency.
163-165

Network technology
- Danny Cohen:
Packet communication of online speech.
169-176

- J. D. Markel:
Highlights of a group effort in algorithmic development for packet-switched voice networks.
177-181

- G. C. O'Leary, P. E. Blankenship, J. Tierney, J. A. Feldman:
A modular approach to packet voice terminal hardware design.
183-189

- Kai Hwang, Benjamin W. Wah, Faye A. Briggs:
Engineering computer network (ECN): a hardwired network of UNIX computer systems.
191-201

- S. Leventis, George D. Papadopoulos, Stavros A. Koubias, J. Constantinides:
A protocol for a new double-loop computer network and its implementation.
203-208

- W. Y. Cheng, S. Ray, R. B. Kolstad, J. Luhukay, Roy H. Campbell, Jane W.-S. Liu:
ILLINET: a 32 Mbits/sec. local-area network.
209-214

Software
- T. N. Turba, S. H. Costello:
A survey of currently implemented Pascal extensions.
217-224

- Michael E. Meyer:
A standard tool for information resource management.
225-230

- Roy H. Campbell, P. G. Richards:
SAGA: a system to automate the management of software production.
231-234

- David W. Johnson:
The development facility approach to improved software development.
235-239

- E. Levinson, L. S. Levy, J. B. Salisbury:
CARL: experience of an application using clusters.
241-248

- Edgar H. Sibley, P. Gerard Scallan, Eric K. Clemons:
The software configuration management database.
249-255

- David B. Wortman, Richard C. Holt, James R. Cordy, David R. Crowe, Ian H. Griggs:
Euclid: a language for compiling quality software.
257-263

- Charles Crowley:
The design and implementation of a new UNIX kernel.
265-271

- Charles R. Young:
A security policy for a profile-oriented operating system.
273-282

- André M. Van Tilborg, Larry D. Wittie:
Distributed task force scheduling in multi-microcomputer networks.
283-289

- Camille C. Price:
The assignment of computational tasks among processors in a distributed system.
291-296

- Bharat Bhargava:
Software reliability in real-time systems.
297-309

- J. George Shanthikumar:
A state- and time-dependent error occurrence-rate software reliability model with imperfect debugging.
311-315

- G. Michael Schneider, Robert L. Sedlmeyer, Joe Kearney:
On the complexity of measuring software complexity.
317-322

- John W. Center:
Quantitative measures of MIS quality assurance during hardware conversion.
323-327

- Jean Cochrane Zolnowski, Dick B. Simmons:
Taking the measure of program complexity.
329-336

- Michael J. Lyons:
Salvaging your software asset: (tools based maintenance).
337-341

- John Reutter III:
Maintenance is a management problem and a programmer's opportunity.
343-347

- Ned Chapin:
Productivity in software maintenance.
349-352

- M. A. Holthouse, C. W. Lybrook:
Improving software testing in large data processing organizations.
353-359

- George N. Baird, L. Arnold Johnson:
Compiler validation: an assessment.
361-366

- Mark K. Smith, Leonard L. Tripp, Leon J. Osterweil, Richard N. Taylor, William E. Howden:
An approach to transfer verification and validation technology.
367-373

- Ronald L. Danielson:
Easy interactive access to batch image analysis software.
375-382

- Nathan Relles, Norman K. Sondheimer, Giorgio P. Ingargiola:
A unified approach to online assistance.
383-388

- William L. Batchelor, Lucian J. Endicott Jr.:
An experimental system to support a very high level user interface.
389-392

- Robert Balzer, Neil M. Goldman:
Principles of good software specification and their implications for specification languages.
393-400

- Roy E. Anderson:
Modular documentation: a software development tool.
401-405

- Ken Hirose, Kiyoshi Segawa, Nobuo Saito, Norihisa Doi, Masahiro Hirata, Toshiharu Yamasaki, Masayuki Takata:
Specification technique for parallel processing: process-data representation.
407-413

- Robert C. Gammill:
A tiny portable language-independent macroprocessor and some applications.
415-420

Capacity and performance analysis
- Dimitris A. Protopapas:
Finite queueing approximation techniques for analysis of computer systems.
423-429

- J. R. Rao, W. L. Hanna:
Throughput-response measurements in a distributed CAD/CAM processing network.
431-439

Database systems
- Vangalur S. Alagar, Bernard Blanchard, David Glaser:
Effective inference control mechanisms for securing statistical databases.
443-452

- Ruven Brooks, Meera Blattner, Zdzislaw Pawlak, Eamon Barrett:
Using partitioned databases for statistical data analysis.
453-457

- Michael W. Vannier, E. Othmer, Siegfried Othmer, P. Fishman:
Development of an automatic sleep EEG analysis and staging system.
459-462

- Darrell L. Ward:
Embedding an information system within a generalized network environment.
463-467

- Ruven Brooks:
The design of the clinical and research information system for psychiatry.
469-471

- Paul Decitre:
A concurrency control algorithm in a distributed environment.
473-479

- Richard J. Greene:
An alternative approach to distributed database updating.
481-485

- John Miles Smith, Philip A. Bernstein, Umeshwar Dayal, Nathan Goodman, Terry A. Landers, Ken W. T. Lin, Eugene Wong:
Multibase: integrating heterogeneous distributed database systems.
487-499

- James R. Swager:
Architecture of a distributed database information resource.
501-505

- Sadayuki Hikita, Haruaki Yamazaki, Kiyoshi Hasegawa, Yutaka Matsushita:
Optimization of the file access method in content-addressable database access machine (CADAM).
507-513

- Mamoru Maekawa:
Parallel sort and join for high speed database machine operations.
515-520

- Sakti Pramanik:
Highly parallel associative search and its application to cellular database machine design.
521-528

- Georges S. Nicolas:
A generalized database access path model.
529-535

- Burt M. Leavenworth:
Database programming with data abstractions.
537-542

- Bharat K. Bhargava, Leszek Lilien:
Feature analysis of selected database recovery techniques.
543-554

- Yahiko Kambayashi, Narao Nakatsu, Shuzo Yajima:
Data compression procedures utilizing the similarity of data.
555-562

Information processing management
Education and societal issues
Computers at work
- Helen J. Schwartz:
Keeping CAI humane in the humanities.
605-608

- Richard W. Boss:
The effects of computers on library staff and users: how can the administrator cope?
609-611

- Robin Crickman:
Libraries as local database producers.
613-615

- Richard C. Roistacher:
Data files as library materials: policies, procedures, and politics.
617-621

- L. Papayanopoulos:
Computerized weighted voting reapportionment.
623-629

- David J. Mishelevich:
Hospital information systems tutorial: a guide for computer scientists and practitioners.
631-639

Visuals, natural language processing, and artificial intelligence
- James A. Hendler, Thomas P. Kehler, Paul Roller Michaelis, Brian Phillips, Kenneth M. Ross, Harry R. Tennant:
Issues in the development of natural language front-ends.
643-648

- Lance A. Miller, George E. Heidorn, Karen Jensen:
Text-critiquing with the EPISTLE system: an author's aid to better syntax.
649-655

- Bozena Henisz Thompson, Frederick B. Thompson:
Shifting to a higher gear in a natural language system.
657-662

- Jay Hewitt:
Computer speech for people with cerebral palsy.
663-664

- Nola Donato:
GRASS3, a language for interactive graphics.
665-669

- Robert Rocchetti:
VISION II: a dynamic raster-scan display.
671-676

- Nancy N. Sheheen, Patrick J. Hodson:
The development of the reactor safety film.
677-679

- W. R. Winfrey, S. R. Ricketts:
The MODEL/IMAGES2 system: an application of computer graphics and three-dimensional geometric modeling to the jet impingement problem.
681-687

- Sandra Cook, Caroled Hafner, L. Thorne McCarty, Jeffrey A. Meldman, Mark Peterson, James A. Sprowl, N. S. Sridharan, Donald A. Waterman:
The applications of artificial intelligence to law: a survey of six current projects.
689-696

- Larry Wos, S. K. Winker, Ewing L. Lusk:
An automated reasoning system.
697-702

Last update Sat May 18 18:04:05 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page