![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
ACM Annual Conference 1976: Houston, Texas, USA
- John A. Gosden, Olin G. Johnson:
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976. ACM 1976, ISBN 978-1-4503-7489-7 - George T. Ligler, William C. Nylin Jr., Patrick Wang, Patrick C. Fischer, Robert L. Probert:
SIGACT (Paper Session). 1 - George T. Ligler:
The assignment axiom and programming language design. 2-6 - William C. Nylin Jr.:
Flow graph analysis using linear connected regions. 7-11 - Patrick Shen-Pei Wang:
Formal properties of sequential/parallel matrix languages. 12-16 - Patrick C. Fischer, Robert L. Probert:
A note on matrix multiplication in a paging environment. 17-21 - Michael A. Harrison, Susan L. Graham, Kenneth Kennedy, Meera Blattner:
SIGACT (Tutorial Session). 22 - Michael A. Harrison, Susan L. Graham, Kenneth Kennedy, Meera Blattner:
Theoretical results in compiler design and implementation (Tutorial Session). 23 - Donald R. Innes, James L. Alty, Satish L. Rege, Lee A. Hollaar, B. J. Hurley, David J. Kuck, Duncan H. Lawrie, Jane W.-S. Liu, James Michael Milner, J. K. Morgan, J. Richard Rinewalt, William H. Stellhorn, G. Jack Lipovski:
SIGARCH (Paper Session). 24 - Donald R. Innes, James L. Alty:
Experience of using message spooling processors in a non-interactive network. 25-29 - Satish L. Rege:
Performance evaluation of CCD chip organizations from memory system design viewpoint. 30-37 - Lee A. Hollaar, B. J. Hurley, David J. Kuck, Duncan H. Lawrie, Jane W.-S. Liu, James Michael Milner, J. K. Morgan, J. Richard Rinewalt, William H. Stellhorn:
The design of system architectures for information retrieval. 38-44 - Robert Wilensky, Robert F. Simmons, Arvin Levine, Mitchell Marcus, Roger C. Schank:
SIGART (Paper Session). 45 - Robert Wilensky:
Using plans to understand natural language. 46-50 - Robert F. Simmons:
Inferential question answering in a textual data base. 51-56 - Arvin Levine:
Prosodic generation research. 57-61 - Mitchell Marcus:
A design for a parser for English. 62-68 - Ira P. Goldstein, Gary G. Hendrix, Richard Fikes:
SIGART(Tutorial Session). 69 - Ira P. Goldstein, Gary G. Hendrix, Richard Fikes:
The role of representation in artificial intelligence(Tutorial Session). 70-72 - Cordell Green, Richard Fikes, Martin Kay:
SIGART(Tutorial Session). 73 - Cordell Green, Richard Fikes, Martin Kay:
Automatic synthesis - programs and plans. 74-75 - Richard Fikes:
SPADOR: A scheduler, planner, and administrator of operations and resources. 75-76 - Richard L. Nolan, E. Gerald Hurst Jr., John V. Soden, Howard Lee Morgan:
SIGBDR (Panel Session). 77 - Richard L. Nolan, E. Gerald Hurst Jr., Howard Lee Morgan:
Multinational information systems (Panel Discussion). 78 - Michael Stonebraker, Peter Rubinstein, Richard Conway, David Strip, H. Rex Hartson, David K. Hsiao, Eduardo B. Fernández:
SIGBDP (Paper Session). 79 - Michael Stonebraker, Peter Rubinstein:
The INGRES protection system. 80-84 - Richard Conway, David Strip:
Selective partial access to a database. 85-89 - H. Rex Hartson, David K. Hsiao:
Full protection specifications in the semantic model for database protection languages. 90-95 - James F. Hubbert, Earl C. Joseph, Walter G. Wohlgemuth, Robert R. Moeller:
SIGBDP (Panel Session). 96 - James F. Hubbert, Earl C. Joseph, Walter G. Wohlgemuth, Robert R. Moeller:
The role of the computer auditor in information systems development(Panel Discussion). 97 - Ronald W. Hagen, Lewis J. Thomas Jr., Janet A. Thomas Jr., Betty F. Maskewitz, R. L. Henne, W. J. McClain, Aran Safir, Casimir A. Kulikowski, William Lively:
SIGBIO (Paper Session). 98 - Ronald W. Hagen, Lewis J. Thomas Jr., Janet A. Johnson:
Design considerations for a computer-based clinical physiologic research system. 99-104 - Betty F. Maskewitz, R. L. Henne, W. J. McClain:
The Biomedical Computing Technology Information Center (BCTIC) sharing programs, data, and interface designs. 105-109 - Casimir A. Kulikowski, Aran Safir:
Concepts of computer-based modeling for consultation in optics and refraction. 110-114 - Barry W. Boehm, Harry D. Huskey, Alan B. Kamman, Michael R. Lackner, Edward L. Robertson:
SIGCAS (Panel Session). 115-118 - Robert P. Abbott, Wayne Bouchet, Roland Eppley Jr., Randolph Lively, J. V. Leeds, Rob Kling, Paul Armer:
SIGCAS (Panel Session). 119-120 - Edward J. Desautels, Michael Faiman, Earl J. Schweppe, Lawrence R. Symes:
SIGCSE (Panel Session). 121-122 - Richard H. Austing, Michael C. Mulder, Norman E. Gibbs, Susan Brewer, Gerald L. Engel:
SIGCSE (Panel Session). 123 - Richard H. Austing, Michael C. Mulder, Norman E. Gibbs, Gerald L. Engel:
Curriculum recommendations in computer science (Panel Discussion). 124 - Michael C. Mulder:
Model curricula for 4-year computer science and engineering programs. 125 - David L. Cohn, Robert B. Kolstad, Stefan Feyock, Thomas Ford, David G. Moursund, Donald R. Chand, R. Techo, Norman E. Gibbs:
SIGCSE (Paper Session). 126 - David L. Cohn, Robert B. Kolstad:
Introducing minority students to technological careers through computer programming. 127-129 - Stefan Feyock, Thomas Ford:
Individual learning styles and computer science education. 130-134 - David G. Moursund:
Calculators and the elementary school: an idea and some implications. 135-137 - Donald R. Chand, R. Techo:
A computer science program in a business school. 138-141 - Edward E. Green, Alfred Bork, Bill Bowman, A. Kent Morton:
SIGCUE (Paper and Panel Session). 142-143 - Edward E. Green:
Message design - graphic display strategies for instruction. 144-148 - Stuart D. Milner, Karl L. Zinn, Robert Parnes, Helen Hench, Thomas A. Dwyer, Harold Abelson:
SIGCUE (Paper Session). 149 - Karl L. Zinn, Robert Parnes, Helen Hench:
Computer-based educational communications at the University of Michigan. 150-154 - Thomas A. Dwyer:
The 'community of learning' model for using computers in education. 155-158 - Harold Abelson:
Logo graphics as a mathematical environment. 159-163 - Nancy Phillips, Joseph Santini, Tom D'Auria, Diana Patterson:
SICDOC (Panel Session). 164-166 - Robert K. Clark, Charles E. Quenneville, Harvey Z. Kriloff, Joel N. Sturman, Larry Cornish, Ian Hirschsohn:
SIGGRAPH (Papers and Panel Session). 167-168 - Robert K. Clark:
Computer graphics at a large IBM installation. 169-173 - Charles E. Quenneville, Harvey Z. Kriloff:
The BIG system - synergetic graphics. 174-178 - Carolyn J. Crouch, Gerard Salton, Edgar H. Sibley:
SIGIR(Tutorial Session). 179 - Carolyn J. Crouch, Gerard Salton, Edgar H. Sibley:
Retrieval systems(Tutorial Session): documents and data. 180 - Donald B. Crouch, David Lefkovitz, Julius T. Tou, Chung-Shu Yang:
SIGIR(Tutorial Session). 181 - Donald B. Crouch, David Lefkovitz, Julius T. Tou, Chung-Shu Yang:
Recent advances in information retrieval (Tutorial Session). 182-183 - M. Andrews, Stephen F. McCormick, G. D. Taylor, James L. Noyes, Hatem M. Khalil, Dana L. Ulery, James E. Kalan:
SIGMAP/SIGSAM/SIGNUM(Paper Session). 184 - M. Andrews, Stephen F. McCormick, G. D. Taylor:
Evaluation of the square root function on microprocessors. 185-191 - James L. Noyes:
A new mathematical programming time-sharing system using a precompiler and numerical derivatives. 192-196 - Hatem M. Khalil, Dana L. Ulery:
A review of current studies on complexity of algorithms for partial differential equations. 197-201 - Edwin S. Herndon, James S. Cameron, Marvin Talbott, Bennet P. Lientz, Marshall D. Abrams:
SIGMETRICS (Panel Session). 202 - Edwin S. Herndon:
Computer Systems Planning - tools & techniques. 203-207 - James S. Cameron:
An approach to benchmarking terminal oriented systems. 208-212 - Marvin Talbott:
Measuring productive computational work. 213-217 - Bennet P. Lientz:
Evaluation of network services. 218-220 - Don Senzig, Gideon Frieder, Wayne T. Wilner, Stanley Habib, Harut Barsamian:
SIGMICRO (Panel Session). 221 - Don Senzig, Gideon Frieder, Wayne T. Wilner, Stanley Habib, Harut Barsamian:
Computer architecture (Panel Discussion): trends and alternatives. 222 - Wayne T. Wilner:
Unconventional architecture. 223 - Gideon Frieder:
Distributed microprogram architecture. 223 - Stanley Habib:
Software implications on future architecture designs. 224 - Bruce D. Shriver, J. Wayne Anderson, Leslie J. Waguespack, Denis M. Hyams, R. A. Bombet, Elizabeth D. Rather, Charles H. Moore, David N. Cutler, Mario R. Pellegrini, Henry R. Bauer III, Gary D. Thomas, Jeffery Van Baalen:
SIGOPS/SIGMINI(Paper Session). 225 - Bruce D. Shriver, J. Wayne Anderson, Leslie J. Waguespack, Denis M. Hyams, R. A. Bombet:
An implementation scheme for a virtual machine monitor to be realized on user - microprogrammable minicomputers. 226-232 - Elizabeth D. Rather, Charles H. Moore:
The FORTH approach to operating systems. 233-240 - David N. Cutler, Richard H. Eckhouse Jr., Mario R. Pellegrini:
The nucleus of a real-time operating system(a tutorial on the internals of RSX-11M). 241-246 - Henry R. Bauer III, Gary D. Thomas, Jeffrey VanBaalen:
A multiprogramming operating system for the TI980A. 247-251 - Ted G. Lewis, Gerry Cullen, Ted Cary, Peter van Berkel, D. E. Schilling, Elizabeth D. Rather:
Minicomputer systems in business (Panel Discussion): what are the limiting factors? 252-255 - Ted Cary, John Tartar:
SIGMINI (Tutorial Session). 256 - John Tartar, Ted Cary:
SIGMINI (Tutorial Session). 257 - Malcolm G. Lane, Henry K. Hess, Carol A. Roberts, Ray J. Jakubek, Steve Silverstein, James Van Ornum:
SIGMINI (Paper Session). 258 - Malcolm G. Lane, Henry K. Hess:
On-line Ecological Data Validation: an expansion of a minicomputer-based key entry system. 259-264 - Carol A. Roberts:
Flight recorders and aircraft safety. 265-269 - Ray J. Jakubek, Steve Silverstein:
Microprocessor control of customer premises telecommunications equipment. 270-274 - Toby J. Teorey, John W. DeHeus, Rob Gerritsen, Howard Lee Morgan, James F. Spitzer, Michael Stonebraker:
SIGMOD (Paper Session). 275 - Toby J. Teorey, John W. DeHeus:
Analysis of storage structure performance for multiple data processing activities. 276-280 - Rob Gerritsen, Howard Lee Morgan:
Dynamic restructuring of databases with generation data structures. 281-286 - James F. Spitzer:
Performance prototyping of data management applications. 287-291 - Alan G. Merten, Fred J. Maryanski, Paul S. Fisher, Virgil E. Wallentine, Adele Mildred Koss, J. M. Noonan, S. B. Yao:
SIGMOD(Paper Session). 292 - Fred J. Maryanski, Paul S. Fisher, Virgil E. Wallentine:
Evaluation of conversion to a back-end data base management system. 293-297 - Adele Mildred Koss, J. M. Noonan:
A case study in the use of data base management. 298-302 - S. B. Yao:
Modeling and performance evaluation of physical data base structures. 303-309 - James P. Fry, Richard Godlove, Harry Kepner, Edgar Sibly, William Steiger, George G. Dodd:
SIGMOD(Panel Session): next steps. 310-312 - Philip Y. Chang, Jay-Louise Weldon, Shamkant B. Navathe, Georges S. Nicolas, John W. Lewis, N. N. Oliver, John D. Joyce, Stewart Schuster, Douglas S. Kerr:
SIGMOD(Paper Session). 313 - Philip Y. Chang:
Parallel processing and data driven implementation of a relational data base system. 314-318 - Jay-Louise Weldon, Shamkant B. Navathe:
An attribute-based file organization for a relational database. 319-323 - Georges S. Nicolas, John W. Lewis:
A MUMPS-based Relational Data Base system (MRDB). 324-328 - N. N. Oliver, John D. Joyce:
Performance monitor for a relational information system. 329-333 - Thomas J. Aird, John R. Rice, Wayne Cowell, Edward L. Battiste:
SIGNUM (Tutorial Session). 334-335 - Udo W. Pooch, David M. Burris, Patrice Burgevin, Jacques Leroudier, Errol H. Pollnow, Harry F. Tibbals, Anita K. Jones:
SIGOPS (Paper Session). 336 - Udo W. Pooch, David M. Burris:
A Modified Locality Matrix Model (MLMM) - dynamic clustering in a demand paging environment. 337-343 - Patrice Burgevin, Jacques Leroudier:
Characteristics and models of program behaviour. 344-350 - Errol H. Pollnow:
A time-dependent approach to queue simulation - III: system input and facility loading. 351-355 - Harry F. Tibbals:
A structure for interprocess communication in a data communications handler. 356-360 - David R. Cheriton, Steven S. Muchnick, Hasan H. Sayani, Robert Trueman Tomlinson, Ronnie G. Ward, Darrell L. Ward:
Sigops(Paper Session). 361 - David R. Cheriton:
Man-machine interface design for timesharing systems. 362-366 - Steven S. Muchnick:
The command interpreter and command language design of the com-share COMMANDER II system. 367-372 - Hasan H. Sayani:
A basis for the design of Operating System Command and Response Languages. 373-380 - Robert Trueman Tomlinson:
A high level computer control language. 381-386 - Daniel M. Berry, John B. Johnston:
SIGPLAN(Tutorial Session). 387-389 - Marvin V. Zelkowitz, Paul R. McMullin, Keith R. Merkel, Howard J. Larsen, Frederick C. Druseikis, G. David Ripley, David R. Hanson, Gary Lindstrom:
SIGPLAN(Paper Session). 390 - Marvin V. Zelkowitz, Paul R. McMullin, Keith R. Merkel, Howard J. Larsen:
Error checking with pointer variables. 391-395 - Frederick C. Druseikis, G. David Ripley:
Error recovery for Simple LR(k) parsers. 396-400 - David R. Hanson:
A procedure mechanism for backtrack programming. 401-405 - Loren P. Meissner, Frank Engel Jr., Walter S. Brainerd, Thomas A. Gibson:
SIGPLAN (Tutorial Session). 406-408 - Ralph E. Griswold, Harald Ganzinger, Bill P. Buckles, G. C. Hintze, Ken De Jong:
SIGPLAN(Paper Session). 409 - Ralph E. Griswold:
String analysis and synthesis in SL5. 410-414 - Harald Ganzinger, Knut Ripken, Reinhard Wilhelm:
MUG1 - an incremental compiler-compiler. 415-418 - Bill P. Buckles, G. C. Hintze:
Levels of abstraction and compilers. 419-423 - Joel Moses, Martin L. Griss
, George E. Collins:
SIGSAM (Paper Session). 424 - Joel Moses:
An introduction to the Risch integration algorithm. 425-428 - Martin L. Griss
:
An efficient sparse minor expansion algorithm. 429-434 - John D. Lipson, Ellis Horowitz, David R. Musser:
SIGSAM (Tutorial Session). 435 - John D. Lipson:
The fast Fourier transform its role as an algebraic algorithm. 436-441 - Ellis Horowitz:
The art of the algorithmist. 442-444 - Paul F. Roth, Richard E. Nance, Larry McNamee, Walter G. Rudd:
SIGSIM (Panel Session). 445-446 - Lorraine Borman, Gregory J. Suski, Kenneth L. Kraemer, John A. Sonquist, Richard C. Roistacher, Barbara B. Noble, James L. Ross, Mark Hayes, Gregory A. Marks:
SIGSOC (Paper Session). 447 - Lorraine Borman, Gregory J. Suski:
Providing state of the art information systems for small government agencies: a case study in technology transfer. 448-454 - Kenneth L. Kraemer:
Retailing computer technology to the uninitiated consumer: the case of computer applications transfer in local governments. 455-461 - John A. Sonquist:
Organizational change and educational computing. 462-466 - James L. Ross, Mark Hayes:
The process of growth in a statewide educational computing system: the California example. 467-472 - Richard C. Roistacher, Barbara B. Noble:
A network-based research support facility and data archive. 473-477 - Leon J. Osterweil, Robert H. Hoffman, Lori A. Clarke, Hanan Samet, Richard E. Fairley:
SICSOFT (Paper Session). 478 - Leon J. Osterweil:
Allegations as aids to static program testing. 479-482 - Robert H. Hoffman:
An interactive Automated Test Data Generator. 483-487 - Lori A. Clarke:
A program testing system. 488-491 - Hanan Samet:
Compiler testing via symbolic interpretation. 492-497 - Burt M. Leavenworth, Raymond J. Hookway, George W. Ernst, Thomas A. Standish, Dennis F. Kibler, James M. Neighbors, J. C. Huang:
SICSOFT (Paper Session). 498 - Burt M. Leavenworth:
Incremental program testing in a very high level language. 499-503 - Raymond J. Hookway, George W. Ernst:
A program verification system. 504-508 - Thomas A. Standish, Dennis F. Kibler, James M. Neighbors:
Improving and refining programs by program manipulation. 509-516 - Barry W. Boehm, Richard E. Fairley, Warren Franz, Raymond Yeh, Anthony I. Wasserman, Peter Freeman:
SICSOFT (Panel Session). 517-519 - Donald I. Good, Lloyd D. Fosdick:
SICSOFT (Tutorial Session). 520 - Donald I. Good, Lloyd D. Fosdick:
SIGSOFT tutorial on program verification (Tutorial Session). 521-522 - Monroe M. Newborn:
SIGTPC (Panel Session). 523-524 - Lynn Bellamy, Charles Mosmann, Joseph R. Denk, Leonard Alberts, Tom Kurtz, Roy F. Reeves:
SIGUCC (Tutorial/Panel Session). 525-528 - Frederick E. Petry, Alan W. Biermann, Monroe M. Newborn, Helmut Kerner, Werner Beyerle, Kathleen M. Shockley, Daniel P. Friedman:
General interest (Paper Session). 529 - Frederick E. Petry, Alan W. Biermann:
Reconstruction of algorithms from memory snapshots of their execution. 530-534 - Monroe M. Newborn:
Reconsideration of a theorem on admissible ordered search algorithms. 535-538 - Helmut Kerner, Werner Beyerle:
A simulator generator based on formal descriptions of architectural, load, and operating system models. 539-545 - Kathleen M. Shockley:
The family binary tree. 546-550 - H. Rudy Ramsey, James D. Baker, Richard W. Pew:
Human factors (Tutorial Session). 551-552 - Jose C. Ingojo, Roy Rada, Joe Stiles:
Student program (Paper Session). 553 - Jose C. Ingojo:
Modularization in the pilot compiler and its effect on the length. 554-557 - Roy Rada:
Computerized coding of the medical problem statement. 558-560 - Joe Stiles:
An interactive macro language application to a tracking problem and to a best ellipsoidal bounds problem. 561-563
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.