Abstract is missing.
- The limitation of logicRobert A. Kowalski. 7-13 [doi]
- The purpose and promise of logic programmingWilliam A. Kornfeld. 15-17 [doi]
- New directions in logic programmingKenneth A. Bowen. 19-27 [doi]
- Technological advances in software engineeringA. Nico Habermann. 29-37 [doi]
- The role of academe in software engineering educationRichard E. Fairley. 39-52 [doi]
- Software engineer, the system designerLaszlo A. Belady. 53-55 [doi]
- A model for growth in the intelligent automation industry: case studies in robotics and artificial intelligenceL. M. Sweet. 57-59 [doi]
- An approach to automatic robot programmingTomás Lozano-Pérez, Rodney A. Brooks. 61-69 [doi]
- Autonomous land vehicle project at CMUTakeo Kanade, Charles E. Thorpe, William Whittaker. 71-80 [doi]
- Data flow relation processor for knowledge base machineJohn C. Thompson, Dongpil Shin. 83-92 [doi]
- Performance of three dataflow computersSharilyn A. Thoreson, Arlen N. Long, John R. Kerns. 93-99 [doi]
- M-timed Petri nets and Markov chains in modelling of computer systemsWlodzimierz M. Zuberek. 101-106 [doi]
- SHAPE: a highly adaptable and parallel systemRajiv Gupta, Mary Lou Soffa. 107-114 [doi]
- DYPP - A VLSI supercomputer architecture supporting two-level fault tolerance, program graph injection and data levitation conceptsMarius V. A. Hâncu, Kenneth C. Smith. 115-120 [doi]
- Supercomputer with analog-computer-like architectureKang Ji-chang. 121-127 [doi]
- Linear-time algorithms for programming cellular permutation arraysA. Yavuz Oruç, M. Yaman Oruç. 129-136 [doi]
- New algorithms for realizing paths and permutations through cube-connected networksA. Yavuz Oruç, M. Mittal. 137-146 [doi]
- A class of modified single stage S/E networksSuchai Thanawastien, Pradip K. Srimani. 147-154 [doi]
- Grammars for functional languagesThomas Sudkamp. 155-164 [doi]
- Activity productions for graph grammarsA. F. Sanders. 165-171 [doi]
- Production probability estimators for context-free grammarsKeith E. Humenik, Roger S. Pinkham. 173-181 [doi]
- Analyzing synchronization problems by using event histories as languagesRobert D. Dixon, David Hemmendinger. 183-188 [doi]
- Programming for observability support in a parallel programming environmentFrancesco Gregoretti, Zary Segall. 189-197 [doi]
- Formal specification of N-modular redundancyLuigi V. Mancini, Maciej Koutny. 199-204 [doi]
- Graphical description and run-time environments for Real-Time softwareSanjiv Taneja, Bruce W. Weide. 205-211 [doi]
- PARTIAL: a tool to support the metrics driven design of Ada programsRobert G. Reynolds, Drew Roberts. 213-220 [doi]
- Knowledge-based query processing in object basesChen-Yu Sheu. 221-225 [doi]
- A formalism for views in a logic data baseJosé Carlos Ferreira Maia Neves, George F. Lugger, João M. Carvalho. 227-231 [doi]
- An algorithm for batch updatesRobert C. Shock. 233-236 [doi]
- Parallel merge-sort algorithms on the HEPPaul Hartono Singgih, Howard B. Demuth, Martin T. Hagan, Roger L. Wainwright. 237-244 [doi]
- Revised tree sortMassoud Hakami. 245-249 [doi]
- Use of composite index in DDBMSBipin C. Desai, Pankaj Goyal, Fereidoon Sadri. 251-260 [doi]
- ODM: an object oriented data model for design databasesMohammad A. Ketabchi, Valdis Berzins, Salvatore T. March. 261-269 [doi]
- Some relational query language design issues and the language MQLVictor J. Streeter. 271-276 [doi]
- Specification of discontinuities with conditional expressionsShahram Javey. 277-285 [doi]
- Dynamic binding of separately compiled objects under program controlRex E. Gantenbein, Douglas W. Jones. 287-292 [doi]
- Dynamic optimization of covered tail recursive functions in applicative languagesKay-Ulrich Felgentreu, Wolfram-Manfred Lippe. 293-299 [doi]
- A technique for comparing search algorithm run-timesHenry W. Davis, Randy B. Pollack, Dennis J. Golden. 301-308 [doi]
- Heuristic search in general tree structures: an average case analysisAmitava Bagchi, Anup K. Sen. 309-318 [doi]
- Polynomial evaluations of bi-valued game treesHarold W. Martin. 319-326 [doi]
- Developments in an expert system for graph theory investigationMarc J. Lipman, Robert L. Sedlmeyer. 327-330 [doi]
- GROK - a knowledge-based text processing systemKlaus K. Obermeier. 331-339 [doi]
- A theory of student modelling in instructional expert systemsGerard K. Rambally. 341-348 [doi]
- PLEASE: Predictable Logic based ExecutAble SpeCificationsRobert B. Terwilliger, Roy H. Campbell. 349-358 [doi]
- Probabilistic rule generatorWon D. Lee, Sylvian R. Ray. 359-366 [doi]
- Minimum time path planning for robot motion in obstacle strewn environmentAlex Meystel, A. Guez, G. Hillel. 367-376 [doi]
- The Software Engineering Institute (panel session)Norman E. Gibbs, Clyde Chittister, James S. Collofello, Gary A. Ford, A. Joseph Turner. 379-380 [doi]
- Are the universities meeting the needs of the industry? Is industry holding up its end of the deal? (panel session)Judy Bamberger, Richard E. Fairley, Joe Mason, Charles McKay, Dudrey Smith. 381-384 [doi]
- Integrated programming environments based on structure editing (panel session)Dennis Goldenson, Ravinder Chandhok, David Garlan, Philip L. Miller, Mark C. Tucker. 385 [doi]
- Future directions in optical computing (panel session)C. Lee Giles, Alan Huang, Fred J. Leonberger, John A. Neff. 387 [doi]
- AI in office automation (panel session)Bipin C. Desai, Claude Fransson, Najah Naffah, Gordon E. Stokes, George White. 389-390 [doi]
- CSNET (panel session): using inter-organization networks to support research and advanced development in computer scienceRichard D. Edmiston, Douglas Comer, Deborah Estrin. 391-392 [doi]
- Advanced placement in Computer Science (panel session): college level computer science in the high schoolsFrank H. Young, Stephen J. Garland, Robert Poland, David C. Rine. 393 [doi]
- Accreditation of small college computing programs(panel session)William Mitchell, John Beidler, Christine Shannon, Waldo Roth, Bob Cupper, Tom Harbron. 395-396 [doi]
- Publishing a computer science textbook (panel session)Sharon Cogdill, Pamela S. Kirshen, J. Mack Adams, John Beidler, Nell B. Dale, Malcolm Lane, Karen A. Lemone, James Quasney, Don Spencer. 397-398 [doi]
- Computer Science Accreditation and Liberal Arts ProgramsGerald L. Engel, Robert L. Cannon, Robert D. Cupper, John F. Dalphin, Greg W. Scragg, Ted Sjoerdsma, A. Joe Turner. 399-402 [doi]
- Programming in evolving distributed environments (abstract)Yuan Shi, Noah S. Prywes. 405 [doi]
- The effect of software development practices on cost estimates (abstract)Doris L. Carver. 406 [doi]
- Integrating data structure diagrams into source level debuggers (abstract)Prabhaker Mateti, Gerald M. Radack. 407 [doi]
- An uncertainty-based software testing model using test universe partitions (abstract)Bon K. Sy, Martin E. Kaliski. 408 [doi]
- The assesment of software usability (abstract)David W. Biers, Samuel M. Bower, Frank J. DaPolito, Donald J. Polzella. 409 [doi]
- A study of hard to find data processing errors (abstract)Linda L. Werner. 410 [doi]
- Theoretical Advances in non-1NF Relational DatabasesMark A. Roth. 411 [doi]
- Query translation in a heterogeneous distributed database based on hypergraph models models(abstract)Mehdi Owrang, Les L. Miller. 412 [doi]
- Temporal element as a primitive for time in temporal databases and its application in query optimization (abstract)Shashi K. Gadia. 413 [doi]
- Relational joins on non-keyed fields (abstract)James F. Blahnik. 414 [doi]
- N-Schema Approach - a generalized model for database architecture (abstract)Chen-Hua Chung. 415 [doi]
- Linguistic Correlates of data structures (abstract): the THAT languagePeter C. Jones, Paul E. Jones. 416 [doi]
- A bee hive model for heterogenous knowledge in expert systems (abstract)Harold E. Bullock, Pradip Dey, Kevin D. Reilly. 417 [doi]
- expert system for the application of nursing diagnosis to clinical practice (abstract)Judith L. Solano, Jack E. Leitner, Kathaleen C. Bloom. 418 [doi]
- UIL - ESP - AD (abstract): an expert system for analysis and diagnoses of a space staion powersubsystemDaniel C. St. Clair, Virginia Johnson, Albert Watterstroem. 419 [doi]
- Expert system problem-solving applications (abstract)David C. Brown. 420 [doi]
- An expert system for treadmill excercise ECG test analysis (abtracts)James R. Slagle, John M. Long, Michael R. Wick, John P. Matts, Arthur S. Leon. 421 [doi]
- An expert assistant for qualitive curve generation in engineering (abstract)Roger E. Messick, James H. Ripper. 422 [doi]
- Hierarchical process composition (abstract)Stuart A. Friedberg. 423 [doi]
- Performance models of parallel and distributed processing systems (abstract)Hany H. Ammar. 424 [doi]
- An internetwork system that supports replicated data (abstract)J. A. Davis. 425 [doi]
- Network protocol analysis (abstract)D. W. Jacobson. 426 [doi]
- A tokenless ring protocol for local area networks (abstract)Hasan S. AlKhatib. 427 [doi]
- Advances in communications (abstract): implementing the X.400 standardMichael A. Baltrush, Anita J. La Salle. 428 [doi]
- Generation of software production environments (abstract)Stanislaw Jarzabek. 429 [doi]
- Current research motivational constraints in the user environment (abstract): are they presentGayle J. Yaverbaum, Oya Culpan. 430 [doi]
- Group cohesiveness and software productivity (abstract)Raghava G. Gowda, James A. Senn, Stanley L. Saxton. 431 [doi]
- A multiple-product production simulation system for the micro-computer environment (abstract)Alan W. Carpenter Sr.. 432 [doi]
- IMEGS (abstract): an incremental multi-language editor generator and systemDonald J. Bagert. 433 [doi]
- Permutations for parallel algorithms (abstract)A. Gregory Starling, Roy J. Fuller. 434 [doi]
- Engineered computer language (abstract): beyond structured programmingStarrett C. Kennedy. 434 [doi]
- An intelligent system for data base management (abstract)Yuksel Uckan. 435 [doi]
- An approach to exploiting a database as a frame-like knowledge base (abstract)Wei Si Jiang, William G. Wee. 436 [doi]
- Robust knowledge bases (abstract)Jerry D. Smith. 437 [doi]
- AND and OR parallelism in dprolog (abstract)Ralph Zimmermann Jr., Jerry Canada Jr.. 438 [doi]
- DIID - Data independent interface for database (abstract)Klaus K. Obermeier, David de Hilster. 439 [doi]
- A design method for nested relations (abstract)Li-Yan Yuan. 440 [doi]
- Parallel processors applied to string transformations (abstract)Mohammad Meybodi, Kenneth Williams. 441 [doi]
- Segmentation in Chinese natural language understanding using a massively parallel approach (abstract)Tangqui Li, Hon Wai Chun, Jing Peng, Xiru Zhang. 442 [doi]
- Representing temportal sequence and duration in massively parallel networks (abstract)Hon Wai Chun. 444 [doi]
- Parallel micros (abstract)William S. Curran. 445 [doi]
- Fault tolerance analysis of rearrangeable interconnection networks (abstracts)Simin H. Pakzad. 446 [doi]
- Convex polygon cover problem (abstract)S. Venkatesan. 447 [doi]
- Finding the intersection points of a line with a polygon and its applications (abstract)Fuhua Cheng, Wein-Chung Jiaan. 448 [doi]
- Some results on the state space approach to a finite automata (abstract)R. Chaudhuri. 449 [doi]
- New approach in dimensionality reduction in a general pattern recognition problem (abstract)Hari B. Bidasaria. 450 [doi]
- Waveform correlation using relational tree (abstract)P. F. Lai, J. H. Fang, F. Tsay. 451 [doi]
- A paradigm for search algorithms (abstract)Aaron R. Todd. 452 [doi]
- Analytical representation of three dimensional objects (abstract)Narendra N. Datar, Uday G. Gujar, Virendra C. Bhavsar. 453 [doi]
- Parallel image processing algorithms (abstract)Zhixi Fang, Xiaobo Li. 454 [doi]
- Two algorithms for image display using redefinable character sets (abstract)Ai-Chang Lu, Martin J. Biernat, Thom Grace. 455 [doi]
- Computer graphics support of a new era in flight test ground stations (abstract)Paul T. Vesely. 456 [doi]
- The PRIME 9955 implementation of the graphical kernel system (abstract)Yao-Tang Liao. 457 [doi]
- A performance comparison of the window systems of two LISP machines (abstract)Ramin Zabih, Raj Jain. 458 [doi]
- Evaluation of materials using a rule-based non-destructive monitoring system (abstract)Khalid J. Siddiqui, D. R. Hay, Ching Y. Suen. 459 [doi]
- Models for reasoning under uncertainty (abstract)Richard E. Neapolitan. 460 [doi]
- Popperian conditional probability functions for expert systems (abstract)Raymond D. Gumb. 461 [doi]
- ISCS - an intelligent system configuration shell (abstract)Hon Wai Chun, Alejandro Mimo, Harry Wu. 462 [doi]
- Artificial intelligence and the fifth generation, some wrong ways, the correct way (abstract)G. Arthur Mihram, Danielle Mihram. 463 [doi]
- Closure properties of certain classes of languages under bi-language formZhixi Fang, Jitender S. Deogun. 464 [doi]
- A programming language for cryptography (abstract)Frederick J. Bourgeois III, Leornard K. Nicholson. 465 [doi]
- Attribute grammar interpretation as a model of computation (abstract)William F. Dowling. 466 [doi]
- Investigating a new vocabulary-length equation (abstract)A. V. Levitin. 467 [doi]
- PRONOUNCE (abstract): a program for pronunciation by analogyMichael J. Dedina, Howard C. Nusbaum. 468 [doi]
- Logo (abstract): creating a microworld for language experimentationSusan R. Harroff, Stephen C. Harroff. 469 [doi]
- ENCOMPASS (abstract): a SAGA based environment for the composition of programs and specificationsRobert B. Terwilliger, Roy H. Campbell. 470 [doi]
- Specification sequence of computer information system components least constraining the designers freedom in search of solutions (abstract)Zbigniew J. Gackowski. 471 [doi]
- TPS (abstract): a tool for communicating software requirementsFrancoise Youssefi. 472 [doi]
- An electronic environment for group effort in software documentation (abstract)John A. Cross. 473 [doi]
- CaseDL (abstract): a design tool for specification and prototypingFrances E. Hunt, Cynthia R. Marling. 474 [doi]
- Verification of software specifications using automated reasoning techniques (abstract)Jeffrey J. P. Tsai, Waldo C. Kabat. 475 [doi]
- Hash coding for dictionary storage and word-matching used in decoding substitution ciphers (with application to OCR) (abstract)Sally L. Lloyd. 476 [doi]
- Data compression using hash code generated tables (abstract)Blair A. Rowley. 477 [doi]
- A faster recovery from hash table (abstract)S. Srinivasan. 478 [doi]
- Design of a polyphase sort (abstract)Trong Wu, Robert Neufeld. 479 [doi]
- An order f(K)N sort (abstract)Richard K. Brewer. 480 [doi]
- Parallel sorting algorithms for insertion shell and heapsort on the HEP (abstract)Kelly D. Crawford, Roger L. Wainwright. 481 [doi]
- Probabilistic interference for variable certainty decisions (abstract)Won D. Lee, Sylvian R. Ray. 482 [doi]
- Ambiguous algorithms (abstract)William G. Gehman. 483 [doi]
- Meta-interpreters for expert systems (abstract)Leon Sterling. 484 [doi]
- Expert system approach to VLSI cell design (abstract)Christos A. Papachristou. 485 [doi]
- A VLSI architect s assistant (abstract)Paul J. Drongowski. 486 [doi]
- Imagination as event generation (abstract)B. Murali Dharan. 487 [doi]
- Lexical analysis using table look-up (abstract)Brian Smith, Dominic Soda, George W. Zobrist. 488 [doi]
- An algebraic approach for assembler construction (abstract)Teodor Rus, Kurt Hansen. 489 [doi]
- Specialized commands for a syntax-directed editor (abstract)Margaret S. Geroch, Frances L. Van Scoy. 490 [doi]
- A practical algorithm for generating LR parsers maintaining immediate error detection (abstract)W. Douglas Findley, V. Santhanam. 491 [doi]
- Error recovery in LL(1) parsers using probabilistic grammar (abstract)C. Shanmugamani, Robert W. Neufeld, V. Santhanam. 492 [doi]
- A generic compiler symbol management facilityy (abstract)Richard L. Vore, V. Santhanam. 493 [doi]
- An efficient flow routing algorithm to solve the maximum concurrent flow problem with applications to the packed switched telecommunication networks and cluster analysis (abstract)Farhad Shahrokhi. 494 [doi]
- Petri nets: a graph model for the representation and analysis of concurrent systems (abstract)Gurdeep S. Hura. 495 [doi]
- Algorithm variable and fixed charges (abstract): a case of branch-and-bound methodology for single processor scheduling systemAmar dev Amar, Vasanti A. Jategaonkar. 496 [doi]
- Nonlinear network programming on a vector supercomputer (abstract)Stavros A. Zenios, John M. Mulvey. 497 [doi]
- On random testing of sequential digital logic with a high confidence measure (abstract)Sunil R. Das. 498 [doi]
- Software engineering for distributed applications (abstract)Amjad Umar. 499 [doi]
- An approach to incremental register allocation (abstract)Mary P. Bivens. 500 [doi]
- The neural network as a prototype in the design of nonconventional computer architecture for artificial intelligence applications (abstract)Massoud Omidvar, John Y. Cheung. 501 [doi]
- A computer vision system for WSU robot (abstract)Mike Bakan, Alan Cotterman, Kim Howell, Kuldip Rattan. 502 [doi]
- A voice input microcomputer system (VIMS) (abstract)Hu Lei, Xia Zhenuhua. 503 [doi]
- Use of conditional simulation techniques in assessingpermeability of a compacted clay liner (abstract)Brian E. Weinrich, A. S. Rogowski. 504 [doi]
- Gatekeeping (abstract): the technology challenge in the medium-sized firmAnne C. Steele, George P. Grill, Gwen S. Loy. 505 [doi]
- Designing an intelligent operating system consultant and teacher (abstract)Alex Bykat. 506 [doi]
- Automated double oral auction using I.B.M PC network (abstract)Alonzo Johnson, Hsing-Yang Lee, John Dryer. 507 [doi]
- REDBOP.2 (abstract)D. R. Beuerman. 508 [doi]
- Modeling dynamic entities in relational databases (abstract)Daniel C. St. Clair, Dominic Soda. 509 [doi]
- An approximation method for knapsack problems (abstract)James Nechvatal. 510 [doi]
- Design of a blocked asynchronous protocol for distributed problem solving (abstract)Curt M. White. 511 [doi]
- A survey of undergraduate computer science/information science programs in the North East United States (abstract)H. Mary Micco, Rebecca A. Ruschel. 512 [doi]
- An analysis of concerns of college instructors in a computer science retraining program (abstract)Janet Hartman. 513 [doi]
- CATSY (abstract): an electronic alternative to the chalkboardJ. Michael McGrew, Mohd Mustaffa, Vincent Pedraza, John Raab. 514 [doi]
- Teaching Ada to beginning programmers (abstract)Barry Burd. 515 [doi]
- Successful placement of freshman computer science majors (abstract)Emery Gathers. 516 [doi]
- Mathematics background, prior language exposure, and perceived success in introductory computer science courses (abstract)Sukhen Dey, Lawrence R. Mand. 517 [doi]
- Design and application of classroom instruction information pro cessing system (abstract)Ming Zhang, Jiaruo Wan, Xiaofeng Sheng, Minjin Wu. 518 [doi]
- A solution to a contemporary problem (abstract)Steve Dudley, Ronnie McGaughey. 519 [doi]
- A study of techniques used to obtain bibliographies in computer science (abstract)George M. Whitson, Pam Taylor. 520 [doi]
- Young Hackers (abstract): geniuses or criminal?David Bellin. 521 [doi]
- F. L. Pilling and computer graphics (abstract)Patrick J. C. Lamont. 522 [doi]