@techreport{CS85-036,

title = {Arras User's Manual},

author = {John B. Smith},

url = {https://techreports.cs.unc.edu/papers/85-036.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-036},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-035,

title = {A Relational Approach to Monitoring Complex Systems},

author = {Richard Snodgrass},

url = {https://techreports.cs.unc.edu/papers/85-035.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-035},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-033,

title = {Performance Evaluation of a Temporal Database Management System},

author = {Ilsoo Ahn and Richard Snodgrass},

url = {https://techreports.cs.unc.edu/papers/85-033.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-033},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-032,

title = {Mini-Course on Probability and Statistics},

author = {John H. Halton},

url = {https://techreports.cs.unc.edu/papers/85-032.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-032},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-031,

title = {Formatting Texts Accessed Randomly},

author = {John B. Smith and Stephen F. Weiss},

url = {https://techreports.cs.unc.edu/papers/85-031.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-031},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-030,

title = {Equational Programming},

author = {Bharat Jayaraman},

url = {https://techreports.cs.unc.edu/papers/85-030.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-030},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-029,

title = {The Effectiveness of Contrast Enhancement},

author = {John Burton Zimmerman},

url = {https://techreports.cs.unc.edu/papers/85-029.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-029},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-028,

title = {Algorithms for Embedding Graphs in Books},

author = {Lenwood Scott Heath},

url = {https://techreports.cs.unc.edu/papers/85-028.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-028},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-027,

title = {Temporal Databases},

author = {Richard Snodgrass and Ilsoo Ahn},

url = {https://techreports.cs.unc.edu/papers/85-027.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-027},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-026,

title = {Parallel Processing in Pixel-Planes, a VLSI Logic-Enhanced Memory for Raster Graphics},

author = {Henry Fuchs and John Poulton},

url = {https://techreports.cs.unc.edu/papers/85-026.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-026},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-025,

title = {Eleventh Annual Report Interactive Graphics for Molecular Graphics System},

author = {Frederick P. Brooks, Jr. and Michael Pique and James S. Lipscomb},

url = {https://techreports.cs.unc.edu/papers/85-025.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-025},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS98-026,

title = {Forward Mapped Planar Mirror Reflections},

author = {Rui Bastos and Wolfgang Sturzlinger},

url = {https://techreports.cs.unc.edu/papers/98-026.pdf},

year  = {2010},

date = {2010-03-25},

number = {98-026},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-024,

title = {Triangulation Algorithms For Simple, Closed, Not Necessarily Convex, Polygons in the Plane},

author = {John H. Halton},

url = {https://techreports.cs.unc.edu/papers/85-024.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-024},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-019,

title = {On the Effect of Selective Sterilization on Sex-Ratio},

author = {John H. Halton},

url = {https://techreports.cs.unc.edu/papers/85-019.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-019},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-018,

title = {Algorithms for the Electical Optimization of Digital MOS Circuits},

author = {Kye S. Hedlund},

url = {https://techreports.cs.unc.edu/papers/85-018.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-018},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-017,

title = {Using Software Technology To Specify Abstract Interfaces In VLSI Design},

author = {Richard Rutter Gross},

url = {https://techreports.cs.unc.edu/papers/85-017.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-017},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-016,

title = {An Image Description for Object Definition, Based on Extremal Regions in the Stack},

author = {Stephen M. Pizer and Jan J. Koenderink and Lawrence M. Lifshitz and Leendert Helmink and Antonie D.J. Kaasjager},

url = {https://techreports.cs.unc.edu/papers/85-016.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-016},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-015,

title = {Hardware Enhancements for Raster Graphics},

author = {Andrew S. Glassner and Henry Fuchs},

url = {https://techreports.cs.unc.edu/papers/85-015.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-015},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-014,

title = {The Terak Tester User's Guide},

author = {Vernon L. Chi},

url = {https://techreports.cs.unc.edu/papers/85-014.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-014},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-013,

title = {A Temporal Query Language},

author = {Richard Snodgrass},

url = {https://techreports.cs.unc.edu/papers/85-013.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-013},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-012,

title = {FFP machine support for language extensions},

author = {David Middleton and Bruce T. Smith},

url = {https://techreports.cs.unc.edu/papers/85-012.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-012},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-011,

title = {Three-Dimensional Depth Perception Enhancement by Dynamic Lighting},

author = {David H. Holmes},

url = {https://techreports.cs.unc.edu/papers/85-011.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-011},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-010,

title = {CSP/85 Manual},

author = {David Middleton},

url = {https://techreports.cs.unc.edu/papers/85-010.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-010},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-009,

title = {GRINCH User's Manual},

author = {Douglas B. Schiff},

url = {https://techreports.cs.unc.edu/papers/85-009.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-009},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS91-027,

title = {Applications of Unskolemization},

author = {Ritu Chadha},

url = {https://techreports.cs.unc.edu/papers/91-027.pdf},

year  = {2010},

date = {2010-03-25},

number = {91-027},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-008,

title = {Triangulation Algorithms For Simple, Closed, Not Necessarily Convex, Polygons in the Plane},

author = {John H. Halton},

url = {https://techreports.cs.unc.edu/papers/85-008.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-008},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS91-026,

title = {Upper and Lower Bounds for One-Write Multivalued Regular Registers},

author = {Soma Chaudhuri and Martha J. Kosa and Jennifer L. Welch},

url = {https://techreports.cs.unc.edu/papers/91-026.pdf},

year  = {2010},

date = {2010-03-25},

number = {91-026},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-007,

title = {Systems for 3D Display in Medical Imaging},

author = {Stephen M. Pizer},

url = {https://techreports.cs.unc.edu/papers/85-007.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-007},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS91-025,

title = {Constraint-Based Design by Cost Function Optimization},

author = {Eric Grant},

url = {https://techreports.cs.unc.edu/papers/91-025.pdf},

year  = {2010},

date = {2010-03-25},

number = {91-025},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-006,

title = {Characterization and Analysis of Programmable Switch Designs},

author = {Margaret F. Lospinuso},

url = {https://techreports.cs.unc.edu/papers/85-006.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-006},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-005,

title = {Psychovisual Issues in the Display of Medical Images},

author = {Stephen M. Pizer},

url = {https://techreports.cs.unc.edu/papers/85-005.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-005},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-004,

title = {A Taxonomy of Time in Databases},

author = {Richard Snodgrass and Ilsoo Ahn},

url = {https://techreports.cs.unc.edu/papers/85-004.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-004},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS91-022,

title = {A Survey of Data Models for Hypermedia},

author = {Joan Boone},

url = {https://techreports.cs.unc.edu/papers/91-022.pdf},

year  = {2010},

date = {2010-03-25},

number = {91-022},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS85-001,

title = {Pixel-Planes},

author = {John Poulton and Henry Fuchs and John D. Austin and John G. Eyles and Justin Heinecke and Cheng-Hong Hsieh and Jack Goldfeather and Jeff P. Hultquist and Susan Spach},

url = {https://techreports.cs.unc.edu/papers/85-001.pdf},

year  = {2010},

date = {2010-03-25},

number = {85-001},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS84-010,

title = {Procedure-Level Program Modeling for Virtual Memory Performance Improvement},

author = {Edward L. Jones},

url = {https://techreports.cs.unc.edu/papers/84-010.pdf},

year  = {2010},

date = {2010-03-25},

number = {84-010},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS84-009,

title = {Tenth Annual Report Interactive Graphics for Molecular Graphics System},

author = {Frederick P. Brooks, Jr. and Michael Pique and James S. Lipscomb},

url = {https://techreports.cs.unc.edu/papers/84-009.pdf},

year  = {2010},

date = {2010-03-25},

number = {84-009},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS84-008,

title = {Tenth Annual Report Final Technical Report Interactive Graphics for Molecular Studies},

author = {Frederick P. Brooks, Jr. and Michael Pique and James S. Lipscomb},

url = {https://techreports.cs.unc.edu/papers/84-008.pdf},

year  = {2010},

date = {2010-03-25},

number = {84-008},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS84-007,

title = {Final Technical Report, SRC Contract 82-11-003, Transfer of Software Methodology to VLSI Design},

author = {Frederick P. Brooks, Jr. and Major Richard R. Gross and Lenwood S. Health},

url = {https://techreports.cs.unc.edu/papers/84-007.pdf},

year  = {2010},

date = {2010-03-25},

number = {84-007},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS84-002,

title = {Self-Tracker},

author = {Gary Bishop},

url = {https://techreports.cs.unc.edu/papers/84-002.pdf},

year  = {2010},

date = {2010-03-25},

number = {84-002},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS83-007,

title = {DOT},

author = {Scott Harrison Danforth},

url = {https://techreports.cs.unc.edu/papers/83-007.pdf},

year  = {2010},

date = {2010-03-25},

number = {83-007},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS83-06,

title = {Progress 1978-83 Proposal 1984-89 Interactive Graphics for Molecular Graphics System},

author = {Frederick P. Brooks, Jr. and Henry Fuchs and Michael Pique},

url = {https://techreports.cs.unc.edu/papers/83-006.pdf},

year  = {2010},

date = {2010-03-25},

number = {83-06},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS83-002,

title = {Ninth Annual Report Interactive Graphics for Molecular Graphics System},

author = {Frederick P. Brooks, Jr. and Michael Pique and James S. Lipscomb and Lynn F. TenEyck},

url = {https://techreports.cs.unc.edu/papers/83-002.pdf},

year  = {2010},

date = {2010-03-25},

number = {83-002},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS82-012,

title = {A Man-Machine Interface for Interpreting Electron Density Maps},

author = {Thomas Victor Williams},

url = {https://techreports.cs.unc.edu/papers/82-012.pdf},

year  = {2010},

date = {2010-03-25},

number = {82-012},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS82-006,

title = {An Archive Tape Processing System for the Triangle Research Libraries Network},

author = {Jeanne Clifford Sawyer},

url = {https://techreports.cs.unc.edu/papers/82-006.pdf},

year  = {2010},

date = {2010-03-25},

number = {82-006},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS82-003,

title = {Evaluation of a Teaching Approach for Introductory Computer Programming},

author = {Philip Koltun},

url = {https://techreports.cs.unc.edu/papers/82-003.pdf},

year  = {2010},

date = {2010-03-25},

number = {82-003},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS82-002,

title = {Parallel Solution of Elliptic Partial Differential Equations on a Tree Machine},

author = {Roy Peredo Pargas},

url = {https://techreports.cs.unc.edu/papers/82-002.pdf},

year  = {2010},

date = {2010-03-25},

number = {82-002},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS82-001,

title = {A Comparison of Two Graphics Computer Designs},

author = {Joseph Kitchings Parks},

url = {https://techreports.cs.unc.edu/papers/82-001.pdf},

year  = {2010},

date = {2010-03-25},

number = {82-001},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS81-017,

title = {Fast Scene Generation on General Purpose Raster Systems},

author = {Henry Fuchs and Gregory D. Abram and Eric D. Grant},

url = {https://techreports.cs.unc.edu/papers/81-017.pdf},

year  = {2010},

date = {2010-03-25},

number = {81-017},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS81-012,

title = {Computerized Archaeological Specimen-Catalog Data Storage and Retrieval at the University of North Carolina, Chapel Hill},

author = {Dawn Elizabeth Janney},

url = {https://techreports.cs.unc.edu/papers/81-012.pdf},

year  = {2010},

date = {2010-03-25},

number = {81-012},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS81-011,

title = {Performance Evaluation for Small Business Computers},

author = {William P. Wilson, Jr.},

url = {https://techreports.cs.unc.edu/papers/81-011.pdf},

year  = {2010},

date = {2010-03-25},

number = {81-011},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}