Table of Contents

• An Interpreter for Large Knowledge BasesM. Nussbaum. 87-97
• The design and implementation of the Pascal GENIERavinder Chandhok, Philip L. Miller. 374-379 [doi]
• Reverse software engineering of a graphics software systemBernard A. Chase III, Michelle A. Montion, James T. Canning. 389-390 [doi]
• Random points on spheres: a graphics conjecture "proved"David Naugler. 391 [doi]
• Unification of methods for ray tracing a wide class of generalized cylinders with straight line trajectories392 [doi]
• Operators for modifying polyhedraLeon Tabak. 393 [doi]
• An interactive computer graphics algorithm for fitting model on minimum and non-minimum phase responsesM. H. Nssehzadeh Tabrizi. 394 [doi]
• Adaptation of an algorithm by serra to astronomical images: smoothing and finding starsSuzanne M. Lea. 395 [doi]
• An object-oriented testbed for research in reliable distributed systemsDavid V. Pitts, C. Thomas Wilkes. 396 [doi]
• Performance modeling and analysis for a large heterogeneous distributed system: UCLA-SEASnetJoseph Betser, Alberto Avritzer, Jack W. Carlyle, Walter J. Karplus. 397 [doi]
• Graphical visualization of the topology of token ring networkSunghee Ihm, Darleen V. Pigford. 398 [doi]
• The copy-update multimemoryWilliam H. Pierce. 399 [doi]
• An I/O management system for the iPSC/1 hypercubeMartin J. Schedlbauer. 400 [doi]
• A set-oriented parallel execution model for PrologIsik Aybay, Mehmet Baray. 401 [doi]
• Implementation of extended functional programming language on cellular tree and data flow architectureReza Sanati-Mehrizy, John C. Thompson. 402 [doi]
• An aposteriori computer security system to identify computer virusesRobert A. McKosky, Sajjan G. Shiva. 403 [doi]
• An optimal search tree: complete binary search treeNarayan Murthy. 404 [doi]
• Exhaustive search strategy for the commonality analysis problem solution spaceP. S. Moore, Dorian P. Yeager. 405 [doi]
• Predicate Transformers as Homomorphisms on Scott's Information SystemsRoger L. Norton. 406 [doi]
• An extension to the external path length theoremWilliam J. Collins. 407 [doi]
• New strategies for complete game treesDavid J. Thuente, Rhys Price Jones. 408 [doi]
• Sorting by hashing and insertingGovind Gupta. 409 [doi]
• A recurrence relation in uniform hashingThomas C. McMillan, William J. Collins. 410 [doi]
• A combinatorial algorithm for minimizing the number of states of a deterministic finite automationNicholas J. DeLillo. 411 [doi]
• Deadlocks and traps in complete Petri netsKunwarjit S. Bagga, Frank W. Owens. 412 [doi]
• A new algorithm for converting arithmetic expressionsTrong Wu. 413 [doi]
• Extensions of pushdown automata and Petri netsT. Y. Lin. 414 [doi]
• The ULowell dataflow projectJames T. Canning, Richard A. Miner, Iheanacho Nwokogbo. 415 [doi]
• Design of a recursively structured parallel computerClaudio Kirner. 416 [doi]
• Parallel homotopy algorithmsAmal Chakraborty, Donald C. S. Allison, Calvin J. Ribbens, Layne T. Watson. 417 [doi]
• Interactive loop interchanging: a facility for tuning sequential programs to parallel architecturesBassel R. Arafeh. 418 [doi]
• Concurrent programming in the shared dataspace paradigmH. Conrad Cunningham. 419 [doi]
• Priming read and end_of_fileMasao Kishore. 420 [doi]
• The use of EQUIVALENCE in converting C to FortranJeffrey P. Turmelle, Georges G. Grinstein. 421 [doi]
• Converting a C pointer to an Ada access typeShuhua Shen, Georges G. Grinstein, Arun Arya. 422 [doi]
• Bach: a procedural language for specifying polyphonic musicJames L. Silver. 423 [doi]
• An expert system for debugging novice programmers' pascal programsDave Geis, Rick Morscher, James Kiper. 424 [doi]
• Assembly language program development on the MacintoshClinton R. Foulk. 425 [doi]
• Prototype expert system to evaluate risk factor from hazardous substancesMustafa A. Kamal. 426 [doi]
• The dead end of symbolic AI and the connectionist approachMarkus F. Peschl. 427 [doi]
• Adaptive training for connectionist state machinesRobert B. Allen. 428 [doi]
• Neural network computersAlastair D. McAulay. 429 [doi]
• A neural net model of the neuropsychology of spelling processesBrent Auernheimer, Alison Butler. 430 [doi]
• Software fault tolerance in real-time embedded systemsE. K. Park. 431 [doi]
• Xref: a universal cross referencerRoy Giacchino. 432 [doi]
• An interpreter for Backus's formal functional programming languageJoseph E. Lang. 433 [doi]
• Interlingua in machine translationAdam Drozdek. 434 [doi]
• Execution and processing time in computer performance measurementsB. Djokic. 435 [doi]
• Compilation or interpretationWalter H. Burkhardt. 436 [doi]
• Enhancing CAD/CAM systems communication by understanding engineering machine drawingsDov Dori. 437 [doi]
• Statistical analysis of the effect the initial order of an array has on the performance of a sorting algorithmThomas C. McMillan, Ivan B. Liss. 438 [doi]
• Pascal language extensions for parallel processingAllen-Brady, Mohammad Changi, Jiyu Yu. 439 [doi]
• Methodology to design and implement an expert system for aidsFrank C. Lin. 440 [doi]
• Binary division and square-rooting using Gray codeC. K. Yuen. 441 [doi]
• Programming expert systems at the K-tree levelGerard Kiernan, Arnold Koltun, Edward N. Schwartz. 442 [doi]
• Rule based programming in CCharles P. Kosta. 443 [doi]
• The qualitative problem solving system PHYSYSAli Manafi Shemirani, John C. Thompson. 444 [doi]
• Heuristics for ordering of production rulesSrinivas Krovvidy, William G. Wee. 445 [doi]
• Learning to bootstrap from examplesA. Das. 446 [doi]
• Quality and expert system technologyLynne Marie Davis. 447 [doi]
• Extended rigerous dependency diagrams for designing fully normalized relational databasesAsad Khailany. 448 [doi]
• Buffer management for extensible database systemsJohn Sieg. 449 [doi]
• Inference in a statistical database a solution with noiseDomenick J. Pinto. 450-451 [doi]
• Data: data to algorithm translator analysisMichael V. Doran, Herbert E. Longenecker Jr.. 452 [doi]
• Topological data models and approximate retrieval and reasoningT. Y. Lin. 453 [doi]
• An SQL interface to a prolog-based DBMSDavid R. Beuerman. 454 [doi]
• Performance comparison of COBOL vs. PASCAL: a comparative investigationMo Adam Mahmood. 455 [doi]
• COBOL business graphicsRonald C. Linton. 456 [doi]
• The new COBOL standardS. Srinivasan. 457 [doi]
• Definition of menus as an abstract data typeSyed Tariq Ali, Michael V. Doran, Herbert E. Longenecker Jr.. 458 [doi]
• A structure based measurement of softwareNarayan C. Debnath. 459 [doi]
• A software requirements determinations strategy utilizing provisional solutionsMark Interrante, Stephen M. Thebaut, Lowell Kaufman. 460 [doi]
• An axiomatic foundation of Dempster-Shafer theoryChun-Hung Tzeng. 461 [doi]
• The missing clause method and its application to the satisfiability problemEdward L. Bosworth Jr.. 462 [doi]
• The longest upsequence: a new implementationNarayan Murthy. 463 [doi]
• On topologically equivalent dendrogramsChristos Nikolopoulos, Parupalli Prassad. 464 [doi]
• Constant division algorithmsPadmini S. Raghuram, Frederick E. Petry. 465 [doi]
• Free logic is a natural logicRaymond D. Gumb. 466 [doi]
• Optimal & near-optimal space efficient decision diagram algorithmsSami Khuri. 467 [doi]
• A generalized technique to solve phase-1 linear programming problems with modified phase-2 methodsLouis Gentry. 468 [doi]
• The implementation of an exploratory scientific visualization systemStephen M. Streeter, Georges G. Grinstein, Ronald M. Pickett. 469 [doi]
• An implementation method of multi-viewing on an engineering workstationNorito Watanabe, Tadashi Fukushima, Tsugio Tomita, Masahiro Goto. 470 [doi]
• An architecture for heterogeneous computer integrated manufacturing systemYuri Breitbart, Amit Kumar 0001, S. S. Pyo, Hemant G. Rotithor. 471 [doi]
• An O(N log N) expected time merge heuristic for the planar ETSPDonald C. S. Allison, Ritu Chadha. 472 [doi]
• A study of spatial data management and analysis systemsClyde Christopher, Richard Galle. 473 [doi]
• Technology transfer in the 1990's: evaluating computer-support for cooperative workJohn A. Cross. 474 [doi]
• Integrating visual cues for the reconstruction of visible surfacesIgnatios Vakalis. 475 [doi]
• An algorithm for machine detection and tracking of moving objects in television imagesAndrew Bernat, Stephen Riter. 476 [doi]
• A perspective on teams of robotsDe-Shen, Beverly Park Woolf. 477 [doi]
• A voice recognition system for computersW. E. Mattis. 478 [doi]
• An expert system to software specificationTereza G. Kirner, Nicolau Reinhard. 479 [doi]
• An integrated model for automated planning and estimationVijay Kanabar. 480 [doi]
• Theory and practice of software engineeringRichard J. Botting. 481 [doi]
• Human factors implications of text display rates for computer-assisted instructionDavid J. Smaldone, Jesse M. Heines. 482 [doi]
• Structured flowcharts outperform pseudocode across five measures: an experimental comparisonDavid A. Scanlan. 483 [doi]
• A study of factors influencing the productivity of programming teamsRaghava G. Gowda, Stanley L. Saxton. 484 [doi]