Abstract is missing.
- Expansions in the algebra of FPK. M. George, G. E. Hedrick. 1-8 [doi]
- A differentiation primitive for extended &lgr;-calculusTerry Flaherty. 9-16 [doi]
- Denotational data flow analysis for parallel implementation of imperative programsShan-Jon Chao, Barrett R. Bryant. 17-26 [doi]
- Implementing first order logic in Modula-2 using an intuitionistic approachWei Li. 27-36 [doi]
- Toward a theory of correct set algorithmsT. G. Windeknecht. 37-46 [doi]
- Future software development management system prototypeBen Livson. 47-56 [doi]
- Industrializing software productionHuang Weiqiao. 57-66 [doi]
- Literary criticism and programming pedagogyCorey D. Schou, Roland Nord. 67-71 [doi]
- Towards empirical studies of programming in new paradigmsT. T. Carey, M. M. Shepherd. 72-78 [doi]
- Horizontal partitioningJan E. Bond. 79-87 [doi]
- Pixel preferenceGretchen L. Van Meer, John C. Hansen, Harriet Wall. 88-91 [doi]
- Implementation of cross intersection between triangular surfacesChaman L. Sabharwal, Thomas G. Melson. 92-101 [doi]
- Partitioning rectilinear figures into rectanglesRitu Chadha, Donald C. S. Allison. 102-106 [doi]
- An architecture for textual information retrievalRay Smith, James W. Hooper. 107-112 [doi]
- Computer organization/architecture: a threaded top-down designBarry J. Donahue, Carl Steidley. 113-119 [doi]
- Fast prototyping of a goal-orientedsimulation environment sytemDavid A. Umphress, Udo W. Pooch, Murat Tanik. 120-130 [doi]
- A CAD system for the capture of combat casualty care informationThomas J. Sager, William M. Pugh. 131-135 [doi]
- A private military network using a power transmission lineAlan Chickinsky. 136-139 [doi]
- Software design for electronic banking: managing the user-computer interfaceAnna Bodi, John Zeleznikow. 140-146 [doi]
- Self-organizing scheme for file storageYuan Y. Sung, Donghoon Lee. 147-160 [doi]
- Data modeling: order out of chaosCarolyn B. Seaman. 161-172 [doi]
- Incomplete information and the relational model of dataR. B. Abhyankar, R. L. Kashyap. 173-177 [doi]
- Semantics of update operations for an extended entity-relationship modelBogdan D. Czejdo, Ramez Elmasri, Marek Rusinkiewicz, David W. Embley. 178-187 [doi]
- Computer technology in special education and rehabilitationDolores Hagen, Bud Hagen. 182 [doi]
- Is there a unified package for business applications?Y. Richard Wang. 185 [doi]
- U:::2:::RS: an upgradable universal relation systemT. C. Ting, Lee A. Becker, Z. Q. Tan. 188-196 [doi]
- Building expert sytems for statistical process control in steel remelt industryMustafa A. Kamal. 197-205 [doi]
- MTEEP: mechanical transmission element expert systemSanjiv Ranjan. 206-213 [doi]
- Acceptance testing of expert systems: issues of verification and validationMary Micco. 214-217 [doi]
- Some techniques for minimizing and optimizing the rule base of an expert systemGerard Kiernan, Arnold Koltun, George Psihountas, Edward N. Schwartz. 218-222 [doi]
- Constructing an expert system - software engineering of a different kindGerard Kiernan, Arnold Koltun, Edward N. Schwartz. 223-231 [doi]
- A unified theory of software metricsLem O. Ejiogu. 232-238 [doi]
- On generation of state space for timed Petri netsWlodzimierz M. Zuberek. 239-248 [doi]
- Parsing a graph-grammarCarolyn McCreary. 249-255 [doi]
- Best first search in and/or graphsP. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar. 256-261 [doi]
- A statistical model for the search problemKent E. Foster. 262-265 [doi]
- Functional path analysis: an approach to software verificationJohn W. Sheppard, William R. Simpson. 266-272 [doi]
- The execution history approach to intelligent debuggingEdward G. Okie, James D. Arthur. 273-281 [doi]
- Software testing in the commercial environmentFred L. Bierly, Marian Zajko. 282-286 [doi]
- The design of a PDL environmentBrian A. Nejmeh. 287-298 [doi]
- Automating the software development processRoy H. Campbell, Hal Render, Robert N. Sum Jr., Robert B. Terwilliger. 299-308 [doi]
- A simplified LAN protocol for practicing file transfer, resource locating, and elementary distributed problem solvingCurt M. White. 309-313 [doi]
- A simple dynamic load balancing algorithm for homogeneous distributed systemsHany H. Ammar, Su Deng. 314-319 [doi]
- Path analysis of distributed programsKrzysztof Kuchcinski, Bogdan Wiszniewski. 320-328 [doi]
- Software experience with concurrent C and LISP in a distributed systemRoberto Salama, Wentai Liu, Ronald S. Gyurcsik. 329-334 [doi]
- Locality in distributed computationsDavid K. Garnick, A. Toni Cohen. 335-344 [doi]
- Comparison of several techniques for generating systolic arraysAlice A. McRae, Keith A. R. Allen, Roy P. Pargas. 345-349 [doi]
- Some new systolic designs for two-dimensional convolutionAnup B. Sharma, Keith R. Allen, Roy P. Pargas. 350-356 [doi]
- Translating systolic arrays into instruction systolic arraysAdrian Vrouwenvelder, Keith R. Allen, Roy P. Pargas. 357-365 [doi]
- A new parallel multiplication algorithm and its VLSI implementationBhabani P. Sinha, Pradip K. Srimani. 366-372 [doi]
- Parallel VLSI computation of all shortest paths in a graphSujit Dey, Pradip K. Srimani. 373-379 [doi]
- Systolic VLSI array for fuzzy logic in expart sytemsMahmoud A. Manzoul, Hoverth A. Serrate. 380-383 [doi]
- Ethics and computer security: cause and effectMarlene Campbell. 384-390 [doi]
- A very long period (VLP) pseudorandom number generator for the microcomputer environmentGregory Bollella. 391-396 [doi]
- Graphic animation and speech synthesis applications for the auditory and visually disabledJosef E. Pfauntsch, Charles M. Shub. 397-401 [doi]
- MAGNEX: a text editor for the visually impairedAvram R. Vener, Ephraim P. Glinert. 402-407 [doi]
- A user interface for simulating calligraphic pens and brushesYap Siong Chua, Charles N. Winton. 408-413 [doi]
- Concurrent reading and writing with replicated data objectsIfen Yang, William Moloney. 414-417 [doi]
- An adaptable and distributed load adjustment algorithmShmuel Rotenstreich. 418-423 [doi]
- A model for an adaptive schedulerCarlos Gonzalez, Kian Tavakoli. 424-428 [doi]
- Resource scheduling: specification and proof techniquesChyuan Samuel Hsieh, Elizabeth A. Unger. 429-437 [doi]
- New directions in office automation research: SIGOA panelStanley B. Zdonik, Robert Epstein, William C. Sasso, Sigfried Treu. 432 [doi]
- How to relieve a programmer from synchronization detailsRyszard Janicki. 438-446 [doi]
- A flexible interactive control structure for rule-based systemsS. Srinivasan, Pradip Dey, Yoichi Hayashi. 447-453 [doi]
- A multiple cooperating intelligent agents project progress repostRichard D. Amori. 454-461 [doi]
- Fault tolerance in deductive knowledge basesPhillip C.-Y. Sheu. 462-466 [doi]
- A testbed for sensory PDP modelsGeorge M. Whitson, A. D. Kulkarni. 467-468 [doi]
- Two-level grammar: data flow English for functional and logic programmingBarrett R. Bryant, Balanjaninath Edupuganty, K. R. Sundararaghavan, Tadao Takaoka. 469-474 [doi]
- Conjunctional type assignment in programming languagesR. Ghosh-Roy, Frank Jensen. 475-482 [doi]
- g is for grammars: an extension of LispJohn Cameron Glasgow II. 483-493 [doi]
- Three dimensional tree grammars for the modeling of plantsJeffrey J. McConnell. 494-499 [doi]
- Extending Earley s context-free parsing algorithm for string pattern matchingKen-Chih Liu. 500-509 [doi]
- On the control dependence in the program dependence graphI. A. Natour. 510-519 [doi]
- Graphical extensions for pseudo-code, PDLs, and source codeJames H. Cross II, Sallie V. Sheppard. 520-528 [doi]
- Object-oriented design: is it enough for large Ada systems?Thomas L. C. Chen, Marian M. Sutton. 529-534 [doi]
- Tools for the storage and retrieval of reusable MIS software in AdaG. Scott Owen, Ross A. Gagliano, P. Honkanen. 535-539 [doi]
- Functionality in the reusability of softwareRoss A. Gagliano, Martin D. Fraser, Mark E. Schaefer, G. Scott Owen. 540-545 [doi]
- An analysis of advanced C.S. students experience with software maintenanceDonna M. Kaminski. 546-550 [doi]
- An inherently parlle large grained data flow environmentRoger Eggen, John R. Metzner. 551-557 [doi]
- Constructs and evaluations strategies for intelligent speculative parallelism - armageddon revisitedAdolfo Guzmán, Manuel V. Hermenegildo. 558-566 [doi]
- Dynamic detection of parallelism in Pascal-like programZheng Yong, Qian Jiahua. 567-572 [doi]
- Vectorization and parallelization interactive assistantBassel R. Arafeh. 573-577 [doi]
- A layered networking protocol designed to minimize complexityBill Hays, Larry C. Christensen, Gordon E. Stokes, Randy Stokes. 578-585 [doi]
- A data flow approach to the evaluation of FP programsZ. Zhang, K. M. George, G. E. Hedrick. 586-592 [doi]
- Partial evaluation of logic programsChangwoo Pyo. 593-596 [doi]
- An implementation of the Vernian Cipher for file securityJonathan D. Low. 597-601 [doi]
- The interactions between operating system paging algorithms and database buffering algorithmsKyongsok Kim, Geneva G. Belford. 602-607 [doi]
- Design considerations for the transformation of MINIX into a distributed operating systemP. Tobin Maginnis. 608-615 [doi]
- A threshold mechanism for distributed query processingPeter Bodorik, J. Spruce Riordon. 616-625 [doi]
- Concurrency control by transactions carrying states and preordering universioned entitiesMohan L. Ahuja, James C. Browne. 626-635 [doi]
- Modification operations in data base machines: where are they?Ali R. Hurson, Les L. Miller. 636-643 [doi]
- A universal hierarchical language interface for IMS (abstract)Mehdi Owrang. 644-651 [doi]
- SOLID: A high-speed data- and question-independent information management systemM. S. Wojtyna, Paul A. D. de Maine. 652-657 [doi]
- Approximate classification using conceptual clusteringGerard K. Rambally, Rodney S. Rambally. 658-662 [doi]
- Theoretical clustering and a scheme of its implementationZhifang Ma. 663-666 [doi]
- ESPAD: an adaptively controlled rule-based expert system for monitoring and diagnosing space vehicle subsystemsDaniel C. St. Clair, Albert Wetterstroem, Viginia M. Johnson. 667-672 [doi]
- Seeding expert system technology: a practical approachLynne Marie Davis. 673-677 [doi]
- Programmed grammars with multi-production core and their applications (abstract)Edward T. Lee, Shangyong Zhu. 678 [doi]
- Data structures: pointers vs. arrays.when, where and whyDomenick J. Pinto. 679 [doi]
- New syntax for if- and case statementsMasao Kishore. 680 [doi]
- Macintosh assembly languageClinton R. Foulk. 681 [doi]
- On designing a language for exclusive use in a syntax directed programming environmentDonald J. Bagert. 682 [doi]
- GRASP: an executable specification language for Ada taskingKelly I. Morrison. 683 [doi]
- RT Prolog: a real time Prolog written in AdaG. Scott Owen. 684 [doi]
- Design and development of MINIX distributed operating systemK. S. Ramesh. 685 [doi]
- Implementation of a resource manager for distributed MINIXDevendra Naniwadekar. 686 [doi]
- The environment for learning to programCharles Woodson. 687-689 [doi]
- A factor analytic study of structured flowchart preferenceDavid A. Scanlan. 690 [doi]
- Determination of order of an algorithmS. O Daniel, G. Clark, K. Cooper. 691 [doi]
- Picture recognition using arc length and turning angle transformationChung Mou, Peng Wu, Edward T. Lee. 692 [doi]
- CUBE architecture for 3-D computer graphicsReuven Bakalash. 693 [doi]
- Automatic layout for graphical representation of programsPanagiotis K. Linos. 694 [doi]
- Graphics and animation in expert systems for language tutoringG. Sampath. 695 [doi]
- Survey of empirical studies of graphical representations for algorithmsK. C. Waddel, James H. Cross. 696 [doi]
- An object-oriented, knowledge-based approach to simulationRichard J. Greene. 697-698 [doi]
- The design of a programmer s interface for an interactive microcomputer animation toolKathleen Neumann, Darleen V. Pigford. 699 [doi]
- Intelligent document information retrieval system for determinants of medication research literature collectionSteven B. Schoenly, Jan G. Wilms, Mustapha Sarji, Mickey C. Smith. 700 [doi]
- Information technology and transaction processing jobs: a cognitive approachA. Bodi, C. Lees. 701-702 [doi]
- Design of an on-line decision support system for process controlBegonia Bi-Hsia Tai, Leonard H. Weiner. 703 [doi]
- IEEE-488 1978 general purpose interface bus testMohammad H. N. Tabrizi, Lee Toderick. 704-705 [doi]
- The structured flowchart niche: strenth of preferenceDavid A. Scanlan. 706 [doi]
- A research tool for software design and documentationDavid A. Scanlan. 707 [doi]
- Entity relationship modeling in object-oriented software developmentJoseph Bergin. 708-709 [doi]
- Ada software development using genericsKarl Rehmer. 710-711 [doi]
- Generating environments for programming-in-the-largeWafa Khorshid. 712 [doi]
- Software sizing problems in software engineering metricsEdward G. Rodgers. 713-714 [doi]
- Design of a test plan and its test cases for a translatorTrong Wu. 715 [doi]
- Developing expert system to evaluate leave/funding request for faculty professional enhancement at Central Missouri State UniversityMustafa A. Kamal. 716-717 [doi]
- Cognition as a source of selection pressure in the evolution of computer support systems for executivesC. Lees, A. Bodi. 718 [doi]
- An expert system approach to LAN designWilliam W. Oblitey. 719 [doi]
- PLAXPERT - an expert system for incorporating design for testability in programmable logic arraysNavied Yousuf, Kai-Hsiung Chang. 720 [doi]
- A proposal for adding reality to expert systemsT. F. Higginbotham. 721 [doi]
- KC expert - the development of an ICAI system for chemistryG. Scott Owen, Taylor Binkley. 722 [doi]
- The design of an intelligent interface for a laser optical systemGreg R. Baur, Darleen V. Pigford. 723 [doi]
- Intelligent logical design of relational databasesPo-Jen Chuang, Frederick N. Springsteel. 724 [doi]
- Neighborhood systems and relational databasesT. Y. Lin. 725 [doi]
- PROREL: a Prolog-based system for relational algebra and data baseDavid R. Beuerman. 726 [doi]
- Generating a requirements specifications knowledge-baseDavid W. Cordes, Doris L. Carver. 727 [doi]
- Computer/radar joint scheduling using a parallel computerEdward T. Lee, Surjadi Harjadi, Sreerama K. Karukonda. 728 [doi]
- Tasking troubles and tips (abstract)Linda Rising. 729-730 [doi]
- A parallel algorithm for multi-dimensional fuzzy reasoning - toward a parallel fuzzy production systemYoichi Hayashi, Masato Nakai, Pradip Dey. 731-733 [doi]
- Problem dynamics and working set principle as applied to concurrent processingS. Krishnaprasad. 734 [doi]
- A parallel best-first searchDexter Whitlock, Pradip Dey, Robert Hyatt. 735 [doi]
- Detecting intersection of two convex polygons in parallelIvan Stojmenovic. 736 [doi]
- The mental abilities associated with programming aptitudeDavid A. Scanlan. 737 [doi]
- Human autobiographic memory simulationIrene Yang, Caroline M. Eastman. 738 [doi]
- One freshman studies program which improved student retention in the first year computer science sequence for majorsEmery Gathers. 739 [doi]
- Ada projects for undergraduatesKatherine K. McKelvey. 740 [doi]
- A Chinese natural language query system giving information about computer scienceJi-Dong Chen, Ping-Yang Li. 741 [doi]
- Correspondent computingPen-Nan Lee. 742-743 [doi]
- Prospectives on computer science: twenty-five years of observationsT. F. Higginbotham. 744 [doi]