[net.research] Georgia Tech Reports

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