spaf@gatech.UUCP (07/20/83)
Here is the current, up-to-date list of technical reports available from the School of Information and Computer Science at the Georgia Institute of Technology. The following list was formatted on a different system and moved to our Vax. It is set for 66 line pages and has backspaces inside the file for boldfacing and underlining. SSSCCCHHHOOOOOOLLL OOOFFF IIINNNFFFOOORRRMMMAAATTTIIIOOONNN AAANNNDDD CCCOOOMMMPPPUUUTTTEEERRR SSSCCCIIIEEENNNCCCEEE GGGEEEOOORRRGGGIIIAAA IIINNNSSSTTTIIITTTUUUTTTEEE OOOFFF TTTEEECCCHHHNNNOOOLLLOOOGGGYYY TTTeeeccchhhnnniiicccaaalll RRReeepppooorrrtttsss iiissssssuuueeeddd bbbeeetttwwweeeeeennn JJJaaannnuuuaaarrryyy,,, 111999888111 aaannnddd JJJuuulllyyy,,, 111999888333... The following reports are available from: Technical Report Librarian School of Information and Computer Science Georgia Institute of Technology Atlanta, GA 30332 GIT-ICS-81/01. Burns, J.E. COMPLEXITY OF COMMUNICATION AMONG ASYNCHRONOUS PARALLEL PROCESSES (January, 1981). GIT-ICS-81/02. Enslow, P.H., Jr., and Saponas, T.G. DISTRIBUTED AND DECENTRALIZED CONTROL IN FULLY DISTRIBUTED PROCESSING SYSTEMS--A SURVEY OF APPLICABLE MODELS (February, 1981). GIT-ICS-81/03. LeBlanc, R.J., and Maccabe, A.B. PRONET: LANGUAGE FEATURES FOR DISTRIBUTED PROGRAMMING (April, 1981). GIT-ICS-81/04. Martin, E.W. OPERATIONAL SURVIVABILITY IN GRACEFULLY DEGRADING DISTRIBUTED PROCESSING SYSTEMS (December, 1980). GIT-ICS-81/05. Lynch, N.A. MULTILEVEL ATOMICITY--A NEW CORRECT- NESS CRITERION FOR DISTRIBUTED DATABASES (May, 1981). GIT-ICS-81/06. Fischer, M.J., Griffeth, N.D., and Lynch, N.A. GLOBAL STATES OF A DISTRIBUTED SYSTEM (June, 1981). GIT-ICS-81/07. Arjomandi, E., Fischer, M.J., and Lynch, N.A. A DIFFERENCE IN EFFICIENCY BETWEEN SYNCHRONOUS AND ASYNCHRONOUS SYSTEMS (June, 1981). GIT-ICS-81/08. DeMillo, R.A., Hocking, D.E., and Merritt, M.J. A COMPARISON OF SOME RELIABLE TEST DATA GENERATION PROCEDURES (April, 1981). GIT-ICS-81/09. Enslow, P.H., Jr., and Saponas, T.G. PERFORMANCE OF DISTRIBUTED AND DECENTRALIZED CONTROL MODELS FOR FULLY DISTRIBUTED PROCESSING SYSTEMS (June, 1981). GIT-ICS-81/10. King, K.N., and Smith-Thomas, B. AN OPTIMAL ALGORITHM FOR SINK-FINDING (August, 1981). GIT-ICS-81/11. Enslow, P.H., Jr., Manno, P.D., and Myers, J.T. INITIAL EXPERIENCE WITH A LOCAL NETWORK--NET/ONE BY UNGERMANN- BASS, INC. (October, 1981). GIT-ICS-81/12. Forsyth, D.H., Jr. A REMOTE TERMINAL EMULATOR FOR PR1ME COMPUTERS (August, 1981). GIT-ICS-81/13. Fischer, M.J., and Lynch, N.A. A LOWER BOUND FOR THE TIME TO ASSURE INTERACTIVE CONSISTENCY (September, 1981). GIT-ICS-81/15. Griffeth, N.D. A SIMULATION TOOL FOR DISTRIBUTED DATABASE SYSTEMS (November, 1981). GIT-ICS-81/16. Akin, T.A. A RE-USABLE CODE GENERATOR FOR PR1ME 50-SERIES COMPUTERS (August, 1981). GIT-ICS-81/17. Kolodner, J.L. ON BEYOND CYRUS: PROBLEMS ASSOCIATED WITH LONG TERM MEMORY ORGANIZATION AND RETRIEVAL (November, 1981). GIT-ICS-81/18. Saponas, T.G. DISTRIBUTED AND DECENTRALIZED CONTROL IN FULLY DISTRIBUTED PROCESSING SYSTEMS (December, 1981). GIT-ICS-82/01. Sharp, D.D., Jr. WORK DISTRIBUTION IN A FULLY DISTRIBUTED PROCESSING SYSTEM (January, 1982). GIT-ICS-82/02. Lynch, N.A. A SIMPLE AND EFFICIENT BYZANTINE GENERALS ALGORITHM (February, 1982). GIT-ICS-82/03. Kolodner, J.L. THE ROLE OF EXPERIENCE IN EXPERT REASONING (April, 1982). GIT-ICS-82/04. Graham, M.H. FUNCTIONS IN DATABASES (May, 1982). GIT-ICS-82/05. Akin, T.A., Countryman, T.L., Flinn, P.B., For- syth, D.H., Jr., Myers, J.T., and Wan, P.N. SOFTWARE TOOLS SUBSYSTEM USER'S GUIDE, THIRD EDITION (April, 1982). GIT-ICS-82/06. Fukuoka, H. INTERPROCESS COMMUNICATION FACILITIES FOR DISTRIBUTED SYSTEMS--A TAXONOMY AND A SURVEY (February, 1982). GIT-ICS-82/07. Livesey, N.J. EXTENDING FILE SYSTEMS TO DISTRIBUTED SYSTEMS (April, 1982). GIT-ICS-82/08. Efruss, R., and Griffeth, N.D. A HUMAN FACTORS STUDY OF DATABASE MODELS AND QUERY LANGUAGES (September, 1981). GIT-ICS-82/09. DeMillo, R.A., and Merritt, M. PROTOCOLS FOR DATA SECURITY (July, 1982). GIT-ICS-82/10. Tanaka, A. EQUIVALENCE TESTING FOR FORTRAN MUTA- TION SYSTEM USING DATA FLOW ANALYSIS (July, 1982). GIT-ICS-82/12. Maccabe, A.B. LANGUAGE FEATURES FOR FULLY DISTRIBUTED PROCESSING SYSTEMS (August, 1982). GIT-ICS-82/13. DeMillo, R.A. TRANSCRIPT OF PROCEEDINGS-- SOFTWARE TEST AND EVALUATION WORKSHOP (March, 1982). GIT-ICS-82/14. Spinrad, J. ON COMPARABILITY AND PERMUTATION GRAPHS (November, 1982). GIT-ICS-82/15. Allchin, J.E., and McKendry, M.S. OBJECT-BASED SYNCHRONIZATION AND RECOVERY (September, 1982). GIT-ICS-82/16. Enslow, P.H., Jr., LeBlanc, R.J., Livesey, N.J., and McKendry, M.S. SOFTWARE SUPPORT FOR FULLY DISTRIBUTED/LOOSELY COUPLED PROCESSING SYSTEMS, VOL. 1 (Decem- ber, 1982). GIT-ICS-82/17. Enslow, P.H., Jr., LeBlanc, R.J., Livesey, N.J., and McKendry, M.S. SOFTWARE SUPPORT FOR FULLY DISTRIBUTED/LOOSELY COUPLED PROCESSING SYSTEMS, VOL. 2 (Decem- ber, 1982). GIT-ICS-82/18. Allchin, J.E. A SUITE OF ALGORITHMS FOR MAINTAINING REPLICATED DATA USING WEAK CORRECTNESS CONDITIONS (December, 1982). GIT-ICS-83/01. Allchin, J.E., and McKendry, M.S. FACILITIES FOR SUPPORTING ATOMICITY IN OPERATING SYSTEMS (January, 1983). GIT-ICS-83/02. Miller, J.A., and LeBlanc, R.J. THE DESIGN AND EVALUATION OF A DISTRIBUTED COMPILER (January, 1983). GIT-ICS-83/03. Graham, M.H. PATH EXPRESSIONS IN DATABASES, (February, 1983). GIT-ICS-83/04. Allender, E.W. AN IMPROVED LOWER BOUND FOR THE CYCLE DETECTION PROBLEM (February, 1983). GIT-ICS-83/05. Allchin, J.E. HOW TO SHADOW A SHADOW (February, 1983). GIT-ICS-83/06. Merritt, M.J. CRYPTOGRAPHIC PROTOCOLS (February, 1983). GIT-ICS-83/07. DeMillo, R.A. PROGRAM MUTATION: AN APPROACH TO SOFTWARE TESTING (May, 1983). GIT-ICS-83/08. Bilsel, M.S. A SURVEY OF SOFTWARE TEST AND EVALUATION TECHNIQUES (April, 1983). GIT-ICS-83/09. Spafford, E.H. A REPORT ON THE ACCURACY OF PRIME COMPUTERS' FLOATING POINT SOFTWARE AND HARDWARE--AND--THE SWT MATH LIBRARY USER'S GUIDE (April, 1983). GIT-ICS-83/10. Allender, E.W. ON THE NUMBER OF CYCLES POSSIBLE IN DIGRAPHS WITH LARGE GIRTH (June, 1983). GIT-ICS-83/11. Allchin, J.E., and McKendry, M.S. SUPPORT FOR OBJECTS AND ACTIONS IN CLOUDS: STATUS REPORT (June, 1983). GIT-ICS-83/12. Kolodner, J.L. MAINTAINING ORGANIZATION IN A DYNAMIC LONG TERM MEMORY (July, 1983). GIT-ICS-83/13. Kolodner, J.L. RECONSTRUCTIVE MEMORY: A COM- PUTER MODEL (July, 1983). GIT-ICS-83/14. Griffeth, N.D., and Morsi, M. SORCERER: A DISTRIBUTED DATABASE TESTBED AND SIMULATION TOOL (July, 1983). -- "The soapbox of Gene Spafford" CSNet: Spaf @ GATech Internet: Spaf.GATech @ UDel-Relay uucp: ...!{sb1,allegra}!gatech!spaf ...!duke!mcnc!msdc!gatech!spaf