Abstract is missing.
- Software sympathetic chip set designRichard F. Hobson. 3-10 [doi]
- A computer-aided VLSI layout systemW. A. Dees, K. M. Parmar, A. Goyal, R. Y. Tsui, B. D. Rathi, Robert J. Smith II. 11-18 [doi]
- A multiprocessor description languageWilliam T. Overman, Stephen D. Crocker, Vittal Kini. 19-25 [doi]
- Fault tolerance by means of external monitoring of computer systemsAlgirdas Avizienis. 27-40 [doi]
- The fault-tolerant 3B-20 processorL. E. Gallaher, Wing N. Toy. 41-48 [doi]
- Firmware engineering: methods and tools for firmware specification and designWolfgang K. Giloi, Reinhold Güth, Bruce D. Shriver. 49-55 [doi]
- New directions for micro- and system architectures in the 1980sHarold W. Lawson Jr.. 57-62 [doi]
- Microprogramming: the challenges of VLSIAlice C. Parker, Wayne T. Wilner. 63-68 [doi]
- Vertical and outboard migration: a progress reportAndrew Heller, Andries van Dam. 69-74 [doi]
- Firmware testing and test data selectionHelmut K. Berg. 75-80 [doi]
- Specifying target resources in a machine independent higher level languageScott Davidson, Bruce D. Shriver. 81-85 [doi]
- The design of a firmware engineering tool: the microcode compilerPerng-Yi Ma. 87-93 [doi]
- Microcode compaction: looking backward and looking forwardJoseph A. Fisher, David Landskov, Bruce D. Shriver. 95-102 [doi]
- V-Compiler: a next-generation tool for microprogrammingDavid A. Patterson, Ross Goodell, Michael D. Poe, Simon C. Steely Jr.. 103-109 [doi]
- Adaptable pipeline system with dynamic architectureSvetlana P. Kartashev, Steven I. Kartashev. 111-124 [doi]
- Modular crossbar switch for large-scale multiprocessor systems: structure and implementationBernhard Quatember. 125-135 [doi]
- Some potential deadlocks in layered communications architecturesJoseph Hellerstein, Wesley W. Chu. 137-140 [doi]
- General-purpose integrated indexing circuits: a proposalA. C. D. De Figueiredo. 141-143 [doi]
- The VALI (Variable Language Interpreter)James D. Mooney. 145-148 [doi]
- The architecture of MANIP: a parallel computer system for solving NP-complete problemsBenjamin W. Wah, Y. W. Eva Ma. 149-161 [doi]
- Parallel sorting machines: their speed and efficiencyLeon E. Winslow, Yuan-Chieh Chow. 163-165 [doi]
- Packet communication of online speechDanny Cohen. 169-176 [doi]
- Highlights of a group effort in algorithmic development for packet-switched voice networksJ. D. Markel. 177-181 [doi]
- A modular approach to packet voice terminal hardware designG. C. O Leary, P. E. Blankenship, J. Tierney, J. A. Feldman. 183-189 [doi]
- Engineering computer network (ECN): a hardwired network of UNIX computer systemsKai Hwang, Benjamin W. Wah, Faye A. Briggs. 191-201 [doi]
- A protocol for a new double-loop computer network and its implementationS. Leventis, George D. Papadopoulos, Stavros A. Koubias, J. Constantinides. 203-208 [doi]
- ILLINET: a 32 Mbits/sec. local-area networkW. Y. Cheng, S. Ray, R. Kolstad, J. Luhukay, R. Campbell, J. W.-S. Liu. 209-214 [doi]
- A survey of currently implemented Pascal extensionsT. N. Turba, S. H. Costello. 217-224 [doi]
- A standard tool for information resource managementMichael E. Meyer. 225-230 [doi]
- SAGA: a system to automate the management of software productionR. H. Campbell, P. G. Richards. 231-234 [doi]
- The development facility approach to improved software developmentDavid W. Johnson. 235-239 [doi]
- CARL: experience of an application using clustersE. Levinson, L. S. Levy, J. B. Salisbury. 241-248 [doi]
- The software configuration management databaseEdgar H. Sibley, P. Gerard Scallan, Eric K. Clemons. 249-255 [doi]
- Euclid: a language for compiling quality softwareDavid B. Wortman, Richard C. Holt, James R. Cordy, David R. Crowe, Ian H. Griggs. 257-263 [doi]
- The design and implementation of a new UNIX kernelCharles Crowley. 265-271 [doi]
- A security policy for a profile-oriented operating systemCharles R. Young. 273-282 [doi]
- Distributed task force scheduling in multi-microcomputer networksAndré M. Van Tilborg, Larry D. Wittie. 283-289 [doi]
- The assignment of computational tasks among processors in a distributed systemCamille C. Price. 291-296 [doi]
- Software reliability in real-time systemsBharat Bhargava. 297-309 [doi]
- A state- and time-dependent error occurrence-rate software reliability model with imperfect debuggingJ. G. Shanthikumar. 311-315 [doi]
- On the complexity of measuring software complexityG. Michael Schneider, Robert L. Sedlmeyer, Joe Kearney. 317-322 [doi]
- Quantitative measures of MIS quality assurance during hardware conversionJohn W. Center. 323-327 [doi]
- Taking the measure of program complexityJean Cochrane Zolnowski, Dick B. Simmons. 329-336 [doi]
- Salvaging your software asset: (tools based maintenance)Michael J. Lyons. 337-341 [doi]
- Maintenance is a management problem and a programmer s opportunityJohn Reutter III. 343-347 [doi]
- Productivity in software maintenanceNed Chapin. 349-352 [doi]
- Improving software testing in large data processing organizationsM. A. Holthouse, C. W. Lybrook. 353-359 [doi]
- Compiler validation: an assessmentGeorge N. Baird, L. Arnold Johnson. 361-366 [doi]
- An approach to transfer verification and validation technologyMark K. Smith, Leonard L. Tripp, Leon J. Osterweil, Richard N. Taylor, William E. Howden. 367-373 [doi]
- Easy interactive access to batch image analysis softwareRonald L. Danielson. 375-382 [doi]
- A unified approach to online assistanceNathan Relles, Norman K. Sondheimer, Giorgio P. Ingargiola. 383-388 [doi]
- An experimental system to support a very high level user interfaceWilliam L. Batchelor, Lucian J. Endicott Jr.. 389-392 [doi]
- Principles of good software specification and their implications for specification languagesRobert Balzer, Neil M. Goldman. 393-400 [doi]
- Modular documentation: a software development toolRoy E. Anderson. 401-405 [doi]
- Specification technique for parallel processing: process-data representationKen Hirose, Kiyoshi Segawa, Nobuo Saito, Norihisa Doi, Masahiro Hirata, Toshiharu Yamasaki, Masayuki Takata. 407-413 [doi]
- A tiny portable language-independent macroprocessor and some applicationsRobert C. Gammill. 415-420 [doi]
- Finite queueing approximation techniques for analysis of computer systemsDimitris A. Protopapas. 423-429 [doi]
- Throughput-response measurements in a distributed CAD/CAM processing networkJ. R. Rao, W. L. Hanna. 431-439 [doi]
- Effective inference control mechanisms for securing statistical databasesVangalur S. Alagar, Bernard Blanchard, David Glaser. 443-452 [doi]
- Using partitioned databases for statistical data analysisRuven Brooks, Meera Blattner, Zdzislaw Pawlak, Eamon Barrett. 453-457 [doi]
- Development of an automatic sleep EEG analysis and staging systemMichael W. Vannier, E. Othmer, S. Othmer, P. Fishman. 459-462 [doi]
- Embedding an information system within a generalized network environmentDarrell L. Ward. 463-467 [doi]
- The design of the clinical and research information system for psychiatryRuven Brooks. 469-471 [doi]
- A concurrency control algorithm in a distributed environmentPaul Decitre. 473-479 [doi]
- An alternative approach to distributed database updatingRichard J. Greene. 481-485 [doi]
- Multibase: integrating heterogeneous distributed database systemsJohn Miles Smith, Philip A. Bernstein, Umeshwar Dayal, Nathan Goodman, Terry A. Landers, Ken W. T. Lin, Eugene Wong. 487-499 [doi]
- Architecture of a distributed database information resourceJames R. Swager. 501-505 [doi]
- Optimization of the file access method in content-addressable database access machine (CADAM)Sadayuki Hikita, Haruaki Yamazaki, Kiyoshi Hasegawa, Yutaka Matsushita. 507-513 [doi]
- Parallel sort and join for high speed database machine operationsMamoru Maekawa. 515-520 [doi]
- Highly parallel associative search and its application to cellular database machine designSakti Pramanik. 521-528 [doi]
- A generalized database access path modelGeorges S. Nicolas. 529-535 [doi]
- Database programming with data abstractionsBurt M. Leavenworth. 537-542 [doi]
- Feature analysis of selected database recovery techniquesBharat Bhargava, Leszek Lilien. 543-554 [doi]
- Data compression procedures utilizing the similarity of dataYahiko Kambayashi, Narao Nakatsu, Shuzo Yajima. 555-562 [doi]
- Choosing application development tools and techniquesV. Kevin M. Whitney, Jane G. Morse. 565-570 [doi]
- A software requirements analysis and definition methodology for business data processingIsao Miyamoto, Raymond T. Yeh. 571-580 [doi]
- A methodology for information system designColette Rolland. 583-589 [doi]
- CSDP: a model for continuing education in data processingDennis M. Oliver, Robert A. Rouse, Robert J. Benson. 593-595 [doi]
- People teaching people: a cooperative education ventureEdwin F. Kerr. 597-599 [doi]
- Computers and the future of literacyFrederick L. Goodman. 601-603 [doi]
- Keeping CAI humane in the humanitiesHelen J. Schwartz. 605-608 [doi]
- The effects of computers on library staff and users: how can the administrator cope?Richard W. Boss. 609-611 [doi]
- Libraries as local database producersRobin Crickman. 613-615 [doi]
- Data files as library materials: policies, procedures, and politicsRichard C. Roistacher. 617-621 [doi]
- Computerized weighted voting reapportionmentL. Papayanopoulos. 623-629 [doi]
- Hospital information systems tutorial: a guide for computer scientists and practitionersDavid J. Mishelevich. 631-639 [doi]
- Issues in the development of natural language front-endsJames A. Hendler, Thomas P. Kehler, Paul Roller Michaelis, Brian Phillips, Kenneth M. Ross, Harry R. Tennant. 643-648 [doi]
- Text-critiquing with the EPISTLE system: an author s aid to better syntaxLance A. Miller, George E. Heidorn, Karen Jensen. 649-655 [doi]
- Shifting to a higher gear in a natural language systemBozena Henisz Thompson, Frederick B. Thompson. 657-662 [doi]
- Computer speech for people with cerebral palsyJay Hewitt. 663-664 [doi]
- GRASS3, a language for interactive graphicsNola Donato. 665-669 [doi]
- VISION II: a dynamic raster-scan displayRobert Rocchetti. 671-676 [doi]
- The development of the reactor safety filmNancy N. Sheheen, Patrick J. Hodson. 677-679 [doi]
- The MODEL/IMAGES2 system: an application of computer graphics and three-dimensional geometric modeling to the jet impingement problemW. R. Winfrey, S. R. Ricketts. 681-687 [doi]
- The applications of artificial intelligence to law: a survey of six current projectsSandra Cook, Caroled Hafner, L. Thorne McCarty, Jeffrey A. Meldman, Mark Peterson, James A. Sprowl, N. S. Sridharan, Donald A. Waterman. 689-696 [doi]
- An automated reasoning systemLarry Wos, S. K. Winker, Ewing L. Lusk. 697-702 [doi]