University of Toronto
Computer Systems Research Institute

BIBLIOGRAPHY OF CSRI TECHNICAL REPORTS 1988 - present

``*'' indicates that the report is out of print

CSRI-224 A QUEUEING THEORETIC APPROACH TO THE DELAY ANALYSIS
FOR A CLASS OF CONFLICT RESOLUTION ALGORITHMS
George C. Polyzos
[Ph.D. Thesis, DCS, January 1989]

CSRI-225 ON 'EXTRACTING KNOWLEDGE FROM TEXT':
MODELLING THE ARCHITECTURE OF LANGUAGE USERS
Stephen Regoczei, Trent University
Graeme Hirst, DCS, University of Toronto
January 1989

CSRI-226 PRACTICAL PARALLEL LEXING
Yu, Chun Pong
[M.Sc. Thesis, DCS, May 1989]

*CSRI-227 AN OBJECT-ORIENTED MODEL FOR SUPPORTING OFFICE WORK
Carson Chia-Siang Woo
[Ph.D. Thesis, DCS, April 1988]

CSRI-228 A TRUSTED NETWORK ARCHITECTURE
B. Thomson, E.S. Lee, P.I.P. Boulton, M. Stumm, D.M. Lewis
CSRI, October 1988

CSRI-229 SET PROJECTORS: A BASIS FOR PROGRAM SPECIFICATION
R.C. Holt
August 1989

CSRI-230 PERFORMANCE CHARACTERISTICS OF THE FDDI TOKEN RING
PRIORITY MECHANISM
Richard Scott MacLean
[M.Sc. Thesis, DCS, June 1989]

CSRI-231 THE COMPUTATIONAL CODIFICATION OF THE SEMANTIC ASPECTS OF STYLE
Mark B.P. Ryan
[M.Sc. Thesis, DCS, August 1989]

CSRI-232 Sortal analysis with SORTAL, a software assistant for knowledge acquisition
Stephen Regoczei, Trent University
Graeme Hirst, DCS, University of Toronto
August 1989

CSRI-233 SIMULATION OF TWO LANs
P.I.P. Boulton, R.E. Soper, E.S. Lee
August 1989

*CSRI-234 A COMPOSITIONAL SEMANTICS FOR FOCUSING SUBJUNCTS
Daniel C. Lyons
[M.Sc. Thesis, DCS, August 1989]

CSRI-235 THE IMPLEMENTATION OF A CONCURRENT COMPILER
Michael D. Junkin and David B. Wortman
December 1990

**CSRI-236 PROTOCOL VERIFICATION FOR A TRUSTED NETWORK ARCHITECTURE
R.E. Soper, E.S. Lee, P.I.P. Boulton, M. Stumm, B. Thomson
October 1989

*CSRI-237 A KNOWLEDGE-THEORETIC ACCOUNT OF NEGOTIATED COMMITMENT
Murray Sandor Mazer
[Ph.D. Thesis, DCS, November 1989]

CSRI-238 OFFICE AND DATA BASE SYSTEMS RESEARCH '89
edited by F.H. Lochovsky
Computer Systems Research Institute
June 1990

*CSRI-239 COMPUTATIONAL STYLISTICS FOR NATURAL LANGUAGE TRANSLATION
Chrysanne DiMarco
[Ph.D. Thesis, DCS, April 1990]

CSRI-240 HEALTHINESS VERSUS REALIZABILITY IN PREDICATE TRANSFORMERS
R.C. Holt
Computer Systems Research Institute, August 1989
[Revised April 1990]

CSRI-241 SPECTUR -- A SPECIFICATION LANGUAGE FOR THE PROGRAMMER
Michael W. Godfrey, Richard C. Holt
June 1990

CSRI-242 PRODUCTIVITY AND COMPUTERS IN CANADIAN BANKING
Darrell James Parsons, Calvin C. Gotlieb [DCS]
Michael Denny [Dept. of Economics]
June 1990

CSRI-243 THE TRANSLATION OF BASIC TOPOLOGICAL PREPOSITIONS FROM
ENGLISH INTO FRENCH
Nathalie Japkowics
[M.Sc. Thesis, DCS, August 1990]

*CSRI-244 HETEROGENEOUS DISTRIBUTED SHARED MEMORY
S.Zhou*, M.Stumm*, K.Li**, and D.Wortman*
*Computer Systems Research Institute,
University of Toronto
**Department of Computer Science,
Princeton University
September 1990

*CSRI-245 FROM INFORMATION SYSTEM REQUIREMENTS TO DESIGNS:
A MAPPING FRAMEWORK
*L. Chung, **P. Katalagarianos, **M. Marakakis,
**M. Mertikas, *J. Mylopoulos, **Y. Vassiliou
*Dept. of Computer Science, University of Toronto
**Institute of Computer Science, Hellas, Greece
September 1990

*CSRI-246 TIME-CONSTRAINED MEMORY FOR READER-BASED TEXT COMPREHENSION
Jean-Pierre Corriveau
[Ph.D. Thesis, DCS, April 1991]

CSRI-247 INTELLIGENT COMPUTER-ASSISTED INSTRUCTION IN SYNTACTIC STYLE
Julie Payette
[B.A.Sc. Thesis, EE, October 1990]

CSRI-248 A FORMAL THEORY OF INDEXICAL KNOWLEDGE AND ACTION
Yves Lesperance
[Ph.D. Thesis, DCS, February 1991]

CSRI-249 FORMAL SPECIFICATION IN METAMORPHIC PROGRAMMING
D.A. Penny, R.C. Holt, M.W. Godfrey
Dept. of Computer Science
May 1991

CSRI-250 THE COMPOSIBILITY OF BEHAVIORALLY SECURE SYSTEMS
Ping Lin
[Ph.D. Thesis, EE, June 1991]

CSRI-251 A COMPUTATIONAL MODEL OF COLLABORATION ON REFERRING EXPRESSIONS
Peter Anthony Heeman
[M.Sc. Thesis, DCS, September 1991]

CSRI-252 SURVIVOR SEQUENCE MEMORY MANAGEMENT IN VITERBI DECODERS
G. Feygin, P.G. Gulak
Dept. of Electrical Engineering
January 1991

CSRI-253 THE USE OF GREYSCALE FOR IMPROVED CHARACTER PRESENTATION
Avi C. Naiman
[Ph.D. Thesis, DCS, March 1991]
Availability: hard copy only
Charge: cheque or money order payable to University of Toronto. ($16.00)

CSRI-254 PERFORMANCE PREDICTION OF RELATIONAL DATABASE MANAGEMENT SYSTEMS
William F. Hyslop
[Ph.D. Thesis, DCS, July 1991]
Availability: hard copy only
Charge: cheque or money order payable to University of Toronto ($10.00)

CSRI-255 CLUSTER-BASED FILE REPLICATION IN LARGE-SCALE DISTRIBUTED SYSTEMS
Harjinder Singh Sandhu and Songnian Zhou
September 1991
Availability: anonymous FTP only

CSRI-256 PERFORMANCE BENEFITS AND LIMITATIONS OF LARGE NUMA MULTIPROCESSORS
Kenneth C. Sevcik and Songnian Zhou
November 1991
Availability: anonymous FTP only

CSRI-257 UTOPIA: A LOAD SHARING SYSTEM FOR LARGE, HETEROGENEOUS DISTRIBUTED COMPUTER
SYSTEMS OR UTOPIA OR REALITY?
Songnian Zhou, Xiaohu Zheng, Jingwen Wang, and Pierre Delisle
December 1991
Availability: anonymous FTP only

CSRI-258 ROUTING STRATEGIES AND MESSAGE CONTENTION ON LOW-DIMENSIONAL
INTERCONNECTION NETWORKS
Didier Badouel, Charles R. Wuethrich, and Eugene L. Fiume
January 1992
Availability: anonymous FTP only

CSRI-259 ON THE BEHAVIOUR OF ETHERNET: ARE EXISTING ANALYTIC MODELS ADEQUATE?
Speros Armyros
[M.Sc. Thesis, DCS, February 1992]
Availability: anonymous FTP or hard copy
Charge: cheque or money order payable to University of Toronto ($10.00)

CSRI-260 PREDICTING THE PERFORMANCE OF SOFTWARE SYSTEMS
Jerome Alexander Rolia
[Ph.D. Thesis, DCS, February 1992]
Availability: anonymous FTP or hard copy
Charge: cheque or money order payable to University of Toronto ($8.00)

*CSRI-261 WHY ARE WE DOING THIS: WHAT HIGH SCHOOL COMPUTER TEACHERS THINK
ABOUT TEACHING PROGRAMMING
Chris Stephenson
February 1992
Availability: anonymous FTP or hard copy
Charge: none

CSRI-262 A SLOTTED RING PROTOCOL FOR HIGH-SPEED LOCAL AND METROPOLITAN AREA NETWORKS
Sam S.K. Vuong
[M.Sc. Thesis, DCS, February 1992]
Availability: anonymous FTP or hard copy
Charge: cheque or money order payable to University of Toronto ($10.00)

CSRI-263 A NEW LAST-COME FIRST-SERVED PREEMPTIVE WINDOW ACCESS CONFLICT RESOLUTION ALGORITHM
Gillian M. Woodruff
February 1992
Availability: anonymous FTP only

CSRI-264 COMPUTATION OF THE PACKET DELAY IN MASSEY'S STANDARD AND
MODIFIED TREE CONFLICT RESOLUTION ALGORITHMS WITH GATED SERVICE
Mart. L. Molle and Alvin C. Shih
February 1992
Availability: anonymous FTP only

CSRI-265 A CONCEPTUAL, CASE-RELATION REPRESENTATION OF TEXT FOR INFORMATION RETRIEVAL
Judith Dick
[Ph.D. Thesis, DCS, February 1992]
Availability: anonymous FTP or hard copy
Charge: cheque or money order payable to University of Toronto $10.00)

CSRI-266 AN ANALYSIS OF CONNECTIVITY OF k-ary- n-cube m-diag INTERCONNECTION NETWORKS
D. Badouel, C. Wuethrich, and E. Fiume
February 1992
Availability: anonymous FTP only

CSRI-267 EXPLOITING THE ADVANTAGES OF MAPPED FILES FOR STREAM I/O
O. Krieger, M. Stumm, and R. Unrau
March 1992
Availability: anonymous FTP only

CSRI-268 HIERARCHICAL CLUSTERING: A STRUCTURE FOR SCALABLE MULTIPROCESSOR
OPERATING SYSTEM DESIGN
R. Unrau, M. Stumm, and O. Krieger
March 1992
Availability: anonymous FTP only

CSRI-269 REGION-ORIENTED MEMORY MANAGEMENT IN SHARED-MEMORY MULTIPROCESSORS
H.S. Sandhu, B. Gamsa, and S. Zhou
April 1992
Availability: anonymous FTP only

CSRI-270 TRANSACTION LOGIC PROGRAMMING
A.J. Bonner, and M. Kifer
April 1992
Availability: anonymous FTP only

CSRI-271 INVESTIGATIONS INTO HISTORY TOOLS FOR USER SUPPORT
Alison Lee
[Ph.D. Thesis, DCS, April 1992]
Availability: anonymous FTP or hard copy
Charge: none

*CSRI-272 COMPOSABLE TRUSTED SYSTEMS
E.S. Lee, P.I.P. Boulton, R.E. Soper, B.W. Thomson
[Contract Report; 264 pages; June 1992]
Availability: anonymous FTP or hard copy
Charge: cheque or money order payable to University of Toronto $16.00

CSRI-273 CACHE CONSISTENCY IN HIERARCHICAL-RING-BASED MULTIPROCESSORS
K. Farkas, Z. Vranesic, M. Stumm
January 1993
Availability: Contact authors directly - farkas@eecg.toronto.edu
or stumm@eecg.toronto.edu

CSRI-274 IMPLEMENTATION AND PERFORMANCE OF CLUSTER-BASED FILE REPLICATION
IN LARGE-SCALE DISTRIBUTED SYSTEMS
J.Y.C. Pang, D.S. Gill, and S. Zhou
January 1993
Availability: anonymous FTP only

CSRI-275 THE ALLOC STREAM FACILITY: A REDESIGN OF APPLICATION-LEVEL STREAM I/O
Orran Krieger, Michael Stumm and Ronald Unrau
October 1992
Availability: anonymous FTP only

CSRI-276 EXPERIENCE WITH THE HECTOR MULTIPROCESSOR
Michael Stumm, Zvonko Vranesic, Ron White,
Ronald Unrau and Keith Farkas
October 1992
Availability: anonymous FTP only

CSRI-277 THE SHARED REGIONS APPROACH TO SOFTWARE CACHE COHERENCE
ON MULTIPROCESSORS
H.S. Sandhu, B. Gamsa and S. Zhou
December 1992
Availability: anonymous FTP only

CSRI-278 OPTIMAL STRATEGIES FOR SPINNING AND BLOCKING
L. Boguslavsky, K. Harzallah, A. Kreinen, K.C. Sevcik and A. Vainshtein
January 1993
Availability: anonymous FTP only

CSRI-279 MODELLING THE BACKOFF ALGORITHM IN CSMA/CD NETWORKS
Zeljko Zilic and Mart Molle
January 1993
Availability: anonymous FTP only

CSRI-280 HOT SPOT ANALYSIS IN LARGE SCALE SHARED MEMORY MULTIPROCESSORS
K. Harzallah and K.C. Sevcik
January 1993
Availability: anonymous FTP only

CSRI-281 PARALLELIZING I/O INTENSIVE APPLICATIONS FOR A WORKSTATION CLUSTER:
A CASE STUDY
Zheng Lin and Songnian Zhou, CSRI
February 1993
Availability: anonymous FTP only

CSRI-282 APPLICATION SCHEDULING AND PROCESSOR ALLOCATION IN
MULTIPROGRAMMED PARALLEL PROCESSING SYSTEMS
K.C. Sevcik
March 1993
Availability: anonymous FTP or hard copy
Charge: none

CSRI-283 EVALUATING MEMORY SYSTEM PERFORMANCE OF A LARGE NUMA MULTIPROCESSOR
Karim Harzallah and Kenneth C. Sevcik
March 1993
Availability: anonymous FTP only

CSRI-284 A PARALLEL PROLOG COMPILER AND ITS IMPLEMENTATION
Wenfeng Li, Dept. of Computer Science, University of Maryland and
Zheng Lin, Dept. of Computer Science, University of Toronto
April 1993
Availability: anonymous FTP only

CSRI-285 DECLARATIVE DATABASE VISUALIZATION:
RECENT PAPERS FROM THE HY+/GRAPHLOG PROJECT
Alberto O. Mendelzon (ed.)
June 1993
Availability: anonymous FTP or hard copy
Charge: none

CSRI-286 LSBATCH: A DISTRIBUTED LOAD SHARING BATCH SYSTEM
Jingwen Wang, Songnian Zhou, Khalid Ahmed and Weihong Long
July 1993
Availability: anonymous FTP only

CSRI-287 DESIGN AND IMPLEMENTATION OF A DISTRIBUTED PARALLEL
PROGRAMMING SYSTEM
Z. Lin and S. Zhou, Dept. of Computer Science, University of Toronto
W. Li, Dept. of Computer Science, University of Maryland
August 1993
Availability: anonymous FTP only

CSRI-288 ABDUCTIVE INTERPRETATION AND REINTERPRETATION OF
NATURAL LANGUAGE UTTERANCES
Susan W. McRoy
[Ph.D. Thesis, DCS, August 1993]
Availability: anonymous FTP or hard copy
Charge: none

CSRI-289 A COMPUTATIONAL MODEL OF COLLABORATION ON
REFERENCE IN DIRECTION-GIVING DIALOGUES
Philip Glenny Edmonds
[M.Sc. Thesis, DCS, October 1993]
Availability: anonymous FTP or hard copy
Charge: none

CSRI-290 THE COMPOSITION OF PROPERTY-PRESERVING EVENT SYSTEMS
John Paul Nestor
[Ph.D. Thesis, EE, November 1993]
Availability: anonymous FTP or hard copy
Charge: none

CSRI-291 EVALUATING THE EFFECT OF AUTO-UPDATE ON THE KENDALL SQUARE KSR1*
Karim Harzallah, Hui Li, and Kenneth C. Sevcik
November 1993
Availability: anonymous FTP only

CSRI-292 COMPUTATIONAL ALIGNMENT: A NEW CLASS OF PROGRAM TRANSFORMATIONS
FOR LOCAL AND GLOBAL OPTIMIZATION
Dattatraya Kulkarni and Michael Stumm
December 1993
Availability: anonymous FTP only

CSRI-293 STRUCTURED SAMPLING AND RECONSTRUCTION OF ILLUMINATION OF IMAGE SYNTHESIS
George Drettakis
[Ph.D. Thesis, DCS, January 1994]
Availability: anonymous FTP only

CSRI-294 OPTIMIZING IPC PERFORMANCE FOR SHARED-MEMORY MULTIPROCESSORS
B. Camsa, O. Krieger, and M. Stumm
January 1994
Availability: anonymous FTP only

CSRI-295 PARALLEL SORTING BY OVERPARTITIONING
Hui Li and Kenneth C. Sevcik
April 1994
Availability: anonymous FTP or hard copy
Charge: cheque or money order payable to University of Toronto $5.00

CSRI-296 A CASE STUDY OF FILE SYSTEM WORKLOAD IN A LARGE-SCALE DISTRIBUTED ENVIRONMENT
D.S. Gill, S. Zhou, H.S. Sandhu
March 1994
Availability: anonymous FTP only

CSRI-297 PERFORMANCE EVALUATION OF REPLICA CONTROL STRATEGIES
IN A DISTRIBUTED SYSTEM
Simon J. Marwood
[M.Sc. Thesis, DCS, April 1994]
Availability: anonymous FTP only

CSRI-298 A NEW BINARY LOGARITHMIC ARBITRATION METHOD FOR ETHERNET
Mart L. Molle
April 1994
Availability: anonymous FTP or hard copy
Charge: cheque or money order payable to Univertsity of Toronto $10.00

CSRI-299 EXPLOITING CACHE AFFINITY IN SOFTWARE CACHE COHERENCE
Hui Li and Kenneth C. Sevcik
April 1994
Availability: anonymous FTP only

CSRI-300 A FRAMEWORK FOR SPECIFYING AND VISUALIZING ARCHITECTURAL DESIGNS
Richard C. Holt and Spiros Mancoridis
April 1994
Availability: anonymous FTP or hard copy
Charge: none

CSRI-301 QUERYING OBJECT-ORIENTED DATABASES WITH USER-DEFINED VISUALIZATIONS
Maria Isabel Q. Carvalho Fernandes Cruz
[Ph.D. Thesis, DCS, May 1994]
Availability: hard copy only
Charge: cheque or money order payable to University of Toronto ($10.00)

CSRI-302 CREATING AND FILTERING STRUCTURAL DATA VISUALIZATIONS USING HYGRAPH PATTERNS
Mariano P. Consens
[Ph.D. Thesis, DCS, February 1994]
Availability: anonymous FTP or hard copy
Charge: none

CSRI-303 MULTIPROGRAMMED PARALLEL APPLICATION SCHEDULING IN NUMA MULTIPROCESSORS
Timothy Benedict Brecht
June 1994
Availability: anonymous FTP only

CSRI-304 A COMPARISON OF TWO SMOOTHING METHODS FOR WORD BIGRAM MODELS
Linda Bauman Peto
[M.Sc. Thesis, DCS, June 1994]
Availability: anonymous FTP or hard copy
Charge: none

CSRI-306 THE TRANSMOGRIFIER: THE UNIVERSITY OF TORONTO FIELD-PROGRAMMABLE SYSTEM
David Galloway, David Karchmer, Paul Chow, David Lewis and Jonathan Rose
June 1994
Availability: anonymous FTP only

CSRI-307 CACHE-PARTITIONED TILING FOR DATA REUSE LOOP NESTS
Naraig Manjikian and Tarek S. Abdelrahman
October 1994
Availability: anonymous FTP only

CSRI-308 USING TUBE GRAPHS TO MODEL ARCHITECTURAL DESIGNS OF SOFTWARE SYSTEMS
Richard C. Holt and Spiros Mancoridis
October 1994
Availability: anonymous FTP or hard copy
Charge: none

CSRI-309 A FORMALISM AND AN ALGORITHM FOR COMPUTING PRAGMATIC INFERENCES
AND DETECTING INFELICITIES
Daniel Marcu
[M.Sc. Thesis, DCS, September 1994]
Availability: anonymous FTP or hard copy
Charge: none

CSRI-310 ALGORITHMS FOR DYNAMIC SOFTWARE CACHE COHERENCE
Harjinder S. Sandhu
October 1994
Availability: anonymous FTP only

CSRI-311 AN ANALYTIC STUDY OF DYNAMIC HARDWARE AND SOFTWARE CACHE COHERENCE STRATEGIES
Harjinder S. Sandhu and Kenneth C. Sevcik
October 1994
Availability: anonymous FTP only

CSRI-312 A CHRONOLOGY OF MAJOR EVENTS IN PARALLEL COMPUTING
Gregory V. Wilson
December 1994
Availability: anonymous FTP only

CSRI-313 EXPERIENCES WITH DATA DISTRIBUTION ON NUMA SHARED MEMORY MULTIPROCESSORS
Sudarsan Tandri and Tarek S. Abdelrahman
February 1995
Availability: anonymous FTP only

CSRI-314 A STUDY OF NATURAL LANGUAGE QUANTIFICATION AND ANAPHORA THROUGH
FAMILIES OF SETS AND BINARY RELATIONS
Robert Lizee
[M.Sc. Thesis, DCS, February 1995]
Availability: anonymous FTP or hard copy
Charge: none

CSRI-315 FUSION OF LOOPS FOR PARALLELISM AND LOCALITY
Naraig Manjikian and Tarek Abdelrahman
February 1995
Availability: anonymous FTP only

CSRI-316 CORRECTIONS, IMPROVEMENTS, SIMULATIONS AND OPTIMSTIC ALGORITHMS FOR THE DISTRIBUTED MINIMUM SPANNING TREE PROBLEM
Michalis Faloutsos
[M.Sc. Thesis, DCS, March 1995]
Availability: anonymous FTP only

CSRI-317 A GENERALIZED THEORY OF LINEAR LOOP TRANSFORMATIONS
Dattatraya Kulkarni and Michael Stumm
Dept. of Computer Science and Dept. of Elec. and Comp. Eng.
March 1995
Availability: anonymous FTP only

CSRI-318 REDUCTION OF CACHE CONFLICTS IN LOOP NESTS
Naraig Manjikian and Tarek Abdelrahman
Dept. of Electrical and Computer Engineering
March 1995
Availability: anonymous FTP only

CSRI-319 DETECTING AND CORRECTING MALAPROPISMS WITH LEXICAL CHAINS
David St-Onge
[M.Sc. Thesis, DCS, March 1995]
Availability: anonymous FTP or hard copy
Charge: none

CSRI-320 EXPERIENCES WITH THE ORCA PROGRAMMING LANGUAGE
Gregory V. Wilson, CSRI
Henri E. Bal, Vrije Universiteit
March 1995
Availability: anonymous FTP only

CSRI-321 ASSESSING AND COMPARING THE USABILITY OF PARALLEL PROGRAMMING SYSTEMS
Gregory V. Wilson, CSRI
R. Bruce Irvin, University of Wisconsin
March 1995
Availability: anonymous FTP only

CSRI-322 MULTIPROCESSOR SCHEDULING FOR HIGH-VARIABILITY SERVICE TIME DISTRIBUTIONS
Eric W. Parsons and Kenneth C. Sevcik
March 1995
Availability: anonymous FTP only

CSRI-323 TRANSACTION LOGIC PROGRAMMING
(or, A Logic of Procedural and Declarative Knowledge)
Anthony J. Bonner and Michael Kifer
March 1995 [revised]
Availability: anonymous FTP only

CSRI-324 THE NUMACHINE MULTIPROCESSOR
Z. Vranesic, S. Brown, M. Stumm, S. Caranci, A. Grbic, R. Grindley,
M. Gusat, O. Krieger, G. Lemieux, K. Loveless, N. Manjikian, Z. Zilic,
T. Abdelrahman, B. Gamsa, P. Pereira, K. Sevcik, A. Elkateeb, S. Srbljic
April 1995
Availability: anonymous FTP only

CSRI-325 THE EFFECT OF FIXED I/O PIN POSITIONING ON THE ROUTABILITY AND SPEED OF FPGAS
Mohammed Khalid and Jonathan Rose
May 1995
Availability: anonymous FTP only

CSRI-326 PHYSICS-BASED ANIMATION AND CONTROL OF FLEXIBLE CHARACTERS
Petros Faloutsos
[M.Sc. Thesis, DCS, May 1995]
Availability: anonymous FTP only

CSRI-327 CREATING OPTIMAL DISTRIBUTED ALGORITHMS FOR MINIMUM SPANNING TREES
Michalis Faloutsos and Mart Molle
May 1995
Availability: anonymous FTP only

CSRI-328 SOFTWARE APPROACHES TO MEMORY LATENCY REDUCTION FOR SCALABLE
SHARED-MEMORY MULTIPROCESSORS
Hui Li
[Ph.D. Thesis, DCS, June 1995]
Availability: anonymous FTP or hard copy
Charge: cheque or money order payable to University of Toronto. ($10.00)

CSRI-329 DERIVING PROCEDURAL AND WARNING INSTRUCTIONS FROM DEVICE AND ENVIRONMENT MODELS
Daniel Ansari
[M.Sc. Thesis, DCS, June 1995]
Availability: anonymous FTP only

CSRI-330 DOMAIN-PARTITIONED PARALLEL SORT-MERGE JOIN
Johan Gustav Larson
[M.Sc. Thesis, DCS, July 1995]
Availability: anonymous FTP only

CSRI-331 COMPILER SUPPORT FOR ARRAY DISTRIBUTION ON NUMA SHARED MEMORY MULTIPROCESSORS
Tarek S. Abdelrahman and Thomas N. Wong
July 1995
Availability: anonymous FTP only

CSRI-332 MODELS FOR PERFORMANCE PREDICTION OF CACHE COHERENCE PROTOCOLS
Sinisa Srbljic, Zvonko G. Vranesic, Michael Stumm, and Leo Budin*
*Faculty of Elect.Eng. and Computing, U of Zagreb
July 1995
Availability: anonymous FTP only

CSRI-333 FILTER TREES FOR MANAGING SPATIAL DATA OVER A RANGE OF SIZE GRANULARITIES
K.C. Sevcik and Nick Koudas
November 1995
Availability: anonymous FTP only

CSRI-334 SPATIAL JOIN PROCESSING AND DATA PLACEMENT IN PARALLEL SPATIAL DATA BASES
Nick Koudas and K.C. Sevcik
November 1995
Availability: anonymous FTP only

CSRI-335 DECLUSTRING SPATIAL DATABASES ON MULTI-COMPUTER ARCHITECTURES
Nick Koudas, Christos Faloutsos and Ibrahim Kamel
November 1995
Availability: anonymous FTP only

CSRI-336 COORDINATED ALLOCATION OF MEMORY AND PROCESSORS IN MULTIPROCESSORS
Eric W. Parsons and Kenneth C. Sevcik
November 1995
Availability: anonymous FTP only

CSRI-337 LOOP AND DATA TRANSFORMATIONS: A TUTORIAL
Dattatraya Kulkarni and Michael Stumm
November 1995
Availability: anonymous FTP only

CSRI-338 (DE-)CLUSTERING OBJECTS FOR MULTIPROCESSOR SYSTEM SOFTWARE
Eric Parsons, Ben Gamsa, Orran Krieger and Michael Stumm
November 1995
Availability: anonymous FTP only

CSRI-339 PERFORMANCE ISSUES FOR MULTIPROCESSOR OPERATING SYSTEMS
Benjamin Gamsa, Orran Krieger, Eric. W. Parsons and Michael Stumm
November 1995
Availability: anonymous FTP only

CSRI-340 AUTOMATICALLY DETECTING STYLISTIC INCONSISTENCIES IN
COMPUTER-SUPPORTED COLLABORATIVE WRITING
Angela Glover
[M.Sc. Thesis, DCS,1995]

CSRI-341 PROCESSOR SCHEDULING IN MULTIPROGRAMMED SHARED MEMORY NUMA MULTIPROCESSORS
Chee-Shong Wu
[M.Sc. Thesis, DCS, January 1996]
Availability: anonymous FTP only

CSRI-342 PARALLEL APPLICATION SCHEDULING ON NETWORKS OF WORKSTATIONS
Stergios Anastasiadis
[M.Sc. Thesis, DCS, February 1996]
Availability: anonymous FTP only

CSRI-343 PROPERTIES AND META-PROPERTIES OF SECURE COMPOSABLE SYSTEMS
Heather Maria Hinton
[Ph.D. Thesis, Dept. of Electrical and Computer Engineering, June 1996]
Availability: anonymous FTP only

CSRI-344 BENEFITS OF SPEEDUP KNOWLEDGE IN MEMORY-CONSTRAINED MULTIPROCESSOR SCHEDULING
Eric W. Parsons and Kenneth C. Sevcik
March 1996
Availability: anonymous FTP only

CSRI-345 BINARY RELATIONAL ALGEBRA APPLIED TO SOFTWARE ARCHITECTURE
Richard C. Holt
March 1996
Availability: anonymous FTP only

CSRI-346 FILTERING RUN-TIME ARTIFACTS USING SOFTWARE LANDSCAPES
Arthur Tateishi
[M.Sc. Thesis, DCS, April 1996]
Availability: anonymous FTP only

CSRI-347 LEXICAL SEMANTICS AND KNOWLEDGE REPRESENTATION IN MULTILINGUAL SENTENCE GENERATION
Manfred Stede
[Ph.D. Thesis, DCS, June 1996]
Availability: anonymous FTP or hard copy
Charge: none

CSRI-348 ALL OF US ARE SMARTER THAN ANY OF US: MORE ON THE ROBUSTNESS OF THE CONSENSUS HIERARCHY
Wai-Lau Lo and Vassos Hadzilacos
June 1996
Availability: anonymous FTP only

CSRI-349 FAST HORIZON COMPUTATION FOR ACCURATE TERRAIN RENDERING
A. James Stewart
June 1996
Availability: anonymous FTP only

CSRI-350 THE POTENTIAL FOR THREAD-LEVEL DATA SPECULATION IN TIGHTLY-COUPLED MULTIPROCESSORS
J. Gregory Steffan and Todd C. Mowry
February 1997
Availability: anonymous FTP only

CSRI-351 ALL OF US ARE SMARTER THAN ANY OF US: MORE ON THE ROBUSTNESS OF THE CONSENSUS HIERARCHY (PART II)
Wai-Kau Lo and Vassos Hadzilacos
October 1996
Availability: anonymous FTP only

CSRI-352 SIZE SEPARATION SPATIAL JOIN
Nick Koudas and Kenneth C. Sevcik
January 1997
Availability: anonymous FTP only

CSRI-353 MODELLING PERFORMANCE OF DISTRIBUTED VIRTUAL SHARED MEMORY SYSTEMS FOR THE NEXT DECADE
Eric W. Parsons, Mats Brorsson (Dept. of Information Technology,
Lund University, Sweden), and Kenneth C. Sevcik
January 1997
Availability: anonymous FTP only

CSRI-354 A HISTORICAL APPLICATION PROFILER FOR USE BY PARALLEL SCHEDULERS
Richard Gibbons
January 1997
Availability: anonymous FTP only

CSRI-355 A COMPARATIVE STUDY OF INTERCONNECTION NETWORKS IN LARGE SCALE MULTIPROCESSORS
Gabriel A. Soreanu
January 1997
Availability: anonymous FTP only

CSRI-356 IMPLEMENTING MULTIPROCESSOR SCHEDULING DISCIPLINES
Eric W. Parsons and Kenneth C. Sevcik
February 1997
Availability: anonymous FTP only

CSRI-357 ON THE POWER OF SHARED OBJECT TYPES TO IMPLEMENT ONE-RESILIENT CONSENSUS
Wai-Kau Lo and Vassos Hadzilacos
January 1997
Availability: anonymous FTP only

CSRI-358 ON BIASED AND NON-UNIFORM GLOBAL ROUTING ARCHITECTURES AND CAD TOOLS FOR FPGAS
Vaughn Betz and Jonathan Rose
February 1997
Availability: anonymous FTP only

CSRI-359 PREDICTING DATA CACHE MISSES IN NON-NUMERIC APPLICATIONS THROUGH CORRELATION PROFILING
Todd C. Mowry and Chi-Keung Luk
February 1997
Availability: anonymous FTP only

CSRI-360 APPROXIMATE MVA ALGORITHMS FOR SOLVING QUEUEING NETWORK MODELS
Hai Wang
March 1997
Availability: anonymous FTP only

CSRI-361 USING KNOWLEDGE OF JOB CHARACTERISTICS IN MULTIPROGRAMMED MULTIPROCESSOR SCHEDULING
Eric W. Parsons
March 1997
Availability: anonymous FTP only

CSRI-362 POINT-BASED TEMPORAL EXTENSION OF SQL
David Toman
March 1997
Availability: anonymous FTP only

CSRI-363 RANDOM CONSTRAINT SATISFACTION: A MORE ACCURATE PICTURE
Dimitris Achlioptas, Lefteris Kirousis, E. Kranakis,
Danny Krizanc, Michael Molloy and Y. C. Stamatiou
April 1997
Availability: anonymous FTP only

CSRI-364 STRUCTURE AND MEMORABILITY OF WEB SITES
David Modjeska and Anna Marsh
July 1997
Availability: anonymous FTP only

CSRI-365 ENSURING STYLISTIC CONGRUITY IN COLLABORATIVELY WRITTEN TEXT: REQUIREMENTS ANALYSIS AND DESIGN ISSUES
Melanie Baljko
August 1997
Availability: anonymous FTP only

CSRI-366 AUTOMATICALLY GENERATING HYPERTEXT BY COMPUTING SEMANTIC SIMILARITY
Stephen Joseph Green
September 1997
Availability: anonymous FTP only

CSRI-367 VIDEO MULTICASTING WITH HIERARCHICAL ENCODING: THE FIXED AND THE GENERAL PROBLEM.
Michalis Faloutsos, Rajesh Pankaj and Kenneth C. Sevcik
October 1997
Availability: anonymous FTP only

CSRI-368 ALMOST ALL GRAPHS WITH 2.522 N EDGES ARE NOT 3-COLORABLE
Dimitris Achlioptas and Michael Molloy
November 1997
Availability: anonymous FTP only

CSRG-369 HIGH DIMENSIONAL SIMILARITY JOINS: ALGORITHMS AND PERFORMANCE EVALUATION
Nick Koudas and Kenneth C. Sevcik
November 1997
Availability: anonymous FTP only

CSRG-370 NAVIGATION IN ELECTRONIC WORLDS: A RESEARCH REVIEW
David Modjeska
January 1998
Availability: anonymous FTP only

CSRG-371 THE RHETORICAL PARSING, SUMMARIZATION, AND GENERATION
OF NATURAL LANGUAGE TEXTS
Daniel Marcu
February 1998
Availability: anonymous FTP only

CSRG-372 DESIGNING QOSMIC: A QUALITY OF SERVICE SENSITIVE MULTICAST
INTERNET PROTOCOL
Michalis Faloutsos, Anindo Banerjea and Rajesh Pankaj
February 1998
Availability: anonymous FTP only

CSRG-373 CHECKING CONSISTENCY BETWEEN SOURCE CODE AND ANNOTATIONS
Marsha Chechik and Sai Sudha Vallurupalli
April 1998
Availability: anonymous FTP only

CSRG-374 AUTOMATED VERIFICATION: A COLLECTION OF REPORTS
B. Biechele, M. Chechik, W. Ding, D. House, C. Jansen,
A. Paccanario, D. Paun, H.S. Teoh, H. Wang and A. Wong
April 1998
Availability: anonymous FTP only

CSRG-375 CHOOSING BUCKET BOUNDARIES FOR A HISTOGRAM
H.V. Jagadish, N. Koudas and K.C. Sevcik
May 1998
Availability: anonymous FTP only

CSRG-376 WEB PREFETCHING USING PARTIAL MATCH PREDICTION
Themistoklis Palpanas
July 1998
Availability: anonymous FTP only

CSRG-377 APPLYING FORMAL METHODS TO A TELECOMMUNICATIONS SYSTEM IN A
COMMERCIAL SETTING
Andre Wong and Marsha Chechik
October 1998
Availability: anonymous FTP only

CSRG-378 REDUCING RETRIEVAL LATENCIES IN THE WEB: THE PAST, THE PRESENT
AND THE FUTURE
Themistoklis Palpanas and Balachander Krishnamurthy
April 1999
Availability: anonymous FTP only

CSRG-379 AN IMPROVED APPROXIMATE MEAN VALUE ANALYSIS ALGORITHM FOR SOLVING SEPARABLE QUEUEING NETWORK MODELS
Kenneth C. Sevcik and Hai Wang
June 1999
Availability: anonymous FTP only

CSRG-380 AUTOMATED VERIFICATION, SPRING 1999: A COLLECTION OF REPORTS
Marsha Chechik, Ma Chuan, Veronika Cwir, Ken Pu, Su Rong, Yuwei Wang
June 1999
Availability: anonymous FTP only

CSRG-381 EVENTS IN PROPERTY PATTERNS
Marsha Chechik and Dimitrie Paun
June 1999
Availability: anonymous FTP only

CSRG-382 FEASIBILITY OF BISIMULATION ANALYSIS OF PROTOCOLS EXPRESSED IN SDL
Marsha Chechik and Hai Wang
June 1999
Availability: anonymous FTP only

CSRG-383 FORMAL METHODS WHEN MONEY IS TIGHT
Marsha Chechik and Andre Wong
June 1999
Availability: anonymous FTP only

CSRG-384 EVENTS IN LINEAR-TIME PROPERTIES
Dimitrie Paun and Marsha Chechik
June 1999
Availability: anonymous FTP only

CSRG-385 FORMAL MODELING IN A COMMERCIAL SETTING: A CASE STUDY
Andre Wong and Marsha Chechik
June 1999
Availability: anonymous FTP only

CSRG-386 SC(R)^3 - TOWARDS USABILITY OF FORMAL METHODS
Marsha Chechik
June 1999
Availability: anonymous FTP only

CSRG-387 PRODUCTION CELL REVISITED
Dimitrie Paun, Marsha Chechik and Bernd Biechele
June 1999
Availability: anonymous FTP only

CSRG-388 AUTOMATIC ANALYSIS OF CONSISTENCY BETWEEN REQUIREMENTS AND DESIGNS
Marsha Chechik, John Gannon
June 1999
Availability: anonymous FTP only

CSRG-389 PARALLEL JOB SCHEDULING ON HETEROGENEOUS NETWORKS OF MULTIPROCESSOR WORKSTATIONS
Gerard Lynch
July 1999
Availability: anonymous FTP only

CSRG-390 LEXICAL SEMANTIC RELATEDNESS AND ITS APPLICATION IN NATURAL LANGUAGE PROCESSING
Alexander Budanitsky
August 1999
Availability: anonymous FTP only

CSRG-391 SC(R)^3: TOWARDS USABILITY OF FORMAL METHODS (JOURNAL VERSION)
Marsha Chechik
September 1999
Availability: anonymous FTP only

CSRG-394 ON CLOSURE UNDER STUTTERING
Dimitrie Paun and Marsha Chechik
September 1999
Availability: anonymous FTP only

CSRG-396 USING ABSTRACT INTERPRETATION
Marsha Chechik and Wei Ding
September 1999
Availability: anonymous FTP only

CSRG-397 AUTOMATICALLY GENERATING TEXT TO ACCOMPANY INFORMATION GRAPHICS
Mary Ellen Foster
September 1999
Availability: anonymous FTP only

CSRG-398 REVIEW OF THE LITERATURE ON AGGREGATION IN NATURAL LANGUAGE GENERATION
Eric Joanis
September 1999
Availability: anonymous FTP only

CSRG-399 SEMANTIC REPRESENTATIONS OF NEAR-SYNONYMS FOR AUTOMATIC LEXICAL CHOICE
Philip Edmonds
September 1999
Availability: anonymous FTP only

CSRG-400 INFORMATION VISUALIZATION AND USER NAVIGATION IN DESKTOP VIRTUAL REALITY
David Modjeska and John Waterworth
November, 1999
Availability: anonymous FTP only

CSRG-401 RESOURCE UTILIZATION BALANCING IN DISK STORAGE OF VBR STREAMS
Stergios V. Anastasiadis, Kenneth C. Sevcik and Michael Stumm
November 1999
Availability: anonymous FTP only

CSRG-402 ALIGNMENT OF PHONETIC SEQUENCES
Grzegorz Kondrak
December 1999
Availability: anonymous FTP only

CSRG-403 LEARNING TO USE COMPLEX COMPUTER TECHNOLOGY: THE IMPORTANCE OF USER INTERFACE DESIGN
Joanna McGrenere, Ronald Baecker and Kellogg Booth
December 1999
Availability: anonymous FTP only

CSRG-404 ARRANGING PIXELS IN A DBMS: WHEN VISION AND DATABASES COME TOGETHER
Themistoklis Palpanas
January 2000
Availability: anonymous FTP only

CSRG-405 HILLTOP: A SEARCH ENGINE BASED ON EXPERT DOCUMENTS
Krishna Bharat and George A. Mihaila
February 2000
Availability: anonymous FTP only

CSRG-406 AUTOMATIC DETECTION OF AUTHORSHIP CHANGES WITHIN SINGLE DOCUMENTS
Neil Graham
February 2000
Availability: anonymous FTP only

CSRG-407 AUTOMATED VERIFICATION, FALL 99 A COLLECTION OF REPORTS
W. Andrepoulos, B. Bernecky, A. Fuxman, B. Devereux, K. Hofstee, J. Lu, T. Morioka, P. Piegaze, J. Tang, S. Thompson, C. Truta, W. Zhou, Y. Zhu and M. Chechik
February 2000
Availability: anonymous FTP only

CSRG-408 COMPOSABLE CONTROLLERS FOR PHYSICS-BASED CHARACTER ANIMATION
Petros Faloutsos, Michiel van de Panne and Demetri Terzopoulos
April 2000
Availability: anonymous FTP only

CSRG-409 ENTROPY BASED APPROXIMATE QUERYING AND EXPLORATION OF DATACUBES
Themistoklis Palpanas & Nick Koudas
Availability: anonymous FTP only

CSRG-410 MINING FOR EMPTY RECTANGLES IN LARGE DATA SETS
Jeff Edmonds, Jarek Gryz, Dongming Liang and Renee J. Miller
May 2000
Availability: anonymous FTP only

CSRG-411 MMSim: SIMULATED MULTIMODAL COMMUNICATION
Melanie Baljko
June 2000
Availability: anonymous FTP only

CSRG-412 SCHEMA MAPPING AS QUERY DISCOVERY
R.J. Miller, L.M. Haas and M. Hernandez
June 2000
Availability: anonymous FTP only

CSRG-413 AN EFFICIENT AND STABLE ALGORITHM FOR ANIMATING WATER WAVES
Anita W. Tam & Michiel van de Panne
June 2000
Availability: anonymous FTP only

CSRG-414 SHADOW: A FRAMEWORK FOR CREATING HIGH-LEVEL PROGRAM ANALYSIS TOOLS
A. Gurfinkel & E. Nudelman
July 2000
Availability: anonymous FTP only

CSRG-415 RECASTING PROGRAM REVERSE ENGINEERING THROUGH ON-LINE ANALYTICAL PROCESSING
Periklis Andritsos
July 2000
Availability: anonymous FTP only

CSRG-416 DATA-DRIVEN UNDERSTANDING AND REFINEMENT OF SCHEMA MAPPINGS
Lingling Yan, Renee J. Miller, Laura M. Haas
August 2000
Availability: anonymous FTP only

CSRG-421 THE ROLE OF PRICING IN DIFFERENTIATED SERVICES NETWORKS
Peter Marbach
January 2001
Availability: anonymous FTP only

CSRG-422 DIFFERENTIATED SERVICES NETWORKS: PRICING AND SOFTWARE AGENTS
Peter Marbach
January 2001
Availability: anonymous FTP only

CSRG-423 DATA-DRIVEN SCHEMA MAPPING
L. Yan, R.J. Miller, L. Haas and R. Fagin
March 2001
Availability: anonymous FTP only

CSRG-424 SERVER-BASED SMOOTHING OF VARIABLE BIT-RATE STREAMS
Stergios V. Anastasiadis, Kenneth C. Sevcik and Michael Stumm
March 2001
Availability: anonymous FTP only

CSRG-432 INTELLIGENT DEFORMABLE ORGANISMS: AN ARTIFICIAL LIFE APPROACH TO MEDICAL IMAGE ANALYSIS
Ghassan Hamarneh and Tim McInerney
March 2001
Availability: anonymous FTP only

CSRG-434 GUIDED CONTROL OF INTELLIGENT VIRTUAL PUPPETS
Daniel Taranovsky
April 2001
Availability: anonymous FTP only

CSRG-435 CERTIFICATES FOR UNDIRECTED GRAPHS
Laura Sedgwick
June 2001
Availability: anonymous FTP only

CSRG-436 PHYSICS-BASED SHAPE DEFORMATIONS FOR MEDICAL IMAGE ANALYSIS
Ghassan Hamarneh and Tim McInerney
September 2001
Availability: anonymous FTP only

CSRG-437 HUNTER GATHERER: INTERACTION SUPPORT FOR THE CREATION AND
MANAGEMENT OF WITHIN-WEB-PAGE COLLECTION
m.c. schraefel, David Modjeska, Daniel Wigdor, Yuxiang Zhu
October 2001
Availability: anonymous FTP only

CSRG-438 SIMILARITY SEARCH OVER TIME-SERIES DATA USING WAVELETS
Ivan Popivanov and Renee J. Miller
November 2001
Availability: anonymous FTP only

CSRG-439 CACHE MANAGEMENT POLICIES FOR SEMANTIC CACHING
Themistoklis Palpanas, Per-Ake Larson, Jonathan Goldstein
November 2001
Availability: anonymous FTP only

CSRG-440 ESSAY ASSESSMENT WITH LATENT SEMANTIC ANALYSIS
Tristan Miller
January 2002
Availability: anonymous FTP only

CSRG-441 TRANSLATING WEB DATA
Yannis Velegrakis, Lucian Popa, Renee J. Miller, Mauricio Hernandez and Ron Fagin
February 2002
Availability: anonymous FTP only

CSRG-443 DATA CLUSTERING TECHNIQUES
Periklis Andritsos
March 2002
Availability: anonymous FTP only

CSRG-456 DATA MAPPING IN PEER-TO-PEER SYSTEMS
A. Kementsietsidis, M. Arenas and R.J. Miller
July 2002
Availability: anonymous FTP only

CSRG-458 THE 3-COLOR PROBLEM FOR PLANAR GRAPHS
Mohammad R. Salavatipour
July 2002
Availability: anonymous FTP only

CSRG-460 3-COLORING PLANAR GRAPHS WITHOUT 4- TO 7-CYCLES
Mohammad R. Salavatipour
August 2002
Availability: anonymous FTP only

CSRG-463 THE XML WEB: A FIRST STUDY
Laurent Mignet, Denilson Barbosa and Pierangelo Veltri
November 2002
Availability: anonymous FTP only

CSRG-467 LIMBO: A LINEAR ALGORITHM TO CLUSTER CATEGORICAL DATA
Periklis Andritsos, Panayiotis Tsaparas, Renee J. Miller,
Kenneth C. Sevcik
February 2003
Availability: anonymous FTP only

CSRG-468 ADAPTING MAPPINGS IN FREQUENTLY CHANGING ENVIRONMENTS
Yannis Velegrakis, Renee J. Miller and Lucian Popa
February 2003
Availability: anonymous FTP only

CSRG-469 A RULE MECHANISM FOR P2P FOR DATA MANAGEMENT
Vasiliki Kantere
February 2003
Availability: anonymous FTP only

CSRG-473 RYAN: RENDERING YOUR ANIMATION NONLINEARLY PROJECTED
Patrick Coleman and Karan Singh
July 2003
Availability: anonymous FTP only

CSRG-474 THE ToXgene TEMPLATE SPECIFICATION LANGUAGE
Denilson Barbosa
July 2003
Availability: anonymous FTP only

CSRG-476 DATA REDUCTION IN DATA WAREHOUSES
Themistoklis Palpanas
August 2003
Availability: anonymous FTP only

CSRG-477 NON-LINEARLY EMBEDDED VISUAL TRACKING
Cristian Sminchisescu and Allan Jepson
September 2003
Availability: anonymous FTP only

CSRG-478 A MODE HOPPING MCMC SAMPLER
Cristian Sminchisescu, Max Welling and Geoffrey Hinton
September 2003
Availability: anonymous FTP only

CSRG-479 MULTIPLE HYPOTHESIS SMOOTHING FOR NON-LINEAR MODELS
Cristian Sminchisescu and Allan Jepson
November 2003
Availability: anonymous FTP only

CSRG-480 HIERARCHICAL SKELETON ABSTRACTION
Alexandru Telea, Cristian Sminchisescu, Sven Dickinson
January 2004
Availability: anonymous FTP only

CSRG-481 OBJECT RECOGNITION USING FLEXIBLE GROUPS OF LOCAL FEATURES
Gustavo Carneiro and Allan D. Jepson
January 2004
Availability: anonymous FTP only

CSRG-482 CONTROLLING THE SEARCH FOR CONVEX GROUPS
Francisco J. Estrada and Allan D. Jepson
January 2004
Availability: anonymous FTP only

CSRG-484 GENERATIVE MODELING FOR CONTINUOUS NON-LINEARLY EMBEDDED VISUAL INFERENCE
Cristian Sminchisescu and Allan Jepson
February 2004
Availability: anonymous FTP only

CSRG-485 LANDMARK SELECTION FOR VISION-BASED NAVIGATION
Pablo L. Sala, Computer Science, University of Toronto,
Robert Sim, Computer Science, University of British Columbia,
Ali Shokoufandeh, Computer Science, Drexel University,
Sven Dickinson, Computer Science, University of Toronto
March 2004
Availability: anonymous FTP only

CSRG-486 CORDS: INTERACTIVE MODELING OF 3D CURVES WITH PHYSICS-LIKE PROPERTIES
Patrick Coleman and Karan Singh
April 2004
Availability: anonymous FTP only

CSRG-487 A FORMAL ANALYSIS OF THE ALTERNATING BIT PROTOCOL USING STUTTERING REFINEMENT
Shiva Nejati
April 2004
Availability: anonymous FTP only

CSRG-492 THE NEED FOR CROSS-LAYER SERVICE DISCOVERY IN MANETs
Alex Varshavsky, Bradley Reid and Eyal de Lara
June 2004
Availability: anonymous FTP only

CSRG-493 MONITORING $K$-NEAREST NEIGHBOR QUERIES OVER MOVING OBJECTS
Xiaohui Yu, Ken Q. Pu and Nick Koudas
June 2004
Availability: anonymous FTP only

CSRG-495 EXPERIMENTAL EVALUATION OF AUTONOMIC INDEXING
D. Barbosa, M. Consens and L. Mignet
July 2004
Availability: anonymous FTP only

CSRG-496 AN ALGEBRAIC FRAMEWORK FOR MERGING INCOMPLETE AND INCONSISTENT VIEWS
Mehrdad Sabetzadeh and Steve Easterbrook
September 2004
Availability: anonymous FTP only

CSRG-501 DENSITY PROPAGATION FOR CONTINUOUS TEMPORAL CHAINS. GENERATIVE AND DISCRIMINATIVE MODELS.
Cristian Sminchisescu and Allan Jepson
October 2004
Availability: anonymous FTP only

CSRG-502 3D HUMAN MOTION RECONSTRUCTION USING BAYESIAN MIXTURE OF EXPERTS. A PROBABILISTIC DISCRIMINATIVE APPROACH
Cristian Sminchisescu, Atul Kanaujia, Zhiguo Li, Dimitris Metaxas
October 2004
Availability: anonymous FTP only

CSRG-503 SCALABLE CLUSTERING OF CATEGORICAL DATA AND APPLICATIONS
Periklis Andritsos
November 2004
Availability: anonymous FTP only

CSRG-504 REDUCING BUILD TIME THROUGH PRECOMPILATIONS FOR LARGE-SCALE SOFTWARE
Yijun Yu, Homayoun-Daytani Fard, John Mylopoulos and Periklis Andritos
November 2004
Availability: anonymous FTP only

CSRG-505 WEBCAT INFORMATION INTEGRATION FOR WEB CATALOGS
Attila Barta
December 2004
Availability: anonymous FTP only

CSRG-506 MANAGING KNOWLEDGE FOR STRATEGIC BUSINESS ANALYSTS: THE EXECUTIVE INFORMATION PORTAL
John Mylopoulos, Attila Barta, Raoul Jarvis, Patricia Rodriquez-Gianolli and Shun Zhou
December 2004
Availability: anonymous FTP only

CSRG-507 AN EFFICIENT AND EFFECTIVE FRAMEWORK FOR ASSOCIATION RULE MINING IN XML DATA,
Ji Zhang
January 2005
Availability: anonymous FTP only

CSRG-508 DETECTING HIGH-DIMENSIONAL OUTLIERS: THE NEW TASK, ALGORITHMS AND PERFORMANCE
Ji Zhang
January 2005
Availability: anonymous FTP only

CSRG-509 FROM STAKEHOLDER GOALS TO HIGH-VARIABILITY SOFTWARE DESIGN
Yijun Yu, John Mylopoulos, Alexei Lapouchnian, Sotirios Liaskos, Julio Cesar Sampaio do Prado Leite
February 2005
Availability: anonymous FTP only

CSRG-510 REFACTORING SOURCE CODE INTO GOAL MODELS
Yijun Yu, Yiqiao Wang, John Mylopoulos, Sotirios Liaskos, Alexei Lapouchnian, Julio Cesar Sampaio do Prado Leite
February 2005
Availability: anonymous FTP only

CSRG-511 FINDING SEMANTIC MAPPINGS FROM RELATIONAL TABLES TO CONCEPTUAL MODELS/ONTOLOGIES
Yuan An, Alex Borgida and John Mylopoulos
February 2005
Availability: anonymous FTP only

CSRG-512 CONFIGURING COMMON PERSONAL SOFTWARE: A REQUIREMENTS-DRIVEN APPROACH
Sotirios Liaskos, Alexei Lapouchnian, Yiqiao Wang, Yijun Yu, Steve Easterbrook
February 2005
Availability: anonymous FTP only

CSRG-513 A PROBABILISTIC APPROACH TO QUERYING DIRTY DATABASES
Periklis Andritsos, Ariel Fuxman and Renee J. Miller
February 2005
Availability: anonymous FTP Only

CSRG-514 AN ALGORITHM FOR PREDICATE-BASED FILTERING OF XPATH EXPRESSIONS
Shuang Hou and H.-A. Jacobsen
March 2005
Availability: anonymous FTP only

CSRG-515 EFFICIENT MEMORY RECLAMATION IS NECESSARY FOR FAST LOCK-FREE DATA STRUCTURES
Thomas E. Hart, Paul E. Mckenney, Angela Demke Brown
March 2005
Availability: anonymous FTP only

CSRG-516 MANAGING THE COEVOLUTION OF ORGANIZATIONS AND INFORMATIONS SYSTEMS
Ning Su and John Mylopoulos
March 2005
Availability: anonymous FTP only

CSRG-517 CONDITIONAL MODELS FOR HUMAN MOTION RECOGNITION
Cristian Sminchisescu, Atul Kanaujia, Zhiguo Li, and Dimitris Metaxas
March 2005
Availability: anonymous FTP only

CSRG-518 NON-LINEAR DIMENSIONALITY REDUCTION METHODS FOR CONDITIONAL 3D HUMAN MOTION RECONSTRUCTION
Cristian Sminchisescu, Atul Kanaujia, Zhiguo Li and Dimitris Metaxas
March 2005
Availability: anonymous FTP only

CSRG-519 LEARNING DECOMPOSITIONAL SHAPE MODELS FROM EXAMPLES
Alex Levinshtein, Cristian Sminchisescu and Sven Dickinson
April 2005
Availability: anonymous FTP only

CSRG-520 FAST AND TRANSPARENT DATABASE RECONFIGURATION THROUGH IN-MEMORY MULTIVERSION REPLICATION
Kaloian Manassiev and Cristiana Amza
April 2005
Availability: anonymous FTP only

CSRG-521 AUTONOMIC PROVISIONING OF BACKEND DATABASES IN DYNAMIC CONTENT WEB SERVERS.
Gokul Soundararajan and Cristiana Amza
April 2005
Availability: anonymous FTP only

CSRG-522 COMPILING QUALITATIVE PREFERENCES INTO DECISION-THEORETIC GOLOG PROGRAMS: EXTENDED VERSION
Christian Fritz and Sheila McIlraith
May 2005
Availability: anonymous FTP only

CSRG-523 PLANNING WITH PROGRAMS THAT SENSE
Jorge A. Baier and Sheila McIlraith
May 2005
Availability: anonymous FTP only

CSRG-526 STUTTERING ABSTRACTION FOR MODEL CHECKING
Shiva Nejati, Arie Gurfinkel, Marsha Chechik
June 2005
Availability: anonymous FTP only

CSRG-527 AUTHORIZATION-BASED ACCESS CONTROL FOR XML
Yaron Kanza, Alberto O. Mendelzon, Renee J. Miller and Zheng Zhang
June 2005
Availability: anonymous FTP only

CSRG-529 COMPLEXITY AND ALGORITHM OF UNIFICATION OF ATTRIBUTE-BASED TYPE-EXPRESSIONS
Ken Pu
July 2005
Availability: anonymous FTP only

CSRG-530 LET'S AGREE TO DISAGREE
Shiva Nejati and Marsha Chechik
September 2005
Availability: anonymous FTP only

CSRG-531 SPIDER: A ROBUST CURVATURE ESTIMATOR FOR NOISY, IRREGULAR MESHES
Patricio Simari, Karan Singh and Hans Pedersen
September 2005
Availability: anonymous FTP only

CSRG-536 FOLDING MESHES: HIERARCHICAL MESH SEGMENTATION BASED ON PLANAR SYMMETRY
Patricio Simari, Evangelos Kalogerakis and Karan Singh
April 2006
Availability: anonymous FTP only

CSRG-537 PLANNING WITH PROPOSITIONAL TEMPORALLY EXTENDED GOALS USING HEURISTIC SEARCH
J. A. Baier and S. A. McIlraith
April 2006
Availability: anonymous FTP only

CSRG-538 IDENTIFYING AND REPRESENTING REQUIREMENTS VARIABILITY IN FAMILIES OF REACTIVE SOFTWARE
Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik and Steve Easterbrook
April 2006
Availability: anonymous FTP only

CSRG-539 EXPLOITING RESOLUTION PROOFS FOR LTL VACUITY DETECTION
Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel and Marsha Chechik
May 2006
Availability: anonymous FTP only

CSRG-541 A SURVEY OF THE APPLICATIONS OF SCHEMA MAPPING AND THE CERTAIN ANSWERS SEMANTICS
Ariel Fuxman
September 2006
Availability: anonymous FTP only

CSRG-542 REPRESENTING AND REASONING WITH PREFERENCE REQUIREMENTS USING GOALS
Sotirios Liaskos, Sheila McIlraith and John Mylopoulos
September 2006
Availability: anonymous FTP only

CSRG-545 iTrustPage: PRETTY GOOD PHISHING PROTECTION
Troy Ronda, Stefan Saroiu, Dept. of Comp. Science,
University of Toronto and Alec Wolman, Microsoft Research
December 2006
Availability: anonymous FTP only

CSRG-546 STATE CHARTS MERGING: MATHEMATICAL UNDERPINNINGS
Shiva Nejati
January 2007
Availability: anonymous FTP only

CSRG-547 EXPLOITING RESOLUTION PROOFS TO SPEED UP LTL VACUITY DETECTION FOR BMC
Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel and Marsha Chechik
January 2007
Availability: anonymous FTP only

CSRG-550 VMM-Independent Graphics Acceleration
H. Andres Lagar-Cavilla, Niraj Tolia*, M. Satyanarayanan*, Eyal de Lara
* Carnegie Mellon University
February 2007
Availability: anonymous FTP only

CSRG-555 MONITORING AND DIAGNOSING REQUIREMENTS
Yiqiao Wang, Sheila McIlraith, Yijun Yu and John Mylopoulos
April 2007
Availability: anonymous FTP only

CSRG-557 ROBUST STATISTICAL ESTIMATION OF CURVATURE IN DISCRETIZED SURFACES
Evangelos Kalogerakis, Patricio Simari, Derek Nowrouzezahrai and Karan Singh
April 2007
Availability: anonymous FTP only

CSRG-558 SPATIAL POSE TREES: CREATING AND EDITING MOTIONS USING A HIERARCHY OF LOW-DIMENSIONAL CONTROL SPACES
Igor Mordatch, Patrick Coleman, Karan Singh and Ravin Balakrishnan
April 2007
Availability: anonymous FTP only

CSRG-559 ON THE ROBUSTNESS OF SIMPLE INDOOR MANET SIMULATION MODELS
H. Andres Lagar-Cavilla, Gerard Baron, Thomas E. Hart, Lionel Litty and Eyal de Lara
May 2007
Availability: anonymous FTP only

CSRG-560 LEARNING RADIANCE TRANSFER FOR ARTICULATED CHARACTERS
Derek Nowrouzezahrai, Patricio Simari, Evangelos Kalogerakis, Karan Singh, Eugene Fiume
May 2007
Availability: anonymous FTP only

CSRG-561 NESTED MAPPINGS: SCHEMA MAPPING RELOADED
A. Fuxman, M.A. Hernandez, H. Ho, R.J. Miller, P. Papotti and L. Popa
May 2007
Availability: anonymous FTP only

CSRG-565 EXPLOITING PROCEDURAL DOMAIN CONTROL KNOWLEDGE IN STATE-OF-THE-ART PLANNERS (EXTENDED VERSION)
Jorge Baier, Christian Fritz and Sheila McIlraith
June 2007
Availability: anonymous FTP only

CSRG-566 MAPPINGS, MAPS, ATLASES AND TABLES: A FORMAL SEMANTICS FOR ASSOCIATIONS IN UML 2
Zinovy Diskin (DCS, U of T) and Juergen Diengel (School of Computing, Queen's University, Kingston, ON)
September 2007
Availability: anonymous FTP only

CSRG-568 PROBABILISTIC MANAGEMENT OF DUPLICATED DATA
Oktie Hassanzadeh & Renee J. Miller
October 2007
Availability: anonymous FTP only

CSRG-569 CONSTRUCTION OF CURVATURE-ALIGNED MESHES FROM POINT CLOUDS
Evangelos Kalogerakis, Derek Nowrouzezahrai, Patricio Simari and Karan Singh
Availability: anonymous FTP only
November 2007

CSRG-570 delta-FAULT-TOLERANT PUBLISH/SUBSCRIBE SYSTEMS
Reza Sherafat Kazemzade and Hans-Arno Jacobsen
Availability: anonymous FTP only
November 2007

CSRG-571 REAL-TIME LINE DRAWING FOR ANIMATED SURFACES
Evangelos Kalogerakis, Derek Nowrouzezahrai, Patricio Simari, James Mcrae, Aaron Hertzmann, Karan Singh
Availability: anonymous FTP only
April 2008

CSRG-572 DESIGNING PRIVATE DATA-PUBLISHING SETTINGS
Chul Lee Hyun, Yaron Kanza, R.J. Miller and Zheng Zhang
Availability: anonymous FTP only
May 2008

CSRG-573 MODEL TRANSFORMATION AS VIEW COMPUTATION: AN ALGEBRAIC APPROACH
Zinovy Diskin
Availability: anonymous FTP only
May 2008

CSRG-575 MULTI-OBJECTIVE SHAPE SEGMENTATION
Patricio Simari and Karan Singh
Availability: anonymous FTP only
May 2008

CSRG-576 CONGOLOG, SIN TRANS: COMPILING CONGOLOG INTO BASIC ACTION THEORIES FOR PLANNING AND BEYOND (EXTENDED VERSION)
Christian Fritz, Jorge A. Baier, and Sheila A. McIlraith
Availability: anonymous FTP only
June 2008

CSRG-577 APPLYING PROBABILISTIC INFERENCE TO HEURISTIC SEARCH BY ESTIMATING VARIABLE BIAS
Eric I. Hsu, Christian J. Muise, J. Christopher Beck and Sheila A. McIlraith
Availability: anonymous FTP only
June 2008

CSRG-578 IMPROMPTU CLUSTERS FOR NEAR-INTERACTIVE CLOUD-BASED SERVICES
H. Andres Lagar-Cavilla, Joseph Whitney, Adin Scannell, Stephen Rumble, Michael Brudno, Eyal de Lara and M. Satyanarayanan
Availability: anonymous FTP only
June 2008

CSRG-579 USING EM TO DERIVE A CONVERGENT ALTERNATIVE TO LOOPY BELIEF PROPAGATION
Eric I. Hsu and Sheila a. McIlraith
Availability: anonymous FTP only
June 2008

CSRG-580 DERIVING THE EM-BASED UPDATE RULES IN VARSAT
Eric I. Hsu
Availability: anonymous FTP only
June 2008

CSRG-581 AUGMENTING COUNTEREXAMPLE-GUIDED ABSTRACTION REFINEMENT WITH PROOF TEMPLATES
Thomas E.Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik and David Lie
Availability: anonymous FTP only
June 2008

CSRG-582 ALGEBRA OF BIDIRECTIONAL MODEL SYNCHRONIZATION
Zinovy Diskin
Availability: anonymous FTP only
July 2008

CSRG-583 INTEGRATING SCHEMA INTEGRATION FRAMEWORKS
Zinovy Diskin, Steve Easterbrook and Renee Miller
Availability: anonymous FTP only
July 2008

CSRG-586 PARSING MONOCULAR VIDEO SEQUENCES: A SURVEY
Diego Macrini
Availability: anonymous FTP only
August 2008

CSRG-587 EXPANSION FOOLS THE SHERALI-ADAMS SYSTEM: COMPROMISING LOCAL AND GLOBAL ARGUMENTS
Konstantinos Georgiou and Avner Magen
Availability: anonymous FTP only
November 2008

CSRG-588 SOLVING RADIANCE TRANSPORT AS A DIFFERENTIAL EQUATION
Derek Nowrouzezahrai and Chris Gonterman
Availability: anonymous FTP only
December 2008

CSRG-589 AUTOMATED PROTEIN STRUCTURE CLASSIFICATION: A SURVEY
Oktie Hassanzadeh
Availability: anonymous FTP only
December 2008

CSRG-590 HIGHLY AVAILABLE DISTRIBUTED PUBLISH/SUBSCRIBE SYSTEMS
Reza Sherafat Kazemzadeh and Hans-Arno Jacobsen
Availability: anonymous FTP only
December 2008

CSRG-592 SEMANTIC SIMILARITY AND RELATEDNESS FOR KNOWLEDGE-DRIVEN DISCOVERY IN BIOMEDICAL DATA
Daniela Rosu
Availability: anonymous FTP only
January 2009

CSRG-593 TECHNE: A(NOTHER) REQUIREMENTS MODELING LANGUAGE
Ivan J. Jureta, Alex Borgida, John Mylopoulos, Neil A. Ernst, Alexei Lapouchnian, Sotirios Liaskos
Availability: anonymous FTP only
February 2009

CSRG-596 LinkedCT: A LINKED DATA SPACE FOR CLINICAL TRIALS
Oktie Hassanzadeh, Anastasios Kementsietsidis, Lipyeow Lim, Renee J. Miller and Min Wang
Availability: anonymous FTP only
August 2009

CSRG-599 ON VIEW MAINTENANCE IN WEB DATA PLATFORMS
Hans-Arno Jacobsen, Patrick Lee and Ramana Yerneni
Availability: anonymous FTP only
September 2009

CSRG-603 COPERNICUS: FACE-TO-FACE WEB-BASED SHARING AND COLLABORATION
Jing Su, David Dearman, Dritan Xhabija, Khai Truong, Ashvin Goel and Eyal de Lara
Availability: anonymous FTP only
November 2009

CSRG-604 DRAG-AND-DROP SURFACE COMPOSITION
Ryan Schmidt and Karan Singh
December 2009
Availability: anonymous FTP only

CSRG-605 CONFORMAL PARAMETERIZATION OF POINT-SAMPLED SURFACES
Ryan Schmidt and Karan Singh
December 2009
Availability: anonymous FTP only

CSRG-606 TECHNE
Ivan Jureta, Alex Borgida, Neil Ernst, John Mylopoulos
February 2010
Availability: anonymous FTP only

CSRG-607 BUSINESS INTELLIGENCE MODEL
Daniele Barone, John Mylopoulos, Lei Jiang, and Daniel Amyot
April 2010
Availability: anonymous FTP only

CSRG-608 INDEXING BOOLEAN EXPRESSIONS OVER HIGH-DIMENSIONAL SPACE
Mohammad Sadoghi, Arno-Hans Jacobsen
June 2010
Availability: anonymous FTP only

CSRG-609 A FRAMEWORK FOR COMPUTING THE OVERLAP AND DIFFERENCE OF RELATIONAL SCHEMAS
Mohammad Sadoghi
June 2010
Availability: anonymous FTP only

CSRG-610 REQUIREMENTS TRADE-OFFS ANALYSIS: A HEURISTIC METHOD BASED ON PAIRWISE COMPARISON OF ALTERNATIVES AND AUTOMATED EVEN SWAPS
Golnaz Elahi, Eric Yu
November 2010
Availability: anonymous FTP only

CSRG-612 APPLYING THE I* FRAMEWORK, SCENARIOS, AND PRIORITIZATION METHODS TO A REQUIREMENTS ANALYSIS FOR KIDS HELP PHONE
Jennifer Horkoff
September 2011
Availability: anonymous FTP only

CSRG-613 USING I* MODELING FOR THE ANALYSIS OF STRATEGY DOCUMENTS
Jennifer Horkoff
September 2011
Availability: anonymous FTP only

CSRG-614 MODELING AND ANALYZING TECHNOLOGY STRATEGIES
Jennifer Horkoff, Eric Yu
September 2011
Availability: anonymous FTP only

CSRG-615 TEMPERATURE MANAGEMENT IN DATA CENTERS: WHY SOME (MIGHT) LIKE IT HOT
Nosayba El-Sayed, Ioan Stefanovici, George Amvrosiadis, Andy A. Hwang, Bianca Schroeder
April 2012
Availability: anonymous FTP only

CSRG-616 AUTOMATED DERIVATION OF A MOLECULAR BINDING FUNCTION
Izhar Wallach, Navdeep Jaitly, Abraham Heifets
February 2013
Availability: anonymous FTP only

CSRG-617 FLOW COMPLEX BASED SHAPE RECONSTRUCTION FROM 3D CURVES
Bardia Sadri, Karan Singh
May 2013
Availability: anonymous FTP only

CSRG-618 NIHARIKA: A PARALLEL SPATIAL DATA ANALYSIS INFRASTRUCTURE FOR THE CLOUD
Suprio Ray, Bogdan Simion, Angela Demke Brown, Ryan Johnson
June 2013
Availability: anonymous FTP only

CSRG-619 SPARQL with Qualitative and Quantitative Preferences (Extended Report)
Marina Gueroussova, Axel Polleres, Sheila A. McIlraith
October 2013
Availability: anonymous FTP only

CSRG-620 EVALUATION OF CLUSTERING ALGORITHMS FOR DUPLICATE DETECTION
Bilal Hussain, Oktie Hassanzadeh, Fei Chiang, Hyun Chul Lee, Renee J. Miller
October 2013
Availability: anonymous FTP only

CSRG-621 TO CHECKPOINT OR NOT TO CHECKPOINT: UNDERSTANDING ENERGY-PERFORMANCE-I/O TRADEOFFS IN HPC CHECKPOINTING
Nosayba El-Sayed, Bianca Schroeder
April 2014
Availability: anonymous FTP only

CSRG-622 CHECKPOINT/RESTART IN PRACTICE: WHEN 'SIMPLE IS BETTER'
Nosayba El-Sayed, Bianca Schroeder
May 2014
Availability: anonymous FTP only

CSRG-623 ERMIA: Fast and robust memory-optimized OLTP
Authors: Kangnyeon Kim, Tianzheng Wang, Ryan Johnson, Ippokratis Pandis
March 2015
Availability: anonymous FTP only

CSRG-624 Combining Quantitative and Logical Data Cleaning
Nataliya Prokoshyna, Jaroslaw Szlichta, Fei Chiang, Renée
J. Miller, Divesh Srivastava
April 2015
Availability: anonymous FTP only

CSRG-625 Re-designing Process Architectures
Alexei Lapouchnian, Eric Yu, Arnon Sturm
April 2015
Availability: anonymous FTP only

CSRG-626 Software-Defined Caching: Managing Caches in Multi-tenant Data Centers
Ioan Stefanovici, Eno Thereska, Greg O'Shea, Bianca Schroeder, Hitesh Ballani, Thomas Karagiannis, Antony Rowstron, Tom Talpey
April 2015
Availability: anonymous FTP only

CSRG-627 Understanding Job Failures in Large-Scale Parallel Clusters: A Trace-Based Approach.
Nosayba El-Sayed, Bianca Schroeder
May 2015
Availability: anonymous FTP only

CSRG-628 Slingshot: A modular framework for designing data processing systems
Bogdan Simion, Daniel N. Ilha, Suprio Ray, Leslie Barron, Angela Demke Brown, Ryan Johnson
June 2015
Availability: anonymous FTP only

CSRG-629 A Timed Temporal Logic for Specifying Scheduling Problems (Extended Report)
Roy Luo, Richard Valenzano, Yi Li, J. Christopher Beck, Sheila A. McIlraith
November 2015
Availability: anonymous FTP only

CSRG-630 Appendix: From FOND to Robust Probabilistic Planning
Alberto Camacho, Christian Muise, Sheila A. McIlraith
March 2016
Availability: anonymous FTP only

CSRG-631 A Timed Temporal Logic for Specifying Scheduling Problems
Roy Luo, J. Christopher Beck, Sheila A. McIlraith
April 2016
Availability: anonymous FTP only

CSRG-632 Decision-Making with Non-Markovian Rewards: Guiding search via automata-based reward shaping
Alberto Camacho, Oscar Chen, Scott Sanner, Sheila A. McIlraith
May 2017
Availability: anonymous FTP only

CSRG-633 Improving Storage System Reliability with Proactive Error Prediction
Authors: Farzaneh Mahdisoltani, Ioan Stefanovici, Bianca Schroeder
May 2017
Availability: anonymous FTP only

CSRG-634 BionicDB: A Custom Hardware Approach Towards Fast and Power-Efficient Transaction Processing
Authors: Kangnyeon Kim, Ryan Johnson, Ippokratis Pandis
June 2017
Availability: anonymous FTP only

CSRG-635 The Evolution of the Hadoop Distributed File System
Authors: Stathis Maneas, Bianca Schroeder
February 2018
Availability: anonymous FTP only

CSRG-636 An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem (Extended Version)
Authors: Maayan Shvo, Shirin Sohrabi, Sheila A. McIlraith
February 2018
Availability: anonymous FTP only

CSRG-637 Interpretable Sequence Classification via Discrete Optimization (Technical Appendix)
Authors: Maayan Shvo, Andrew C. Li, Rodrigo Toro Icarte, Sheila A. McIlraith
December 2020
Availability: anonymous FTP only

CSRG-638 Type-WA*: Exploration in Bounded Suboptimal Planning (IJCAI-2021 Supplementary Material)
Authors: Eldan Cohen, Richard Valenzano, Sheila A. McIlraith
May 2021
Availability: anonymous FTP only

CSRG-639 Embedded Ethics: Pandemic Contact Tracing and Ethical Trade-offs
Authors: Maryam Majedi, Emma McClure, Benjamin Wald, Diane Horton, Sheila A. McIlraith
Dec 2021
Availability: anonymous FTP only

CSRG-640 Embedded Ethics: Pandemic Exposure Notification Systems and Giving Ethical Justifications
Authors: Maryam Majedi, Emma McClure, Benjamin Wald, Diane Horton, Sheila A. McIlraith
Dec 2021
Availability: anonymous FTP only

CSRG-641 Planning to Avoid Side Effects (Technical Appendix)
Authors: Toryn Q. Klassen, Sheila A. McIlraith, Christian Muise, Jarvis Xu
Dec 2021
Availability: anonymous FTP and HTTPS only

CSRG-642 Resolving Misconceptions about the Plans of Agents via Theory of Mind
Authors: Maayan Shvo, Toryn Q. Klassen, Sheila A. McIlraith
Feb 2022
Availability: anonymous FTP and HTTPS only

CSRG-643 Proactive Robotic Assistance via Theory of Mind (Technical Appendix)
Authors: Maayan Shvo, Ruthrash Hari, Ziggy O’Reilly, Sophia Abolore, Sze-Yuh Nina Wang, Sheila A. McIlraith
July 2022
Availability: anonymous FTP and HTTPS only