Indiana University Bloomington

School of Informatics and Computing


Computer Science Program







 Home

 Contacts

 Courses

 Academics

 Careers

 Research

 People

 Calendar

 Facilities

Technical Report Index


Search fields: author title abstract (if available)

Below is a listing of technical reports from the Indiana University Computer Science Program, many of which are available electronically. If we have an exchange agreement with your institution, our hard copy technical reports (except dissertations) are available free of charge (limit of five per month). If we do not have an exchange agreement with your institution, please contact the Technical Report Librarian (email: techreports) for the price of a particular Technical Report or for information about establishing an exchange agreement.

If you have any questions or requests please contact:

CS Technical Report Librarian
Indiana University, Lindley Hall, Room 215
Bloomington, Indiana 47405-4101
UNITED STATES
email: techreports

There is also information (from IU only) available about how to submit a technical report and how to maintain the database


TR713
Evaluation of Data Storage in HathiTrust Research Center Using Cassandra , Guangchen Ruan and Beth Plale (Jul 2014), 11
TR712
A Language for Nested Data Parallel Design-space Exploration on GPUs , Bo Joel Svensson, Mary Sheeran, Ryan R. Newton (Apr 2014), 16 pages
TR711
Use of Hybrid Systems to model the RobotiQ Adaptive Gripper , Giulia Franchi and Kris Hauser (Feb 2014), 17
TR710
Freeze After Writing: Quasi-Deterministic Parallel Programming with LVars , Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton (Dec 2013), 56 pages
TR709
A New Module in RAPSearch2 for Fast Protein Similarity Search of Paired-end Sequences , Xiaoqian Zhang, Haixu Tang (Dec 2013), 16 pages [Master's capstone report]
TR708
Advanced Keyword Search on Graph , Yifan Pan; Yuqing Wu (Aug 2013), 9 [A shorter version of this report will be published in CIKM 2013]
TR707
Perceptions of Computing Risks , Vaibhav Garg; L Jean Camp (Jul 2013), 24
TR706
Just-in-time Acceleration of JavaScript , Uday Pitambare, Arun Chauhan, Saurabh Malviya (Feb 2013), 14 pages
TR705
A Framework for Optimizing Function Call Sequences in MATLAB or Inter-procedural Optimization without Inter-procedural Analysis , Arun Chauhan, Chun-Yu Shei (Feb 2013), 10 pages
TR704
RubyWrite: An Embedded DSL for Tree Rewriting , Arun Chauhan, Andrew Keep, Chun-Yu Shei, Pushkar Ratnalikar (Jan 2013),
TR703
A Uniform Terminology for C++ Concepts , Larisse Voufo, Andrew Lumsdaine (Jan 2013), 11 pages [This paper is intended to help ongoing discussions about design and implementation of concepts for C++.]
TR702
A Lattice-Theoretical Approach to Deterministic Parallelism with Shared State , Lindsey Kuper, Ryan Newton (Oct 2012), Pages 60
TR701
Temporal Data Mining of Scientific Data Provenance , Peng Chen, Beth Plale, Mehmet Aktas (Jul 2012), 24 pages
TR700
The eXtensible Session Protocol: A Protocol for Future Internet Architectures , Ezra Kissel (Delaware), Martin Swany (Indiana) (Feb 2012), 14 pages
TR699
Strengths and Weaknesses of Sub-Workflow Interoperability , Beth Plale, Eran Chinthaka Withana, Chathura Herath, Kavitha Chandrasekar, Yuan Luo, Felix Terkhorn (Nov 2011), 8 pages [This work is expected to be published.]
TR698
Evaluation of Two XML Storage Approaches for Scientific Metadata , Scott Jensen, Devarshi Ghoshal, Beth Plale (Oct 2011), 13 pages
TR697
Thwarting Wi-Fi Side-Channel Analysis through Traffic Demultiplexing , Fan Zhang, Wenbo He, Yangyi Chen, Zhou Li, XiaoFeng Wang, Shuo Chen, Xue Liu (Aug 2011), 21 pages
TR696
To Release Or Not To Release: Evaluating Information Leaks in Aggregate Human-Genome Data , Xiaoyong Zhou, Bo Peng, Yong Fuga Li, Yangyi Chen, Haixu Tang, XiaoFeng Wang (Jun 2011), 27
TR695
BLACR: TTP-Free Blacklistable Anonymous Credentials with Reputation , Man Ho Au, Patrick P. Tsang, Apu Kapadia, and Willy Susilo (May 2011), pages 34
TR694
A Study of RDB-based RDF Data Management Techniques , Vahid Jalali, Mo Zhou, Yuqing Wu (May 2011), pages 12
TR693
Sigiri: Uniform Abstraction for Large-Scale Compute Resource Interactions , Eran Chinthaka Withana and Beth Plale (Mar 2011), 9 pages
TR692
Efficient Association Discovery with Keyword-based Constraints on Large Graph Data , Mo Zhou, Yifan Pan, Yuqing Wu (Mar 2011), 11 pages [submitted to VLDB 2011]
TR691
Improving Automatic Weather Observations with the Public Twitter Stream , Jeff Cox, Beth Plale (Feb 2011), 25 pages
TR690
How to Shop for Free Online: Security Analysis of Cashier-as-a-Service Based Web Stores , Xiafeng Wang, Rui Wang, Shuo Chen (Feb 2011), N/A
TR689
Schema-Independent and Schema-Friendly Scientific Metadata Management , Scott Jensen and Beth Plale (Jan 2011), 8 pages [A (shorter) extended abstract of this paper was published in the proceeding of the Fourth IEEE International Conference on eScience.]
TR688
PEREA: Practical TTP-Free Revocation of Repeatedly Misbehaving Anonymous Users , Man Ho Au, Patrick P. Tsang, Apu Kapadia (Jul 2011), [Updated July 2011]
TR688
PEREA: Practical TTP-Free Revocation of Repeatedly Misbehaving Anonymous Users , Man Ho Au, Patrick P. Tsang, Apu Kapadia (Jul 2011), [Updated July 2011]
TR687
Pythia: A Privacy Aware, Peer-to-Peer Network for Social Search , Shirin Nilizadeh, Naveed Alam, Nathaniel Husted, Apu Kapadia (Oct 2010),
TR686
A Composable Runtime Recovery Policy Framework Supporting Resilient HPC Applications , Joshua Hursey & Andrew Lumsdaine (Aug 2010), 12 pages
TR685
Ordering Depth First Search to Improve AFD Mining , Jeremy T. Engle, Edward L. Robertson, and Dimitar G. Nikolov (Jun 2010), Pages: 12 [This is an expanded version of a paper under review Abstract]
TR684
Certified Lies: Detecting and Defeating Government Interception Attacks Against SSL , Christopher Soghoian and Sid Stamm (Apr 2010), 20 Pages [Under submission (not accepted yet)]
TR683
XML-Based RDF Data Management for Efficient Query Processing , Mo Zhou, Yuqing Wu (Apr 2010), 6 Pages [It is expected to be published in WebDB 2010]
TR682
Inducing Relatedness Graphs for Data Integration , Jeremy Engle, Ying Feng, Rob Goldstone (Jan 2010), 6 Pages [This paper is being submitted to WebDB 2010]
TR681
"Sigiri: Towards A Light-Weight Job Management System for Large Scale Systems" , Eran Chinthaka, Suresh Marru, and Beth Plale (Aug 2009), 5 Pages
TR680
Learning Your Identity and Disease from Research Papers: Information Leaks in Genome Wide Association Study , Rui Wang - Indiana University Bloomington Yong Li - Indiana University Bloomington XiaoFeng Wang - Indiana University Bloomington Haixu Tang - Indiana University Bloomington Xiaoyong Zhou - Indiana University Bloomington (Aug 2009), 12 Pages
TR679
Privacy-Preserving Genomic Computation Through Program Specialization , Rui Wang -IUB, XiaoFeng Wang - IUB, Zhou Li - IUB, Haixu Tang - IUB, Michael Reiter - University of North Carolina at Chapel Hill, Zheng Dong - IUB (Aug 2009), 12 Pages
TR678
Modularizing Data Mining: A Case Study Framework , Jeremy T. Engle, Edward L. Robertson (Jul 2009), Pages 7 [To be submitted]
TR677
Building a Concept Hierarchy Using Frequent Tag Sequences , Jon Klinginsmith (IUB), Malika Mahoui (IUPUI), Josette Jones (IUPUI), Melanie Wu (IUB) (Jun 2009), 7 [This paper has been submitted to the CIKM 2009 conference. We will not hear on acceptance until late July.]
TR676
Socially Induced Semantic Networks and Applications , Benjamin Markines (Jun 2009), 177 pages [This is a PhD thesis]
TR675
ORCS: An Oblivious Routing Congestion Simulator , Timo Schneider, Torsten Hoefler, and Andrew Lumsdaine (Feb 2009), 12 pages
TR674
Fixing Probe for Multi-Threaded MPI Applications , Douglas Gregor, Torsten Hoefler, Brian Barrett, and Andrew Lumsdaine (Jan 2009), 8 pages
TR673
Workload-aware Trie Indexes for XML , Sofia Brenes, Yuqing Melanie Wu, Hyungdae Yi (Jan 2009), 13 pages [Submitted to conference for review]
TR672
Towards Quantifying Limits in Automated Curation of e-Science Data , Beth Plale, You-Wei Cheah, and Yiming Sun (Nov 2008), 3 pages
TR671
A Survey of Distributed Workflow Characteristics and Resource Requirements , Lavanya Ramakrishnan, Dennis Gannon (Sep 2008), 20 pages
TR670
Leapfrog: Enhancing Information Protection in Commodity Applications with Dataflow Control , XiaoFeng Wang, Zhuowei Li and Rui Wang (Aug 2008),
TR669
HTTP Fences: Immigration Control for Web Pages , Sid Stamm (Jul 2008), 11 pages
TR668
Full Resolution Lightfield Rendering , Andrew Lumsdaine, Todor Georgiev (Jul 2008),
TR667
Towards Automatic Reverse Engineering of Software Security Configuration , Rui Wang, XiaoFeng Wang, Kehuan Zhang, Zhuowei Li (Jul 2008), 12 pages
TR666
Representing LEAD Experiments in a FEDORA digital repository , You-Wei Cheah, Beth Plale (Jun 2008), 10 pages
TR665
Quantum Circuits: From a Network to a One-Way Model - A tutorial Version , Larisse D. Voufo, Gerardo Ortiz, and Amr Sabry (Jun 2008), 28 pages [This is a more review-based version of the paper at http://www.cs.indiana.edu/~lvoufo/ow_add_preproc.pdf, which has been submitted to the pre-proceedings of the DCM-QPL'08 workshop (http://www.comlab.ox.ac.uk/people/bob.coecke/DCM_QPL_08.html).]
TR664
Quantifying the Security of Preference-based Authentication , Markus Jakobsson, Liu Yang, Susanne Wetzel (Jun 2008), 10 pages
TR663
Review of the Hough Transform Method, With an Implementation of the Fast Hough Variant for Line Detection , Danko Antolovic (Apr 2008), 11 pages [This report pertains to Auto-Digitizer, an open-source software package for machine vision and image processing, available to Indiana University.]
TR662
ParaXML: A Parallel XML Processing Model on the Multicore CPUs , Wei Lu and Dennis Gannon (Apr 2008), 13 pages
TR661
Diffusion and Adoption of IPv6 in the United States , Hillary A. Elmore, L. Jean Camp, Brandon P. Stephens (Mar 2008), 11 pages [This paper was presented as a working paper at the Cisco workshop on IP Address Allocation, Milpitas, CA March 3-4, 2008. It has been submitted to the Workshop on the Economics of Information Security 2008.]
TR660
A Study of Positive XPath with Parent/Child Navigation , Yuqing Wu, Dirk Van Gucht, Marc Gyssens, Jan Paredaens (Mar 2008), 8 pages
TR659
A Scalable and Robust Coordination Architecture for Distributed Management , Srinath Perera, Dennis Gannon (Feb 1973), 10 pages [Under revision for Publication]
TR658
Probabilistic analysis of success and failure rates of candidate generation algorithms for the frequent itemsets mining problem. , Minh Tang (Feb 1973), 16 pages [This is an independent study report. I'm currently still looking for some conferences/journal for publication.]
TR657
A Risk Based Approach To Limit The Effects of Covert Channels for Internet Sensor Data Aggregators For Sensor Privacy , Camilo H. Viecco and L. Jean Camp (Feb 1973), 9 pages [Is under revision to attempt publication.]
TR654
Benchmarking Effort of Virtual Machines on Multicore Machines , Aparna Venkatraman, Vinay Pandey, Beth Plale, Shing-Shong Shei (Dec 2007), 19 pages [Master's Research Project]
TR653
View-Constraint Duality in Databases and Systems Engineering , John Springer (Oct 2007), 164 pages [Ph.D Dissertation]
TR652
A Case Study in Using Design Principles for Secure Operating System Interfaces , Yiming Sun, Adity Mutsuddi, Baizil K. Jacob, Kay H. Connelly, and Minaxi Gupta (Oct 2007), 34 pages
TR651
Net Trust: A Privacy-Aware Architecture for Sharing Web Histories , Alex Tsow, Shreyas Kamath and L. Jean Camp (Aug 2007), 11 pages
TR650
Starfish: A Table-Centric Tool for Design Derivation , Alexander W. Tsow (Aug 2007), 272 pages [Ph.D Thesis]
TR649
Deceit and Deception: A Large User Study of Phishing , Alex Tsow and Markus Jakobsson (Aug 2007), 46 pages
TR648
Tuple-Space Mapper: Design, challenges and Goals , Joseph A. Cottam and Andrew Lumsdaine (Jul 2007), 10 pages
TR647
A Virtual Filesystem Framework to Support Embedded Software Development , Bhanu Nagendra Pisupati (Jun 2007), 182 [PhD Dissertation and supporting designs]
TR646
Building a Trusted Location Service for Pervasive Computing Environments , Raquel Hill, Jalal Al-Muhtadi (May 2007), 6 pages
TR645
Performance Evaluation of MySQL 5.0 and Berkeley DB XML as a Grid Resource Information Manager (GRIM) with a Benchmark/Workload , Xin Xiang, Beth Plale (Feb 2007), 19 pages
TR644
CCA-LISI: On Designing A CCA Parallel Sparse Linear Solver Interface , Fang (Cherry) Liu and Randall Bramley (Jan 2007), 13 pages [Is expected to be published at IPDPS'07 (IEEE International Parallel & Distributed Processing Symposium 2007)]
TR643
Phishing IQ Tests Measure Fear, Not Ability , Vivek Anandpara, Andrew Dingman, Markus Jakobsson, Debin Liu, Heather Roinestad (Jan 2007), 9 pages [The paper has been accepted as an abstract(5 page version) to USEC'07.]
TR641
Drive-By Pharming , Sid Stamm, Zulfikar Ramzan, and Markus Jakobsson (Dec 2006), 13 pages [A derivative of TR641 (which cites 641) was published at the 9th International Conference on Information and Computer Security.]
TR640
A Dense Wireless LAN Case Study , Camilo H. Viecco, Minaxi Gupta (Dec 2006), 10 pages
TR639
A Methodology for Coupling Fragments of XPath with Structural Indexes for XML Documents , George H. L. Fletcher, Dirk Van Gucht, Yuqing Wu, Marc Gyssens, and Jan Paredaens (Oct 2006), 19 pages
TR638
Fundamental Algebraic Concepts in Concept-Enabled C++ , Peter Gottschling (Oct 2006), 135 pages
TR637
Design, Implementation, and Usage of LibNBC , Torsten Hoefler and Andrew Lumsdaine (Sep 2006), 10 pages
TR636
Non-Blocking Collective Operations for MPI-2 , Torsten Hoefler, Jeffrey M. Squyres, George Bosilca, Graham Fagg, Andrew Lumsdaine, and Wolfgang Rehm (Sep 2006), 6 pages
TR635
A Checkpoint and Restart Service Specification for Open MPI , Joshua Hursey and Jeffrey M. Squyres and Andrew Lumsdaine (Jul 2006), 8
TR634
Extending Relational Query Optimization to Dynamic Schemas for Information Integration in Multidatabases , Catharine M. Wyss and Felix I. Wyss (Jul 2006), 12 pages
TR633
A Framework for Access Control for XML , Sriram Mohan(srmohan), Arijit Sengupta(asengupt) and Yuqing Wu(yuqwu) (Jul 2006), 40 [Expected to be published at: ACM Transactions on System and Information Security]
TR632
Constructing and Validating Entity-Relationship Data Models in the PVS Specification Language: A case study using a text-book example , Venkatesh Choppella, Arijit Sengupta, Edward L. Robertson and Steven D Johnson (Apr 2006), 52 pages
TR631
MPI over Scripting Languages: Usability and Performance Tradeoffs , Craig Shue, Joshua Hursey, and Arun Chauhan (Feb 2006), 13 pages
TR630
A "Virtual Light" Interface for the Extended Analog Computer , Williams et. al. (Jan 2006),
TR629
Cryptography using the VLSI Extended Analog Computer , Gonzalez et al. (Jan 2006),
TR628
Cyclotron Beam Control and Internet Traffic Load Balancing with an EAC , Chen et. al. (Jan 2006),
TR627
Evolving Letter Recognition with an Extended Analog Computer , Parker, M. (Jan 2006),
TR626
Using Butterfly Wing Patterns to Solve Hamiltonian Circuit , Wu & Kim (Jan 2006),
TR625
Notes on Implementing the McCulloch-Kilmer RETIC with EAC , Mills et. al. (Jan 2006),
TR624
Denial of Service Attack Detection Using Extended Analog Computers , Shue, Kopecky and Wileman (Jan 2006),
TR623
Complementarity and Unconventional Computing , Jonathan W. Mills and Bryce Himebaugh (Jan 2006),
TR622
Vanishing Point: a Visual Road-Detection Program for a DARPA Grand Challenge Vehicle , Danko Antolovic, Alex Leykin and Steven D. Johnson (Dec 2005), 6 pages [This work was performed in collaboration with the Indy Robot Racing Team in cooperation with Pervasive Technology Labs at Indiana University.]
TR621
Polynomial-Time Query Languages for Untyped Lists , Edward L. Robertson, Lawrence V. Saxton, and Dirk Van Gucht (Dec 2005), 16 pages
TR620
Tracking and Activity Analysis in Retail Environments , Alex Leykin and Mihran Tuceryan (Oct 2005), 21
TR619
Scheme 2005 Proceedings of the Sixth Workshop on Scheme and Functional Programming , J. Michael Ashley and Michael Sperber, editors (Sep 2005), 120 pages [Conference proceedings]
TR618
A Survey of Data Provenance Techniques , Yogesh L. Simmhan, Beth Plale, Dennis Gannon (Aug 2005), 25 [Shorter version of paper to be published in ACM SIGMOD Record, September 2005]
TR617
IUCBRF: A Framework For Rapid And Modular Case-Based Reasoning System Development , Steven Bogaerts and David Leake (Jul 2005), 63 pages [An ascii version of the abstract for the paper. This may include HTML markup as desired. The abstract is optional but is strongly recommended.]
TR616
The Common Instrument Middleware Architecture: Overview of Goals and Implementation , Tharaka Devadithya, Kenneth Chiu, Donald F. McMullen (Jun 2005), 9 [The paper has been submitted to the Grid Workshop 2005]
TR615
A Monadic Framework for Delimited Continuations , R. Kent Dybvig, Simon Peyton Jones, and Amr Sabry (Jun 2005), 40 pages
TR614
dQUOBEC Event Channel Communication System , Nithya Vijayakumar, Beth Plale (May 2005), 14 pages
TR613
Realization of GGF DAIS Data Service Interface for Grid Access to Data Streams , Ying Liu, Beth Plale, Nithya Vijayakumar (May 2005), 11 pages
TR612
A Vision System for Automated Customer Tracking for Marketing Analysis: Low Level Feature Extraction , Alex Leykin and Mihran Tuceryan (Jun 2005), 10 pages
TR611
How to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible , Oleg Kiselyov (Mar 2005), 16 pages [Collaboration with Daniel P. Friedman and Amr A. Sabry on logical programming systems]
TR610
OGC Compatible Geographical Information Systems Web Services , Ahmet Sayar, Marlon Pierce, Geoffrey Fox (Mar 2005), 64 pages
TR609
Access Control for XML - A Dynamic Query Rewriting Approach , Sriram Mohan, Arijit Sengupta, Yuqing Wu, Jonathan Klinginsmith (Feb 2005), 12 pages [Submitting the paper to VLDB 2005.]
TR608
A Proof-Theoretic Foundation of Abortive Continuations (Extended version) , Zena M. Ariola, Hugo Herbelin, and Amr Sabry (Feb 2005), 43 pages [This is an extended version of the conference article "Minimal Classical Logic and Control Operators, Zena M. Ariola & Hugo Herbelin, Thirtieth International Colloquium on Automata, Languages & Programming, 2003, Springer-Verlag, LNCS 2719, pgs. 871-885."]
TR607
A Data Management Architecture for Computational Biology , Yu Ma, Randall Bramley, Sun Kim (Jan 2005), 7
TR606
An Algebra for Triadic Relations , Ed Robertson (Jan 2005), 24 pages plus cover [An earlier version of this paper appears as "Triadic Relations: an Algebra for the Semantic Web" in the "Proceedings of 2nd International Workshop on Semantic Web and Databases," SWDB 2004, to be published by Springer Verlag.]
TR605
Essential Language Support for Generic Programming: Formalization Part 1 , Jeremy Siek and Andrew Lumsdaine (Dec 2004), 70 [A shorter version of the paper was submitted to the PLDI 2005 conference.]
TR604
Data Redistribution and Remote Method Invocation in Parallel Component Architectures , Felipe Bertrand, Randall Bramley, Kostadin B. Damevski, James A. Kohl, David E. Bernholdt, Jay W. Larson, Alan Sussman (Dec 2004), 16
TR603
Experiments with PageRank Computation , Ashraf Khalil and Yong Liu (Dec 2004), 9 pages [This technical report was done as a final project for B659 (Web mining) . We are expecting to publish a modified version of this technical report.]
TR602
Measures in Databases and Data Mining , Bassem Sayrafi, Dirk Van Gucht, Marc Gyssens (Nov 2004), 39
TR601
RS-Algo: an Algorithm for Improved Memory Utilization in Continuous Query System under Asynchronous Data Streams , Nithya Vijayakumar and Beth Plale (Oct 2004), 15 pages
TR600
Proceedings of the Fifth Workshop on Scheme and Functional Programming , Olin Shivers and Oscar Waddell (Oct 2004), 128 pages [This report contains the papers presented at the Fifth ACM SIGPLAN Workshop]
TR599
Optimal Tuple Merge in NP-Complete , Edward L. Robertson and Catharine M. Wyss (Jul 2004), 9 pages
TR598
eXtensible Relational Databases: a Relational Approach to Interoperability , J.J. Lu, S. -Y. Cheung, and C.M. Wyss (Jul 2004), 12 pgs.
TR597
An Instrument/Sensor Analysis of the MMSF Automated Photometric Telescope , Fang Liu, Randall Bramley and George Turner (Jun 2004), 10 pages
TR596
Reasoning about Additive Measures , Bassem Sayrafi and Dirk Van Gucht (Jun 2004), 18 pages
TR595
A Comparative Study of Elderly, Younger, and Chronically Ill Novice PDA Users , Katie A. Moor, Kay Connelly and Yvonne Rogers (Jun 2004),
TR594
Architectural Principles for Enterprise Frameworks , Richard A. Martin, Edward L. Robertson and John A. Springer (Apr 2004), 24 pages
TR593
Portal Access to Parallel Visualization of Scientific Data on the Grid , Charles Moad and Beth Plale (Feb 2004), 6 pages
TR592
A Compiler-Based Approach to Schema-Specific Parsers for XML , Kenneth Chiu and Wei Lu (Feb 2004), 9 pages
TR591
Translation, Scale and Occlusion-Tolerant Recognition with Multiple Eigenspace Models , Arnab Dhua, Florin Cutzu, Durgesh Dewoolkar and Stephen Kiselewich (Jan 2004), 9 pages
TR590
Multiple Eigenspace Models for Scene Segmentation and Occlusion Removal , Arnab Dhua, Florin Cutzu, Durgesh Dewoolkar and Stephen Kiselewich (Jan 2004), 13 pages
TR589
Development of a Wireless Location System in Lindley Hall , R. Doshi, T. Jagatic, A. Khalil, S. Shirasuna, and P. Venkatakrishnan (Jan 2004), 28 pages
TR588
Instruments and Sensors as Network Services: Making Instruments First Class Members of the Grid , Randall Bramley, Kenneth Chiu, John C. Huffman, Kia Huffman, and Donald F. McMullen (Dec 2003), 25 pages
TR587
Mining Frequent Itemsets Over Arbitrary Time Intervals in Data Streams , Chris Giannella, Jiawei Han, Edward Robertson and Chao Liu (Nov 2003), 37 pages
TR586
The Undecidability of Iterated Modal Relativization , Joseph S. Miller and Lawrence S. Moss (May 2003), 26 pages
TR585
Benchmark Evaluation of Xindice as a Grid Information Server , Prajakta Vaidya and Beth Plale (May 2003), 17 pages
TR584
An Information Theoretic Histogram for One-Dimensional Selectivity Estimation , Chris Giannella and Bassem Sayrafi (Jan 2005), 21
TR583
Benchmark Details of Synthetic Database Benchmark/Workload for Grid Resource Information , Beth Plale, Craig Jacobs, Ying Liu, Charlie Moad, Rupali Parab, and Prajakta Vaidya (Aug 2003), 27 pages
TR582
Combining Optimizations, Combining Theories , Todd L. Veldhuizen and Jeremy G. Siek (May 2003), 18 pages
TR581
Improving the Lazy Krivine Machine , Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. Siek, and Lynn Winebarger (Nov 2003), 27 pages [To appear in the journal, Higher Order and Symbolic Computation]
TR580
Polymer Processors , Jonathan W. Mills (Jul 2003), 6 pages
TR579
Request Progression Interface (RPI) System Services Interface (SSI) Modules for LAM/MPI , Jeffrey M. Squyres, Brian Barrett and Andrew Lumsdaine (Jul 2003), 34 pages [API Version 1.0.0/SSI Version 1.0.0]
TR578
Checkpoint/Restart System Services Interface (SSI) Modules for LAM/MPI , Sriram Sankaran, Jeffrey M. Squyres, Brian Barrett and Andrew Lumsdaine (Jul 2003), 22 pages [API Version 1.0.0/SSI Version 1.0.0]
TR577
MPI Collective Operations System Services Interface (SSI) Modules for LAM/MPI , Jeffrey M. Squyres, Brian Barrett and Andrew Lumsdaine (Jul 2003), 23 pages [API Version 1.0.0/SSI Version 1.0.0]
TR576
Boot System Services Interface (SSI) Modules for LAM/MPI , Jeffrey M. Squyres, Brian Barett and Andrew Lumsdaine (Jul 2003), 25 pages [API Version 1.0.0/SSI Version 1.0.0]
TR575
The System Services Interface (SSI) to LAM/MPI , Jeffrey M. Squyres, Brian Barrett and Andrew Lumsdaine (Jun 2003), 29 pages [SSI Version 1.0.0]
TR574
Survey of Publish Subscribe Event Systems , Ying Liu and Beth Plale (May 2003), 19 pages
TR573
Polychotomous Classification with Pairwise Classifiers: a New Voting Principle , Florin Cutzu (Jan 2003), 9 pages
TR572
Face Detection using Half-Face Templates , Yi Zhu and Florin Cutu (Nov 2002), 6 pages
TR571
A Novel Approach to View Planning in Shape Acquisition from Range Data , Chi-Wing Fu, Florin Cutzu and Andrew Hanson (Nov 2002), 19 pages
TR570
Using MPI with C# and the Common Language Infrastructure , Jeremiah Willcock, Andrew Lumsdaine, and Arch Robison (Oct 2002), 17 pages
TR569
Real Time Response to Streaming Data on Linux Clusters , Beth Plale, George Turner and Akshay Sharma (Nov 2002), 12 pages
TR568
Matrix Factorization Using a Block-Recursive Structure and Block-Recursive Algorithms , Jeremy D. Frens (Sep 2002), 169 pages [PhD Dissertation]
TR567
Breaking the Barriers: High Performance Security for High Performance Computing , Kay Connelly and Andrew A. Chien (Aug 2002), 7 pages [A version of this report will appear in the New Security Paradigms Workshop, 2002.]
TR566
Unification Source-Tracking with Application to Diagnosis of Type Inference , Venkatesh Choppella (Aug 2002), 200 pages [ PhD Dissertation]
TR565
Visual Properties Differentiating Art from Real Scenes , Alex Leykin, Florin Cutzu and Riad Hammoud (Jul 2002), 40 pages [Paper revised, October 18, 2002]
TR564
Guaranteed Optimization: Proving Nullspace Properties of Compilers , Todd L. Veldhuizen and Andrew Lumsdaine (Jul 2002), 35 pages [A short verson of the paper is to appear in: Proceedings of the 2002 Static Analysis Symposium (SAS '02) Madrid, Spain, Sept. 17-20, 2002]
TR563
Reliability in LAM/MPI Requirements Specification , Andrew Lumsdaine, Jeffrey M. Squyres, and Brian Barrett (Jun 2002), 29 pages
TR562
XCAT 2.0: Design and Implementation of Component based Web Services , Madhusudhan Govindaraju, Sriram Krishnan, Kenneth Chiu, Aleksander Slominski, Dennis Gannon and Randall Bramley (Jun 2002), 12 pages
TR561
Architectural Support for Database Visualization , Dennis Groth (May 2002), 230 pages [PhD Dissertation]
TR560
MSPLS 2002: Proceedings of the Workshop of the Midwest Society for Programming Languages and Systems , Jaakko Jarvi, Andrew Lumsdaine and David S. Wise, Editors (Apr 2002), 37 pages
TR559
SOAP for High Performance Computing , Kenneth Chiu, Madhusudhan Govindaraju, and Randall Bramley (Mar 2002), 17 pages
TR558
Using Horizontal-Vertical Decompositions to Improve Query Evaluation , Chris Giannella, Mehmet Dalkilic, Dennis Groth and Edward Robertson (Feb 2002), 32 pages
TR557
Development of a Real-Time Vision System for an Autonomous Model Airplane , Danko Antolovic (Oct 2001), 102 pages [Master's Thesis]
TR556
Dynamic Querying of Streaming Data with the dQUOB System , Beth Plale and Karsten Schwan (Sep 2001), 22 pages
TR555
On an Information Theoretic Approximation Measure for Functional Dependencies , Chris Giannella and Edward Robertson (Aug 2001), 12 pages
TR554
An Object Encoding for SelfType , Steven E. Ganz and Daniel P. Friedman (Aug 2001), 13 pages
TR553
A Modular Interpreter in Scheme with Objects , Steven E. Ganz and Daniel P. Friedman (Aug 2001), 8 pages
TR552
Interleaving is Possible with Refined Abstract Machines: A New Approach to Engineering a Compiler , Steven E. Ganz and Daniel P. Friedman (Aug 2001), 17 pages
TR551
FastFDs: A Heuristic-Driven, Depth-First Algorithm for Mining Functional Dependencies from Relation Instances , Catharine Wyss, Chris Giannella, and Edward Robertson (Jul 2001), 23 pages
TR550
Design of a Pull and Push Parser System for Streaming XML , Aleksander Slominski (May 2001), 10 pages
TR549
SoapRMI Events: Design and Implementation , Aleksander Slominski, Madhusudhan Govindaraju, Dennis Gannon and Randall Bramley (May 2001), 17 pages
TR548
SoapRMI C++/Java 1.1: Design and Implementation , Aleksander Slominski, Madhusudhan Govindaraju, Dennis Gannon and Randall Bramley (May 2001), 17 pages
TR547
Blood from Dahm's Turnip , Kasey N. Klipsch and David S. Wise (Apr 2001), 3 pages
TR546
Recursion is a Computational Effect , Daniel P. Friedman and Amr Sabry (Dec 2000), 34 pages
TR545
Proceedings of the Third ACM SIGPLAN Workshop on Continuations (CW'01) , Amr Sabry (editor) (Jan 2001), 54 pages
TR544
Formal Derivation of a Scheme Computer , Steven D. Johnson (Sep 2000), 18 pages [First posted electronically in Mar. 1997 at http://www.cs.indiana.edu/hmg/schemachine.ps.Z]
TR543
Five Compilation Models for C++ Templates , Todd Veldhuizen (Aug 2000), 11 pages
TR542
Techniques for Scientific C++ , Todd Veldhuizen (Aug 2000), 57 pages
TR541
Simple Equational Specifications of Rational Arithmetic , Lawrence S. Moss (Jul 2000), 10 pages
TR540
Solving Regular Tree Grammar Based Constraints , Yanhong A. Liu, Ning Li, Scott D. Stoller (Jul 2000), 26 pages [Revised October 2000]
TR539
Just When You Thought your Little Language was Safe: ``Expression Templates'' in Java , Todd L. Veldhuizen (Jul 2000), 12 pages
TR538
Automatic Accurate Stack Space and Heap Space Analysis for High-Level Languages , Leena Unnikrishnan. Scott D. Stoller and Yanhong A. Liu (Apr 2000), 28 pages
TR537
A Bound on Attacks on Payment Protocols , Scott D. Stoller (Feb 2000), 16 pages [Revised January 10, 2001 and April 10, 2001.]
TR536
Model-Checking Multi-Threaded Distributed Java Programs , Scott D. Stoller (Jan 2000), 25 pages [Revised May 2000 and September 2000.]
TR535
Automatic Time-Bound Analysis for a Higher-Order Language , Gustavo Gomez and Yanhong A. Liu (Nov 1999), 15 pages
TR534
The Logic of Public Announcements, Common Knowledge and Private Suspicions , Alexandru Baltag, Lawrence S. Moss and Slawomir Solecki (Nov 1999), 37 pages
TR533
Morton-order Matrices Deserve Compilers' Support , David S. Wise and Jeremy D. Frens (Nov 1999), 18 pages
TR532
It's All About Process: Project-Oriented Teaching of Software Engineering , Dennis P. Groth and Edward L. Robertson (Nov 1999), 9 pages
TR531
Information Dependencies , Mehmet M. Dalkilic and Edward L. Robertson (Nov 1999), 15 pages
TR530
Adding a Path Connectedness Operator to FO + poly (linear) , Chris Giannella and Dirk Van Gucht (Nov 1999), 31 pages [Revised December, 2000]
TR529
Average Case Performance of the Apriori Algorithm , Paul Purdom, Dirk Van Gucht and Dennis P. Groth (Oct 1999), 39 pages [Revised, February 2003]
TR528
MD-SQL: A Language for Meta-Data Queries over Relational Databases , C. M. Rood, D. Van Gucht and F. I. Wyss (Jul 1999), 20 pages
TR527
From Recursion to Iteration: What are the Optimizations? , Yanhong A. Liu and Scott D. Stoller (Jul 1999), 19 pages
TR526
A Bound on Attacks on Authentication Protocols , Scott D. Stoller (Jul 1999), 30 pages [Revised February 2000, September 2000, & January 2001]
TR525
A Framework for Automated Construction and Transformation of Case-Based Reasoning Systems , Jing Ma, Arijit Sengupta and David Wilson (Jul 1999), 24 pages
TR524
A Systematic Incrementalization Technique and its Application to Hardware Design , Steven D. Johnson, Yanhong A. Liu and Yuchen Zhang (Jun 1999), 14 pages
TR523
Efficient Detection of Global Properties in Distributed Systems using Partial-order Methods , Scott D. Stoller, Leena Unnikrishnan and Yanhong A. Liu (Jun 1999), 26 pages [Revised July, 2000]
TR522
Formalization of Multi-level Zachman Frameworks , Richard Martin and Edward L. Robertson (Apr 1999), 25 pages
TR521
Leader Election in Asynchronous Distributed Systems , Scott D. Stoller (Jan 1999), 4 pages
TR520
A Reduction for Automated Verification of Authentication Protocals , Scott D. Stoller (Dec 1998), 22 pages [Revised April 1999]
TR519
C++ Templates as Partial Evaluation , Todd L. Veldhuizen (Nov 1998), 6 pages [Revised July 2000]
TR518
Quaternion Gauss Maps and Optimal Framings of Curves and Surfaces , Andrew J. Hanson (Oct 1998), 62 pages
TR517
Eliminating Dead Code on Recursive Data , Yanhong A. Liu and Scott D. Stoller (Oct 1998), 15 pages
TR516
One-bit Counts Between Unique and Sticky , David J. Roth and David S. Wise (Jul 1998), 8 pages [Proc. Intl. Symp. on Memory Management (ISMM '98) SIGPLAN Not. 71, 3 (Mar. 1999), 49-56.]
TR515
Message-Efficient Uniform Timed Reliable Broadcast , Yu Ma and Scott D. Stoller (Sep 1998), 14 pages
TR514
Dynamic Programming via Static Incrementalization , Yanhong A. Liu and Scott D. Stoller (Sep 1998), 16 pages
TR513
Anti-Correlation Digital Halftoning , Dmitri A. Gusev (Aug 1998), 87 pages
TR512
Efficient Computation via Incremental Computation , Yanhong A. Liu (Jul 1998), 16 pages
TR511
The Linear System Analyzer , R. Bramley, D. Gannon, T. Stuckey, J. Villacis, E. Akman, J. Balasubramanian, F. Breg, S. Diwan and M. Govindaraju (Jun 1998), 12 pages
TR510
Hardware Verification using Coinductive Assertions , Paul S. Miner (Jun 1998), 138 pages [Ph.D. Dissertation]
TR509
Automated Symbolic Timing Analysis for Distributed Systems , Scott D. Stoller and Leena Unnikrishnan (May 1998), 14 pages [Revised: August, 1999]
TR508
Automatic Accurate Time-bound Analysis for High-level Languages , Yanhong A. Liu and Gustavo Gomez (Apr 1998), 17 pages
TR507
What is a File Synchronizer? , S. Balasubramaniam and Benjamin C. Pierce (Apr 1998), 21 pages
TR506
Justifying Finite Resources for Adversaries in Automated Analysis of Authentication Protocals , Scott D. Stoller (Mar 1998), 13 pages
TR505
Nonlinear Magnification , T. Alan Keahey (Feb 1998), 196 pages [Ph.D. Dissertation]
TR504
Efficient Symbolic Detection of Global Properties in Distributed Systems , Scott D. Stoller and Yanhong A. Liu (Feb 1998), 13 pages
TR503
An Algorithm for Comparing Deterministic Regular Tree Grammars , Byron Long (Feb 1998), 9 pages
TR502
Type Destructors , Martin Hofmann and Benjamin C. Pierce (Feb 1998), 32 pages
TR501
Exploiting Implicit Loop Parallelism using Multiple Multithreaded Servers in Java , Fabian Breg, Aart Bik and Dennis Gannon (Dec 1997), 27 pages
TR500
Compiler Support for an RMI Implementation using NexusJava , Fabian Breg and Dennis Gannon (Dec 1997), 20 pages
TR499
Experience with an Analytic Approach to Teaching Programming Languages , Christopher T. Haynes (Dec 1997), 5 pages
TR498
Dead Code Elimination Using Program-Based Regular Tree Grammars , Yanhong A. Liu and Scott D. Stoller (Nov 1997), 16 pages [NOTE: TR 517 ( October 1998) is an updated replacement for TR498.]
TR497
Multi-Stage Specialization with Relative Binding Times , Mark Leone, Indiana University, and Peter Lee, Carnegie Mellon University (Nov 1997), 7 pages
TR496
Arriving at FPGA based Hardware Unix-Encription using Iterated Codesign Methods , Ingo Cyliax and Steven Johnson, Indiana University, and Bhaskar Bose of Derivation Systems, Inc. (Oct 1997), 15 pages
TR495
Local Type Argument Synthesis with Bounded Quantification , Benjamin C. Pierce, Indiana University and David N. Turner, An Teallach Limited Technology Transfer Ctr, Edinburgh, UK (Nov 1997), 13 pages
TR494
Using Cyclic Genetic Algorithms to Reconfigure Hardware Controllers for Robots , Steven D. Johnson, Gary B. Parker, Ingo Cyliax and David Braun (Oct 1997), 15 pages
TR493
Local Type Inference , Benjamin C. Pierce, Indiana University and David N. Turner, An Teallach Limited Technology Transfer Ctr, Edinburgh, UK (Nov 1997), 25 pages
TR492
Bounded Quantification with Bottom , Benjamin C. Pierce (Nov 1997), 21 pages
TR491
Type Checking and Inference , Daniel P. Friedman, Mitchell Wand and Christopher Haynes (Sep 1997), 46 pages
TR490
Dynamo: A Staged Compiler Architecture for Dynamic Program Optimization , Mark Leone and R. Kent Dybvig (Sep 1997), 17 pages
TR489
Javab -- A Prototype Bytecode Parallelization Tool , Aart J.C. Bik and Dennis B. Gannon (Jul 1997), 52 pages
TR488
Eliminating Dead Computations on Recursive Data , Yanhong A. Liu (Jul 1997), 21 pages
TR487
Javar -- A Prototype Java Restructuring Compiler , Aart J.C. Bik and Dennis B. Gannon (Jul 1997), 42 pages
TR486
The Accuracy of Floating Point Summations for CG-Like Methods , Etsuko Mizukami (Jul 1997), 60 pages [Master's Thesis]
TR485
A Tabular Language for System Design , Steven D. Johnson (Jun 1997), 29 pages
TR484
Fast and Effective Procedure Inlining , Oscar Waddell and R. Kent Dybvig (Jun 1997), 18 pages
TR483
A Note on Native Level 1 BLAS in Java , Aart J.C. Bik and Dennis B. Gannon (May 1997), 13 pages
TR482
Detecting Global Predicates in Distributed Systems with Clocks , Scott D. Stoller (May 1997), 15 pages
TR481
Leader Election in Distributed Systems with Crash Failures , Scott D. Stoller (Apr 1997), 15 pages
TR480
CE: The Classifier-Estimator Framework for Data mining , Mehmet M. Dalkilic, Edward L. Robertson, Dirk Van Gucht (May 1997), 13 pages
TR479
Constrained 3D Navigation with 2D Controllers , Andrew J. Hanson and Eric Wernert (Mar 1997), 9 pages
TR478
Nonlinear Magnification Fields , T. Alan Keahey and Edward L. Robertson (Mar 1997), 12 pages
TR477
Loop Optimization for Aggregate Array Computations , Yanhong A. Liu and Scott D. Stoller (Mar 1997), 20 pages
TR476
Pict: A Programming Language Based on the Pi-Calculus , Benjamin C. Pierce and David N. Turner (Mar 1997), 26 pages
TR475
PARDIS: A Parallel Approach to CORBA , Katarzyna Keahey and Dennis Gannon (Feb 1997), 16 pages
TR474
On Evolving Communication in Multiple Agent Systems , Cristobal Baray (Jan 1997), 9 pages
TR473
Automatically Exploiting Implicit Parallelism in Multi-Way Recursive Methods in Java , Aart J.C. Bik and Dennis B. Gannon (Jan 1997), 24 pages
TR472
Proof Without Words: A Generalization from Pythagoras , David S. Wise (Dec 1996), 1 page [Math. Mag. 71, 1 (Feb. 1998), 64. New Title, Proof Without Words: Appolonius's Parallelogram Theorem]
TR471
A New Model for Solving the Data Distribution Problem , Tom Loos (Dec 1996), 142 pages [Ph.D. Dissertation]
TR470
Support for Data Management in Object-Oriented Data-Parallel Scientific and Engineering Simulations , Jacob K. Gotwals (Aug 1996), 169 pages [Ph.D. Dissertation]
TR469
Compiling: A High-level Introduction Using Scheme , Christopher T. Haynes (Oct 1996), 5 pages
TR468
Behavioral Equivalence in the Polymorphic Pi-Calculus , Benjamin C. Pierce, Indiana University and Davide Sangiorgi, INRIA-Sophia Antipolis (Oct 1996), 28 pages
TR467
A Model of Interaction for Parallel Objects in a Heterogeneous Distributed Environment , Katarzyna Keahey (Sep 1996), 13 pages
TR466
Experiments in Path Optimization via Pheromone Trails by Simulated Robots , Jason L. Almeter (Sep 1996), 8 pages
TR465
A Strategy for Exploiting Implicit Loop Parallelism in Java Programs , Aart J.C. Bik and Dennis B. Gannon (Sep 1996), 14 pages
TR464
Putting it in Context: A Syntactic Theory of Incremental Program Construction , Shinn-Der Lee (Jun 1996), 194 pages [Ph.D. Dissertation]
TR463
Reshaping Access Patterns for Improving Data Locality , Aart J.C. Bik and Peter M.W. Knijnenburg (Sep 1996), 13 pages
TR462
Introspective Learning for Case-Based Planning , Susan Fox (May 1996), 254 pages [Ph.D. Dissertation]
TR461
Collective Objects: An Object-Oriented Tool for Collective Operations in Distributed Parallel Computation , Katarzyna Keahey and Dennis Gannon (May 1996), 12 pages
TR460
Non-Linear Image Magnification , T. Alan Keahey and Edward L. Robertson (Apr 1996), 11 pages
TR459
Viewing Text With Non-Linear Magnification: An Experimental Study , T. Alan Keahey and Julianne Marley (Apr 1996), 9 pages
TR458
Hybrid Algorithms for Digital Halftoning and Their Application to Medical Imaging , Eugene A. Sandler, Dmitri A. Gusev and Gregory Y. Milman (Apr 1996), 13 pages
TR457
Sequential-System Factorization , Kamlesh Rath (Apr 1996), 104 pages [Ph.D. Dissertation]
TR456
DDD/FM9001 -- Derivation of a Verified Microprocessor , Bhaskar Bose (Apr 1996), 165 pages [Ph.D. Dissertation]
TR455
Techniques for Non-Linear Magnification Transformations , T. Alan Keahey and Edward L. Robertson (Mar 1996), 18 pages
TR454
SPLIB: A Library of Iterative Mothods for Sparse Linear Systems , Randall Bramley and Xiaoge Wang (Feb 1996), 25 pages
TR453
A User's Guide for the CADYF-SPLIB Project , Xiaoge Wang and Randall Bramley (Feb 1996), 62 pages
TR452
Providing Better Support for Quantified Queries , Sudhir G. Rao, Antonio Badia, and Dirk Van Gucht (Feb 1996), 14 pages [Revised: May 1996]
TR451
Design and Implementation of Reflective SQL , Mehmet M. Dalkilic, Manoj Jain, Dirk Van Gucht, and Anurag Mendhekar (Feb 1996), 14 pages
TR450
Curve and Surface Framing for Scientific Visualization and Domain Dependent Navigation , Hui Ma (Feb 1996), 120 pages [Ph.D. Dissertation]
TR449
Square Blocking for Matrix-Multiplication , David S. Wise and Jeremy D. Frens (Jan 1996), 13 pages [ Proc. 1997 ACM Symp. on Principles and Practice of Parallel Programming, SIGPLAN Not. 32, 7 (July 1997), 206-216.]
TR448
On First-Order Two-Dimensional Linear Homogeneous Partial Difference Equations , G. Neil Haven and Dmitri A. Gusev (Jan 1996), 7 pages
TR447
On Statistical Properties of Delta-Sigma-Modulated Sequences , Eugene A. Sandler, Dmitri A. Gusev, Gregory Y. Milman, and Mikhail L. Podolsky (Jan 1996), 7 pages [Revised September 1996, and title changed to: Estimating from Outputs of Oversampled Delta-Sigma Modulation]
TR446
Low Rank Off-Diagonal Block Preconditioners for Solving Sparse Linear Systems on Parallel Computers , Randall Bramley and Vladimir Menkov (Jan 1996), 37 pages
TR445
An Architecture for Parallel Symbolic Processing Based on Suspending Construction , Eric R. Jeschke (Nov 1995), 152 pages [Ph.D. Dissertation]
TR444
On the Foundations of Corecursion , Lawrence S. Moss and Norman Danner (Nov 1995), 21 pages
TR443
The Continuous Retina: Image Processing with a Single-sensor Artificial Neural Field Network , Jonathan W. Mills (Nov 1995), 6 pages
TR442
Object Template Abstractions for Light-Weight Data-Parallelism , Neelakantan Sundaresan and Dennis Gannon (Sep 1995), 25 pages
TR441
Programmable VLSI Extended Analog Computer for Cyclotron Beam Control , Jonathan Mills (Sep 1995), 9 pages
TR440
A Necessary and Sufficient Symbolic Condition for the Existence of Incomplete Cholesky Factorization , Xiaoge Wang and Randall Bramley, Indiana University and Kyle A. Gallivan, University of Illinois at Urbana-Champaign (Aug 1995), 12 pages
TR438
Perception of Time as Phase: Toward an Adaptive-Oscillator Model of Rhythmic Pattern Processing , J. Devin McAuley (Jul 1995), 128 pages [Ph.D. Dissertation]
TR437
Static and Dynamic Partitioning of Pointers as Links and Threads , David S. Wise and Joshua Walgenbach (Oct 1995), 9 pages [ Proc. 1996 ACM SIGPLAN Intl. Conf. on Functional Programming, SIGPLAN Not. 31, 6 (June 1996), 42-49.]
TR436
A Uniform Data Model for Relational Data and Meta-Data Query Processing , Manoj Jain, Anurag Mendhekar and Dirk Van Gucht (Jul 1995), 25 pages
TR435
The University Graduate School Pilot Project in Electronic Application -- Final Report , Eric Jeschke (May 1995), 19 pages
TR434
A Two-Pass Realistic Image Synthesis Method for Complex Scenes , Kurt Zimmerman and Peter Shirley (May 1995), 20 pages
TR433
Matrix Inversion using Quadtrees Implemented in Gofer , Jeremy D. Frens and David S. Wise (May 1995), 73 pages
TR432
A Canonical Form for Circuit Diagrams , Kathi Fisler (May 1995), 20 pages
TR431
Experimental Evaluation of Coir: A System for Control and Data Parallelism , Neelakantan Sundaresan and Dennis Gannon (May 1995), 13 pages
TR430
Coir: A Thread Model for Supporting Task and Data Parallelism in Object-Oriented Parallel Languages , Neelakantan Sundaresan and Dennis Gannon (May 1995), 19 pages
TR429
Iterative Methods for Fast Radiosity Solutions , Gladimir V. Guimaraes Baranoski, Randall Bramley and Peter Shirley (Apr 1995), 37 pages
TR428
Processing Queries Containing Generalized Quantifiers , Sudhir Rao, Antonio Badia, and Dirk Van Gucht (Apr 1995), 16 pages
TR427
Dynamic Interpretations of Constraint-Based Grammar Formalisms , Lawrence S. Moss and David E. Johnson (Mar 1995), 19 pages
TR426
Diagnosis of Ill-typed Programs , Venkatesh Choppella and Christopher T. Haynes (Feb 1995), 10 pages
TR425
Parallel Transport Approach to Curve Framing , Andrew J. Hanson and Hui Ma (Feb 1995), 20 pages
TR424
Parallel Dynamic Programming , Phillip G. Bradford (Dec 1994), 135 pages [Ph.D. Dissertation]
TR423
Executing Object-oriented Parallel Programs on High-performance Simulators , Suresh Srinivas and Dennis Gannon (Jan 1995), 16 pages (one half spacing) [NOTE: This TR was placed in the directory on 3/17/95.]
TR422a
pC++/streams: A Library for I/O on Complex Distributed Data Structures , Jacob Gotwals, Suresh Srinivas, and Dennis Gannon (Jan 1995), 10 pages
TR422b
References for Techinical Report TR422a , Jacob Gotwals, Suresh Srinivas, and Dennis Gannon (Jan 1995), 12 pages (one half spacing)
TR421
Parallel I/O from the Users Perspective , Jacob Gotwals, Suresh Srinivas, and Shelby Yang (Jan 1995), 9 pages (2 columns, IEEE format) [Appears in Frontiers 95: Symposium on the frontiers of massively parallel computation, McLean, Virginia, Feb 6-9th 1995]
TR420
Sequencing in Modular Self-Timed Asynchronous Control , Frank Prosser, David Winkel and Erik Brunvand (Oct 1994), 38 pages [Title changed to: A Comparison of Modular Self-Timed Design Styles. Revised and Title changed, March 1995.]
TR419
Topological Reasoning and The Logic of Knowledge , Andrew Dabrowski, Lawrence S. Moss and Rohit Parikh (Oct 1994), 43 pages
TR418
Undulant-Block Pivoting and Integer-Preserving Matrix Inversion , David S. Wise (Oct 1994), 70 pages [Revised August 1995 with new title: Undulant-Block Elimination and Integer-Preserving Matrix Inversion. Appeared in Sci. Comput. Program., Vol. 33, No. 1, Jan. 1999, 29-85.]
TR417
Some Investigations with Laser Beams on an LLA Retina , Amitava Biwas (Aug 1994), 67
TR416
A Logical Formalization of Hardware Design Diagrams , Kathi Fisler (Sep 1994), 28 pages [To appear in Diagramamtic Reasoning, edited by Gerard Allwein and Jon Barwise.]
TR415
A Data Model for Audio-Video Data , Munish Gandhi and Edward L. Robertson (Aug 1994), 25 pages
TR414
Stiquito II and Tensipede: Two Easy-to-Build Nitinol-Propelled Robots , J. W. Mills (Aug 1994),
TR413
The Scheme Machine , Robert G. Burger (Aug 1994), 59 pages
TR412a
EMILY: A Visualization Tool for Large Sparse Matrices , R. Bramley and T. Loos (Jul 1994), 32 pages without screen shots (color slides) [Official Version]
TR412b
EMILY: A Visualization Tool for Large Sparse Matrices , R. Bramley and T. Loos (Jul 1994), 32 pages with 5 pages screen shots (color slides)
TR411
Notes on Adaptive Quadrature on the Hemisphere , P. Shirley and K. Chiu (Jul 1994), 6 pages
TR410a
Analog Test Board: Design and Operation (includes appendix) , R.A. Montante (Aug 1994), 107 pages
TR410b
Analog Test Board: Design and Operation (without appendix) , R.A. Montante (Aug 1994), 45 pages
TR410c
Analog Test Board: Design and Operation (appendix only) , R.A. Montante (Aug 1994), 63 pages
TR409
Continuations in Hardware-Software Codesign , M. Esen Tuna, Steven D. Johnson, and Robert G. Burger (Jul 1994), 7 pages
TR408
Visualizing Distributed Data Structures , Suresh Srinivas and Dennis Gannon (Jul 1994), 16 pages (one half spacing, 6 pages of color) [Revised January 1995. Appears in Frontiers 95: Symposium on the frontiers of massively parallel computation, McLean, Virginia, Feb 6-9th 1995.]
TR407
Quaternion Frenet Frames: Making Optimal Tubes and Ribbons from Curves , Andrew J. Hanson (Jun 1994), 9 pages
TR406
Rotations for N-Dimensional Graphics , Andrew J. Hanson (Jun 1994), 13 pages
TR405
Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization Circuit , Paul S. Miner, Shyamsundar Pullela and Steven D. Johnson (May 1994), 19 pages
TR404
Leveled Entity Relationship Model , Munish Gandhi, Edward L. Robertson and Dirk Van Gucht (May 1994), 38 pages
TR403
Interactive Rendering of Complex 3D Models in Pipelined Graphics Architectures , Paulo W.C. Maciel (May 1994), 44 pages
TR402
Analyzing Data-structure Movements in Message-Passing Programs , Sekhar R. Sarukkai and Jacob K. Gotwals (Mar 1994), 25 pages
TR401
Uniprocessor Performance of a Reference-Counting Hardware Heap , David S. Wise, Brian Heck, Caleb Hess, Willie Hunt, and Eric Ost (May 1994), 30 pages [ Lisp Symb. Comput. 10, 2 (July 1997), 159-181.]
TR400
Don't Stop the BIBOP: Flexible and Efficient Storage Management for Dynamically-Typed Languages , R. Kent Dybvig, David Eby and Carl Bruggeman (Mar 1994), 17 pages
TR399
A Formalization of the Turing Test , Phillip G. Bradford and Michael Wollowski (Feb 1994), 16 pages
TR398
Specification and Synthesis of Bounded Indirection , Kamlesh Rath, M.Esen Tuna and Steven D. Johnson (Feb 1995), 15 pages
TR397
Maintaining Dynamic State: Deep, Shallow, and Parallel , Chris Haynes and Richard Salter (Feb 1995), 16 pages
TR396
Solving Linear Inequalities In a Least Squares Sense , R. Bramley and B. Winnicka (Jan 1994), 30 pages
TR395
A Query Language for List-Based Complex Objects , Latha S. Colby, Lawrence V. Saxton and Dirk Van Gucht (Dec 1993), 33 pages [Revised May 1994]
TR394
Incomplete Cholesky Factorization with Sparsity Pattern Modification , Xiaoge Wang, Kyle Gallivan and Randall Bramley (Dec 1993), 38 pages
TR393
CIMGS: An Incomplete Orthogonal Factorization Preconditioner , Xiaoge Wang, Kyle Gallivan, Randall Bramley (Dec 1993), 27 pages
TR392
An Introduction to Behavior Tables , Kamlesh Rath, M. Esen Tuna, and Steven D. Johnson (Dec 1993), 21 pages
TR391
On Lower Bounds for the Matrix Chain Ordering Problem , Phillip G. Bradford, Venkatesh Choppell and Gregory J. E. Rawlins (Oct 1993), 33 pages
TR390
Dynamical Statistics of Sequential Prolog , Ignacio Celis and Jonathan W. Mills (Aug 1993), 15 pages
TR389
Behavior Tables: A Basis for System Representation and Transformational System Synthesis , Kamlesh Rath, M. Esen Tuna and Steven D. Johnson (Aug 1993), 6 pages
TR388
Higher Order Logic , Daniel Leivant (Aug 1993), 94 pages
TR387
Backtracking and Probing , Paul W. Purdom and G. Neil Haven (Aug 1993), 45 pages
TR386
System Factorization in Codesign: A Case Study of the Use of Formal Techniques to Achieve Hardware-Software Decomposition , Bhaskar Bose, M. Esen Tuna and Steven D. Johnson (Jun 1993), 5 pages
TR385
Derivation of a DRAM Memory Interface by Sequential Decomposition , Kamlesh Rath, Bhaskar Bose and Steven D. Johnson (Jun 1993), 5 pages
TR384
Learning Words in Time: Towards a Modular Connectionist Account of the Acquisition of Receptive Morphology , Michael Gasser (Jun 1993), 60 pages
TR383
An Example of Interactive Hardware Transformation , Zheng Zhu and Steven D. Johnson (May 1993), 18 pages
TR382
Learning Noun and Adjective Meanings: A Connectionist Account , Michael Gasser and Linda B. Smith (May 1993), 23 pages
TR381
Framework for Non-Traditional Data Models , Latha S. Colby. Query Languages and a Unifying (May 1993), [PhD Dissertation]
TR380
DDD-FM9001: Derivation of a verified microprocessor , Bhaskar Bose and Steven D. Johnson (May 1993), 12 pages
TR379
Benchmark Queries for Temporal Databases , Patrick P. Kalua and Edward L. Robertson (Mar 1993), 40 pages
TR378
Lukasiewicz' Insect: The role of Continuous-Valued Logic in a Mobile robot's Sensors, Control, and Locomotion , Jonathan W. Mills (Mar 1993), 6 pages
TR377
Measuring Information Capacity in a VLSI Analog Logic Circuit , Robert A. Montante and Jonathan W. Mills (Mar 1993), 15 pages [REVISION with new title: Probabilistic error correction in arbitrarily large Lukasiewicz logic arrays (April 1993)]
TR376
Implementation of a Graph Oriented Query Language: IUGQL , Vijay M. Sarathy and Dirk Van Gucht (Mar 1993), 45 pages
TR375
Toward a Basis for Protocol Specification and Process Decomposition , Kamlesh Rath and Steven D. Johnson (Mar 1993), 23 pages [Revised June 1993]
TR374
Universal Queries for Relational Query Languages , Lawrence V. Saxton, Dirk Van Gucht and Munish Gandhi (Mar 1993), 20 pages
TR373
Automatic Synthesis of Sequential Synchronizations , Zheng Zhu and Steven D. Johnson (Feb 1993), 18 pages
TR372
Integrating Boolean Verification with Formal Derivation , Bhaskar Bose, Steven D. Johnson, and Shyamsundar Pullela (Feb 1993), 10 pages
TR371
Learning to Perceive and Produce Rhythmic Patterns in an Artificial Neural Network , J. Devin McAuley (Feb 1993), 26 pages
TR370
Predicting Convergence Time for Genetic Algorithms , Sushil J. Louis and Gregory J. E. Rawlins (Jan 1993), 20 pages
TR369
Matrix Chain Ordering in Polylog Time with n/lg n Processors , Phillip G. Bradford, Gregory J. E. Rawlins, and Gregory E. Shannon (Dec 1992), 20 pages
TR368
An Object Based Algebra for Parallel Query Processing and Optimization , Vijay M. Sarathy, Lawrence V. Saxton, and Dirk Van Gucht (Dec 1992), 20 pages
TR367
Infer: A Statically-typed Dialect of Scheme (Preliminary Tutorial and Documentation) , Christopher T. Haynes (Oct 1992), 40 pages
TR366
A Reflective System is as Extensible as its Internal Representations: An Illustration , John W. Simmons II and Daniel P. Friedman (Oct 1992), 17 pages
TR365
Quasi-static Scoping: Sharing Variable Bindings across Multiple Lexical Scopes , Shinn-Der Lee and Daniel P. Friedman (Oct 1992), 14 pages
TR364
A Simple Reflective Interpreter , Stanley Jefferson and Daniel P. Friedman (Sep 1992), 11 pages
TR363a
Stiquito: A Small, Simple, Inexpensive Hexapod Robot , Jonathan W. Mills (Sep 1992), 48 pages [For further information concerning 363a, b and c, see STIQUITO.INFO file in: /u/ftp/pub/techreports/STIQUITO.INFO]
TR363b
A General Purpose Controller for Stiquito , Jonathan W. Mills (Sep 1992),
TR363c
The Simulation of a 6 Legged Autonomous Robot Guided by Vision , Jonathan W. Mills (Sep 1992),
TR362
Language Extension via First-class Interpreters , John W. Simmons II, Stanley Jefferson, and Daniel P. Friedman (Sep 1992), 22 pages
TR361
CBR Assisted Explanation of GA Results , Sushil Louis, Gary McGraw and Richard Wyckoff (Aug 1992), 25 pages
TR360
Stop-and-Copy and One-bit Reference Counting , David S. Wise (Jul 1992), 14 pages [ Inf. Process. Lett. 46, 5 (July 1993), 243-249.]
TR359
Using Goals and Experience to Guide Abduction , David Leake (Jul 1992), 33 pages
TR358
Four-dimensional Views of 3D Scalar Fields , Andrew Hanson & Pheng Heng (Jul 1992), 8 pages
TR357
Matrix Algorithms Using Quadtrees , David S. Wise (Jun 1992), 16 pages [ In G. Hains and L. M. R. Mullin (eds) ATABLE-92, 2nd Intl. Workshop on Array Structures. Publ. 841, Dept. d'Informatique et de Recherche Operationnelle, Univ. de Montreal (Nov., 1992).]
TR356
Writing Hygienic Macros in Scheme with Syntax-case , R. Kent Dybvig (Jun 1992), 31 pages [Revised 7/3/92]
TR355
Syntactic Abstraction in Scheme , Robert Hieb, R. Kent Dybvig, and Carl Bruggeman (Jun 1992), 18 pages [Revised 7/3/92]
TR354
An Implementation of an Applicative File System , Brian C. Heck and David S. Wise (Jun 1992), 16 pages [ In Y. Bekkers and J. Cohen (eds), Memory Management. Lecture Notes in Comp. Sci.]
TR353
Average Time for the Full Pure Literal Rule , Paul W. Purdom (May 1992), 16 pages
TR352
Efficient Parallel Dynamic Programming , Phillip Bradford (Oct 1994), 33 pages [Revised]
TR351
Rule-Based Program Restructuring for High Performance Parallel Processor Systems , Lawrence J. Tenny (Apr 1992), 153 pages [Ph.D. Dissertation]
TR350
First-Class Extents , S-D. Lee & D. P. Friedman (Mar 1992), 45 pages [Revised Aug. 1992]
TR349
Merging Interactive, Modular and Object-Oriented Programming , Sho-Huan Simon Tung (Mar 1992), 143 pages [Ph.D. Dissertation]
TR348
Characterizing the Paralation Model using Dynamic Assignment , E. Freeman & D. P. Friedman (Mar 1992), 14 pages
TR347
An Algebra for List-oriented Applications , Latha S. Colby (Feb 1992), 84 pages
TR346
Toward Leakage Containment , J. Lawall & D. P. Friedman (Feb 1992), 11 pages
TR345
The Revised Report on the Syntactic Theories of Sequential Control and State , Matthias Felleisen and Robert Hieb (Feb 1992), 34 pages
TR344
A Specification-based Data Model , Munish Gandhi and Edward L. Robertson (Jan 1992), 33 pages
TR343
Luminaire Sampling in Distribution Ray Tracing , Peter Shirley and Chang yaw Wang (Jan 1992),
TR342
Translating Query Graphs into Tarski Algebra Expressions. , Vijay M. Sarathy, Lawrence V. Saxton and Dirk Van Gucht (Dec 1991),
TR341
Revised Report on the Algorithmic Language Scheme , William Clinger and Jonathan Rees (editors, along with 16 others) (Nov 1991),
TR340
The New Publishing: Technology's Impact on the Publishing Industry over the Next Decade , Gregory J. E. Rawlins (Nov 1991), 68 pages
TR339
Area-Efficient Implication Circuits for Very Dense Lukasiewicz Logic Arrays , Jonathan W. Mills (Nov 1991),
TR338
A Template Architecture for the WAM , Jonathan W. Mills (Oct 1991),
TR337
Rule-based Data Dependence Analysis , Larry Tenny (Oct 1991),
TR336
Rap-Master Network: Exploring temporal pattern recognition with recurrent networks , Gary McGraw, Robert Montante & David Chalmers (Sep 1991),
TR335
New Divide-and-Conquer Techniques for Finding Disjoint Paths , Fang Wan (Sep 1991),
TR334
Learning to Perceive and Produce Words in Connectionist Networks , Chan-Do Lee (Sep 1991), [PhD Dissertation]
TR333
Visualizing the Fourth Dimension Using Geometry and Light. , Andrew J. Hanson and Pheng A. Heng (Jul 1991),
TR332
Exploring the Symbolic/Subsymbolic Continuum: A Case Study of RAAM , Douglas S. Blank and Lisa A. Meeden and James B. Marshall (Jul 1991), 34 pages
TR331
DDD- A Transformation System for Digital Design Derivation , Bhaskar Bose (May 1991), 80 pages + Appendices
TR330
Graph Algorithms in a Lazy Functional Programming Language , Yugo Kashiwagi and David S. Wise (Apr 1991), 12 pgs. [Proc. 4th Intl. Symp. on Lucid & Intensional Programming, Menlo Park, CA: SRI Intl. (April 1991), 35-46.]
TR329
Nonminimax Propagation and Go Moku , Jong Chan Kim and Paul W. Purdom, Jr (Apr 1991),
TR328
Block Pivoting and (L+U),D' Decomposition , David S. Wise (Mar 1991),
TR327
A Graph-Oriented Object Database Model , Marc Gyssens, Jan Paredaens, Jan Van den Bussche and Dirk Van Gucht. (Mar 1991),
TR326
Using Genetic Algorithms to Design Structures , Sushil J. Louis and Gregory J. E. Rawlins (Feb 1991),
TR325
Data Localization in Parallel Computer Systems , Mann-Ho Lee (Feb 1991), [PhD Dissertation]
TR324
Static Measures of Quadtree Representation of the Harwell--Boeing Sparse Matrix Collection , Peter H. Beckman (Jan 1991),
TR323
DDD -- A System for Mechanized Digital Design Derivation , Steven D. Johnson and Bhaskar Bose (Dec 1990), 36 pages
TR322
Optimization of Nonmonotonic relational Queries , Lawrence V. Saxton and Dirk Van Gucht (Dec 1990),
TR321
RTBA: A Generic Bit-Sliced Bus Architecture for Data Path Synthesis , Kamlesh Rath, Ignacio Celis, Robert M. Wehrmeister, and Steven D. Johnson (Dec 1990), 38 pages
TR320
Implicit Functions for Modeling Arbitrary Deformable Shapes , Andrew J. Hanson. (Nov 1990),
TR318
Performance Visualization and Prediction of Parallel Supercomputer Programs: An Interim report , Sekhar, Sarukkai (Nov 1990),
TR317
An Algebraic Framework for Data Abstraction in Hardware Description , Zheng Zhu and Steven D. Johnson (Nov 1990),
TR316
Linear-Processor DNC Algorithms for Sub-linear Separators in PlanarGraphs , Gregory E. Shannon (Oct 1990),
TR315
Connectionist Logic Programming , Jonathan W. Mills (Oct 1990),
TR314
Parallel Genetic Algorithms Applied to the Traveling Salesman Problem , Prasanna Jog, Jung Y. Suh and Dirk Van Gucht (Aug 1990),
TR313
An Analog VLSI Array Processor for Classical and Connectionist AI , Jonathan W. Mills and Charles A. Daffinger (Jul 1990),
TR312
CMOS VLSI Lukasiewicz Logic Arrays , Jonathan W. Mills and Charles A. Daffinger (Jul 1990),
TR311
Average Time Analysis of Clause Order Backtracking , Khaled Bugrara and Paul W. Purdom, Jr (Jul 1990),
TR310
Representation and Recognition of Temporal Patterns , Robert Port (Jun 1990),
TR309
Approximating Small Separators in PlanarGraphs: Tradeoffs in Time, Processors, and Separator Size , Gregory E. Shannon and Fang Wan (Jun 1990),
TR308
A Linear-processor Algorithm for Finding Small Cycle Separators on Undirected PlanarGraphs , Fang Wan (May 1990),
TR307
Networks and Morphophonemic Rules Revisited , Michael Gasser and Chan-Do Lee (Mar 1990),
TR306
Linear-Processor NC Algorithms for Planar Directed Graphs II: Directed Spanning Trees , Ming-Yang Kao and Gregory E. Shannon (Mar 1990),
TR305
Towards a System for Interactive Modular Programming , Sho-Huan Simon Tung and R. Kent Dybvig (Feb 1990),
TR304
Performance Evaluation and Prediction for Parallel Algorithms on the BBN GP1000 , Francois Bodin, Daniel Windheiser, William Jalby, Daya Atapattu, Mannho Lee and Dennis Gannon (Feb 1990),
TR303
Semantics-Directed Compilation of Non-Linear Patterns , Olivier Danvy (Feb 1990),
TR302
Destination-Driven Code Generation , R. Kent Dybvig, Robert Hieb, and Tom Butler (Feb 1990),
TR301
A New Approach to Procedures with Variable Arity , R. Kent Dybvig and Robert Hieb (Jan 1990),
TR300
Networks that Learn Phonology , Michael Gasser and Chan-Do Lee (Dec 1989),
TR299
Graph View Documentation , Bjarni Birgisson and Gregory E. Shannon (Dec 1989),
TR298
Visibility, Skulls, and Kernels in Convexity Spaces , Sven Schuierer, Gregory J. E. Rawlins and Derick Wood (Dec 1989),
TR297
Architectural Support for Delayed Specialization of Logic Programs , Jonathan W. Mills (Dec 1989),
TR296
and Charles A. Daffinger Lukasiewicz Logic Arrays , Jonathan W. Mills, M. Gordon Beavers, (Nov 1989),
TR295
GraphView: An Extensible Interactive Platform for Manipulating and Displaying Graphs , Bjarni Birgisson and Gregory E. Shannon (Dec 1989),
TR294
Elimination of Infrequent Variables Improves Average Case Performance of Satisfiability Algorithms , John Franco (Oct 1989),
TR293
Continuation-Based Control Operators for Logic Programming , Richard M. Salter and Christopher T. Haynes (Oct 1989),
TR292
A Prolog Semantics with First-Class Continuations and Dynamic Database , Christopher T. Haynes and Richard M. Salter (Oct 1989),
TR291
On the Occurrence of Null Clauses in Random Instances of Satisfiability , John Franco (Oct 1989),
TR290
Derivation of an SECD Machine: Experience with a Transformational Approach to Synthesis , Robert M. Wehrmeister (Sep 1989),
TR289
A System for Digital Design Derivation , Steven D. Johnson and Bhaskar Bose (Aug 1989),
TR288
Daisy, DSI and LiMP: Issues in Architecture for Suspending Construction , Steven D. Johnson (Aug 1989),
TR287
Processing Queries in ANDA: A Nested relational Database System , Jos 'e A. Blakeley and Anand Deshpande (Aug 1989),
TR286
How Daisy is Lazy , Steven D. Johnson (Aug 1989),
TR285
Extending Distributed Genetic Algorithms To Problem Solving: The Case of the Sliding Block Puzzle , Jung Yul Suh and Chan Do Lee (Jul 1989),
TR284
A Pipelined Architecture for Logic Programming with a Complex but Single-Cycle Instruction Set , Jonathan W. Mills (Jul 1989),
TR283
On the Interplay of Synthesis and Verification: Experiments with the FM8501 Processor Description , Steven D. Johnson, Robert M. Wehrmeister and Bhaskar Bose (Jul 1989),
TR282
A Grammar Model for Databases , Latha S. Colby and Dirk Van Gucht (Jun 1989),
TR281
An Implementation for Nested relational Databases , Anand Deshpande (Jun 1989), [PhD Dissertation]
TR280
Join Index,Materialized View, and Hybrid-Hash Join: A Performance Analysis , Jos'e A. Blakeley and Nancy L. Martin (Jun 1989),
TR279
Manipulating Logical Organization with System Factorizations , Steven D. Johnson (Jun 1989),
TR278
Probabilistic Analysis of Algorithms for Stuck-at Test Generation in PLAs , John Franco and Kurt Keutzer (May 1989),
TR277
Building Analytical Models into an Interactive Performance Prediction Tool , Daya Atapattu and Dennis Gannon (May 1989),
TR276
Embedding the Self Language in Scheme , Julia L. Lawall and Daniel P. Friedman (May 1989), [To appear in BIGRE Bulletin's special issue on ``Putting the Scheme Language to work'']
TR275
Robust Lexical Selection in Parsing and Generation , Michael Gasser (Apr 1989),
TR274
Using the Digital Design Derivation System: Case study of a VLSI garbage collector implementation , C. David Boyer and Steven D. Johnson (Apr 1989),
TR273
A Decomposition Theorem for Convexity Spaces , Gregory J. E. Rawlins and Derick Wood (Feb 1989),
TR272
Restricted-Oriented Convex Sets , Gregory J. E. Rawlins and Derick Wood (Feb 1989),
TR271
Inference Supercomputing , Jonathan W. Mills, M. Burroughs, R. Wehrmeister, and D. Winkel (Feb 1989),
TR270
Backtracking and random Constraint Satisfaction , Paul W. Purdom (Feb 1989),
TR269
A Structured Method for Literate Programming , Sho-Huan Tung (Jan 1989),
TR268
Towards a Facility for Lexically Scoped, Dynamic Mutual Recursion in Scheme Systems , John Franco and Daniel P. Friedman (Jan 1989),
TR267
Multiple-Query Optimization for Materialized View Maintenance , Jos'e A. Blakeley and Hector Hernandez (Jan 1989),
TR266
Counting Posets and the Structure of the Poset of Posets , G. J. E. Rawlins and Joseph Culberson (Dec 1988),
TR265
Temporal Information and Memory in Connectionist Networks , Robert Port, Sven Anderson, and John W. L. Merrill (Oct 1988), [Out of print- TR 310 replaces TR 265]
TR264
Parallel Depth-First Search in General Directed Graphs , Alok Aggarwal, Richard J. Anderson, and Ming Y. Kao (Sep 1988),
TR263
Imperative Multi-way Streams , John Franco, Daniel P. Friedman, and Steven D. Johnson (Sep 1988), [Revised December, 1988]
TR262
Compiling and Executing Theorems Efficiently as Logic Programs , Jonathan W. Mills (Sep 1988),
TR261
Using the AMD 2901/2909 as a Dedicated Floating Point Adder , Jonathan W. Mills (Sep 1988),
TR260
The Analysis of Hashing with Lazy Deletions , Pedro Celis and John Franco (Aug 1988),
TR259
A Recursive Algebra for Nested Relations , Latha S. Colby (Aug 1988),
TR258
Dynamic Speech Categorization With recurrent Networks , Sven Anderson, John W. L. Merrill and Robert Port (Aug 1988),
TR257
UPSL User's Manual , Larry Tenny (Jul 1988),
TR256
Continuations and Concurrency , R. Kent Dybvig and Robert Hieb (Jul 1988),
TR255
Efficient Detection of Leaked Information in Cross Tabulated Tables: Linear Invariant Test , Ming-Yang Kao and Dan Gusfield (Jul 1988),
TR254
Engines from Continuations , R. Kent Dybvig and Robert Hieb (Jul 1988),
TR253
Modeling Transistors Applicatively , Steven D. Johnson and C. David Boyer (Jun 1988),
TR252
The Source Code for SYREN: A Connectionist Model for Syllable recognition , Erich J. Smythe (Jun 1988),
TR251
Temporal Computation in Connectionist Models , Erich J. Smythe (Jun 1988), [PhD Dissertation]
TR250
Parallel Depth---First Search in Directed Graphs , Alok Aggarwal, Richard J. Anderson, and Ming Y. Kao (May 1988),
TR249
Fractally Configured Neural Networks , John W. L. Merrill and Robert F. Port (May 1988),
TR248
Abstract Continuations: A Mathematical Semantics for Handling Full Functional Jumps , Matthias Felleisen, Mitchell Wand, Daniel P. Friedman and Bruce F. Duba (May 1988),
TR247
A Variable-Arity Procedural Interface , R. Kent Dybvig and Robert Hieb (Apr 1988), [Revised version is TR 301]
TR246
External Robin Hood Hashing , Pedro Celis (Mar 1988),
TR245
Creating Efficient Programs by Exchanging Data for Procedures , John Franco and Daniel P. Friedman (Mar 1988),
TR244
All Graphs Have Cycle Separators and Depth-First Search on Planar Digraphs is in DNC , Ming-Yang Kao (Mar 1988),
TR243
An Implementation for Nested Relational Databases , Anand Deshpande and Dirk Van Gucht (Feb 1988),
TR242
A Practical Unification Algorithm , Paul W. Purdom (Feb 1988),
TR241
Experiments with Quad Tree Representation of Matrices , S. Kamal Abdali and David S. Wise (Feb 1988), [Also appeared in Proc. 1988 Int'l. Sym. on Symbolic and Algebraic Computation]
TR240
Updating Materialized Views: Detecting Conditionally Autonomously Computable Updates , Frank Wm. Tompa and Jos'e A. Blakeley (Feb 1988),
TR239
Searching with Uncertainty , R.A. Baeza-Yates, J.C. Culberson and G.J.E. Rawlins (Feb 1988),
TR238
On the Comparison Cost of Partial Orders , Joseph C. Culberson and Gregory J. E. Rawlins (Jan 1988),
TR237
Applications of Continuations , Daniel P. Friedman (Jan 1988),
TR236
A New Stochastic Learning Algorithm for Neural Networks , John W. L. Merrill and Robert F. Port (Nov 1987),
TR235
Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates , Jos'e A. Blakeley, Neil Coburn and Perke Larson (Nov 1987),
TR234
A Storage Structure for Nested Relational Databases , Anand Deshpande and Dirk Van Gucht (Nov 1987),
TR233
The Powerset Operator as an Algebraic Tool for Understanding Least Fixpoint Semantics in the Context of Nested relations , Marc Gyssens and Dirk Van Gucht (Oct 1987),
TR232
A VLSI Implementation of an Architecture for Applicative Programming , John T. O'Donnell, Timothy Bridges and Sidney W. Kitchel (Oct 1987),
TR231
Strictness Analysis Applied to Programs with Lazy List Constructors , Cordelia V. Hall (Oct 1987), [PhD dissertation]
TR230
A Syntactic Theory of Sequential State , Matthias Felleisen and Daniel P. Friedman (Oct 1987), [(Revised January, 1989) Appeared in Theoretical Computer Science 69, 3, (Dec. 1989) 243--287]
TR229
Costs of Quadtree Representation of Non-dense Matrices , David S. Wise and John Franco (Oct 1987),
TR228
Strategies for Cache and Local Memory Management by Global Program Transformation , Dennis Gannon, William Jalby and Kyle Gallivan (Sep 1987),
TR227
Applying AI Techniques to Program Optimization for Parallel Computers , Dennis Gannon and Ko-Yang Wang (Sep 1987),
TR226
The Calculi of Lambda-v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-OrderProgramming Languages , Matthias Felleisen (Aug 1987), [Ph. D. Dissertation]
TR225
Distributed Genetic Algorithms , Jung Y. Suh and Dirk VanGucht (Jul 1987),
TR224
A Software Tool for Building Supercomputer Applications , Dennis Gannon, Daya Atapattu, Mann Ho Lee and Bruce Shei (Aug 1987), [Also in Proc. of the Symp. on Parallel Computations & Their Impact on Mechanics, Vol. 86, 81--94]
TR223
Debugging in Applicative Languages , J.T. O'Donnell and C.V. Hall (Jun 1987),
TR222
Matrix Algebra and Applicative Programming , D. S. Wise (Jun 1987), [Appeared in Functional Programming Languages and Computer Architectures, Lecture Notes in Computer Science 274, Berlin, Springer (1987), 134--153]
TR221
A Tactical Framework for Hardware Design , S. D. Johnson, B. Bose, and C. D. Boyer (May 1987), [Also in VLSI Specification, Verification and Synthesis, [Proceedings of the 1987 Calgary Workshop] G. Birtwistel and P. A. Subramanyam (eds.) Kluwer Academic Publishers, (1987), 349--384]
TR220
Dynamic Identifiers Can Be Neat , B. Duba, M. Felleisen and D. P. Friedman (Apr 1987),
TR219
Hardware Design Using Functionally Connected Units , D. Winkel. and C. T. Haynes (Apr 1987),
TR218
A Reduction Semantics for Imperative Higher-Order Languages , M. Felleisen and D. P. Friedman (Mar 1987), [Proceedings of the Conf. on Parallel Architectures & Languages Europe, June 1987, 206--223]
TR217
Parsing Phonetic Segments into Syllables , G. Dorffner, S. C. Kwasny, Robert F. Port (Mar 1987),
TR216
Beyond Continuations , M. Felleisen, D. P. Friedman, B. Duba and J. Merrill (Feb 1987),
TR215
A Syntactic Theory of Sequential Control , M. Felleisen, D. P. Friedman, E. Kohlbecker and B. Duba (Jan 1987), [Theoretical Computer Science 52 (1987) 205--237]
TR214
Seek-Whence: A Model of Pattern Perception , Marsha J. Ekstrom Meredith (Jan 1987), [PhD dissertation]
TR213
Embedding Continuations in Procedural Objects , Christopher T. Haynes and Daniel P. Friedman (Jan 1987), [ACM Trans. on Prog. Syst. & Lang. 9, 4, (Oct. 1987) 582--598]
TR212
Hardware Description with Recursion Equations , John O'Donnell (Dec 1986),
TR211
Complex Cognitive Information-Processing: A Computational Architecture with a Connectionist Implementation , John Barnden (Dec 1986),
TR210
Search Rearrangement Backtracking Often Requires Exponential Time to Verify Unsatisfiability , John Franco (Dec 1986), [Revised: April, 1987]
TR209
Compiling Strictness into Streams , Cordelia V. Hall & David S. Wise (Dec 1986),
TR208
Detecting Looping Simplifications , Paul W. Purdom (Dec 1986),
TR207
An Exponential Lower Bound For the Pure Literal rule , Khaled M. Bugara & Paul W. Purdom (Dec 1986), [Information Processing Letters 27, North-Holland, (Apr. 1988) 215--219)]
TR206
Macro-by-Example: Deriving Syntactic Transformations from their Specifications , Eugene E. Kohlbecker and Mitchell Wand (Nov 1986), [Proc. of the 1987 ACM Symposium on Principles of Programming Languages, (January, 1987)]
TR205
A Final Scheme-Word on Landin's J-Operator , Matthias Felleisen (Nov 1986), [Also appeared in Journal of Computer Languages, Pergamon Press, 1987, 197--207, under new title, ``Reflections on Landin's J-A Partly Historical Note. '']
TR204
The Use of PALS in CPU Design , David Winkel (Oct 1986),
TR203
Parallel VLSI Architecture Emulation and the Organization of APSA/MPP , John T. O'Donnell (Oct 1986),
TR202
A Calculus for Assignments in Higher-Order Languages , Matthias Felleisen and Daniel P. Friedman (Oct 1986), [Conf. record of the 14th Annual ACM Sym. on Principles of Programming Languages, Munich, W. Germany (January, 1987), 314--345]
TR201
Recursion and Circularity--Extended Puzzle with Solution , Matthias Felleisen (Oct 1986),
TR200
Computational Metabolism , Marek W. Lugowski (Sep 1986),
TR199
Syntactic Extensions in the Programming Language Lisp , Eugene E. Kohlbecker (Aug 1986), [Ph. D. Dissertation]
TR198
The Analysis of Algorithms: Errata and Answers to the Exercises , Paul W. Purdom (Jul 1986),
TR197
Control Operators, the SECD-Machine, and the Lambda-Calculus , Matthias Felleisen and Daniel P. Friedman (Jun 1986), [Proc. of the IFIP TC 2/WG2. 2 Working Conf. on Formal Description of Programming Concepts Part III, Ebberup, Denmark. August 1986, 193--219]
TR196
The Mystery of the Tower Revealed: A Non-reflective Description of the Reflective Tower , Mitchell Wand and Daniel P. Friedman (Jun 1986), [Proceedings 1986 ACM Symposium on LISP and Functional Programming, (August, 1986), 298--307]
TR195
Expansion-Passing Style Beyond Conventional Macros , R.K. Dybvig, D. P. Friedman and C. T. Haynes (Jun 1986),
TR194
Hygienic Macro Expansion , E.E. Kohlbecker, D. P. Friedman, M. Felleisen and B. Duba (Jun 1986), [Proceedings, 1986 ACM Symposium on LISP and Functional Programming, (August, 1986), 151--161]
TR193
Probabilistic Performance of a Heuristic for the Satisfiability Problem , John Franco (May 1986), [Also appeared in Discrete Applied Math]
TR192
Parallel Decomposition of Matrix Inversion using Quadtrees , David S. Wise (May 1986), [Proceedings of the 1986 Int'l. Conference on Parallel Processing, 92--99]
TR191
Reasoning With Continuations. Sym. on Logic in Computer , M. Felleisen, D. P. Friedman, E. Kohlbecker & B. Duba (Jun 1986), [Science, Cambridge, MA, (June, 1986), 131--141 [Not Available-TR 215 is a revision of TR 191]]
TR190
Deterministic Parsing of Multiply-Structured Inputs , G. Dorffner, S. Kwasny, R. Port (Apr 1986),
TR189
The Pleasures of SINN: A System for Programming Connectionist Models , Erich J. Smythe (Feb 1986),
TR188
What Next for PAL-DEVICES-- The Second Generation Challenge , David Winkel (Feb 1986),
TR187
Imputations and Explications: Representational Problems in Treatments of Propositional Attitudes , John A. Barnden (Jan 1986),
TR186
Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by-Name , David S. Wise and S. Kamal Abdali (Dec 1985),
TR185
Digital Design in a Functional Calculus , Steven D. Johnson (Nov 1985),
TR184
A Closer Look at Export and Import Statements , Matthias Felleisen & Daniel P. Friedman (Nov 1985), [Computer. Lang. , 11 (1), 1986, 29--37]
TR183
Logic Continuations , Christopher T. Haynes (Nov 1985), [Proceedings of the Third Int'l Conf. on Logic Programming (July 1985), London, England Lecture Notes in Computer Science, / Vol. 225, Springer-Verlag, Berlin (1985), 671--685. Also in J. of Logic Programming, 4 /, 2 (1987) 157--176]
TR182
Transliterating Prolog into Scheme , Matthias Felleisen (Oct 1985),
TR181
Tree Matching and Simplification , Paul W. Purdom and Cynthia A. Brown (Oct 1985), [Software Practice and Experience 17, 2, (February 1987), 105--115]
TR180
An Architecture that Efficiently Updates Associative Aggregates in Applicative Programming Languages , J. T. O'Donnell (Sep 1985), [Proc. IFIP Int'l. Conference on Functional Programming Languages and Computer Architecture (September 16--19, 1985 in Nancy, France)]
TR179
An Approach for Simulating an Applicative Programming Storage Architecture on the Massively Parallel Processor , J. T. O'Donnell (Sep 1985),
TR178
An Abstraction of Timed Preemption , C. T. Haynes and D. P. Friedman (Aug 1985), [Revised version appeared in Computer Languages Vol. 12, No. 2, (1987), 109--121, under the title, ``Abstracting Timed Preemption with Engines'']
TR177
The Maximum Independent Set Problem for Cubic Planar Graphs , J. E. Burns (Aug 1985),
TR176
Why Artificial Intelligence is Necessarily Ad Hoc: One's Thinking/Approach/Model/Solution Rides on One's Metaphors , M. W. Lugowski (Aug 1985),
TR175
Rules for Automatic Mapping between Fast and Slow Speech , S. C. Kwasny, J. Dalby, and R. Port (Jul 1985),
TR174
The Revised, Revised Report on SCHEME , W. D. Clinger, (ed. ) (Jun 1985), [Jonathan Rees & W. D. Clinger, (eds. , along with 17 others) Published under the title, ``revised report on the Algorithmic Language SCHEME,''SIGPLAN NOTICES 21 /, 12 (December, 1986), 37--79]
TR173
Local Networking at the M. I. T. Computer Laboratories: A User's View , M. W. Lugowski (Jun 1985),
TR172
Representations of Intensions, Representations as Intensions, and Propositional Attitudes , J. A. Barnden (Jun 1985),
TR171
Computer Science Departmental report , CS Department (May 1985),
TR170
Constraining Control , D. P. Friedman and C. T. Haynes (May 1985), [Proceedings of the 1985 ACM Symposium on Principles of Programming Languages, (January, 1985), 245--254 [Not available-TR 213 replaces TR 170]]
TR169
Fast Many-to-One Matching Algorithms , P. W. Purdom and C. A. Brown (May 1985), [First International Conference on rewriting Techniques and Applications, Dijon, France (May, 1985), Also in Jean-Pierre Jouannand (ed. ),rewriting Techniques and Applications, LNCS 202, pp. 407--416, Springer-Verlag, New York (1985)]
TR168
Storage Allocation for List Multiprocessing , S. Johnson (Mar 1985),
TR167
On the Probabilistic Performance of Algorithms for the Satisfiability Problem , J. Franco (Mar 1985), [Information Processing Letters 23, (1986), 103--106]
TR166
Scheme as an Interactive Graphics Programming Environment , L. D. Sabbagh (Feb 1985),
TR165
Probabilistic Analysis of a Generalization of the Unit Clause Literal Selection Heuristic for the-Satisfiability Problem , J. Franco and Ming-Te Chao (Jan 1985), [to appear in Information Sciences]
TR164
Probabilistic Analysis of the Unit Clause to Maximum Occurring Literal Selection Heuristics for the 3-Satisfiability Problem , J. Franco and Ming-Te Chao (Dec 1984),
TR163
Design for a Multiprocessing Heap with On-board Reference Counting , D. S. Wise (Jan 1985), [Revised July, 1985), Proceedings of the IFIP Int'l. Conf. on Functional Programming Languages and Computer Architecture, Nancy, France, (Sept. 16--19, 1985)]
TR162
Linear Future Semantics and Its Implementation , S. Kolbl and M. Wand (Oct 1984), [Revised Apr. 1986), Science of Computer Programming]
TR161
Reification: Reflection without Metaphysics , D. P. Friedman and M. Wand (Aug 1984), [Proc. 1984 ACM Symposium on Lisp and Functional Programming (August, 1984), 348--355]
TR160
An Implementation of 2-Lisp , C. D. Halpern (Jun 1984),
TR159
Engines Build Process Abstractions , C. Haynes and D. Friedman (Aug 1984), [Conference Record of the 1984 ACM Symposium on LISP and Functional Programming, Austin, TX (Aug. , 1984) 18--24]
TR158
Continuations and Coroutines , C. Haynes, D. Friedman, and M. Wand (Aug 1984), [Conference Record of the 1984 ACM Symposium on LISP and Functional Programming, Austin, TX (Aug 1984) 293--298. Also appeared in Computer Languages 2, No. 3/4 (1986) 143--153 under new title, ``Obtaining Coroutines with Continuations'']
TR157
Using mkmac , E. Kohlbecker (May 1984), [Not available --- Revised TR 153 includes mkmac]
TR156
Direct Denotational Semantics: Combinator-based Compilation of Goto's , M. Lao (May 1984),
TR155
eu-Prolog: Reference Manual and Report , E. Kohlbecker (Apr 1984),
TR154
Some Observations on n-Valued Disjointly Separable Functions , G. Epstein, J. Lee, and P. O. Mandayam (May 1984), [Proceedings of the Fourteenth International Symposium on Multiple-valued Logic, (May, 1984)]
TR153
Scheme 84 Interim Reference Manual , D. Friedman, C. Haynes, E. Kohlbecker and M. Wand (Feb 1984), [Revised, June, 1985]
TR152
On Short-Term Information-Processing in Connectionist Theories , J. Barnden (Jan 1984), [Cognition and Brain Theory, 7, (1), 1984]
TR151
Programming with Continuations , D. Friedman, C. Haynes and E. Kohlbecker (Jan 1984), [Program Transformation and Programming Environments, (P. Pepper, ed. ), Springer-Verlag: Berlin, Heidelberg (1984), 263--274]
TR150
A Case Study of a Combinator-Based Compiler for a Language with Blocks and Recursive Functions , Marek J. Lao (Oct 1983),
TR149
C-Scheme Reference Manual , Kent Dybvig (Sep 1983), [Master's Thesis]
TR148
A Semantic Algebra for Logic Programming , Mitchell Wand (Aug 1983),
TR147
Prototyping Data Flow by Translation into Scheme , Daniel P. Friedman and Pee-Hong Chen (Aug 1983),
TR146
A Functional Approach to Geometric Applications in Computer Graphics , Chen and Sabbagh (Aug 1983),
TR145
Scheme Graphics Reference Manual , Chen, Chi, Ost, Sabbaugh, Springer (Aug 1983),
TR144
On the Complexity of Partitioning Sparse Matrix Representations , Edward L. Robertson and J. P. Malmquist (Jan 1984), 10 pages [BIT 24 (1984), 60--68]
TR143
On the Average Case Analysis of some Satisfiability Model Problems , Khaled Bugara and Cynthia Brown (Dec 1982),
TR142
A Power domain Semantics for Indeterminism , David S. Wise (Jul 1983),
TR141
Synthesis of Digital Designs from Recursion Equations , Steven D. Johnson (May 1984), [PhD dissertation, Published by MIT Press, May, 1984]
TR140
Communication by Non-Writing in Synchronous Parallel Machines Or: The Joys of Not Writing , J. Burns, K. Keutzer, and P. W. Purdom (Jun 1983),
TR139
Scheme Translation of Functions from FUNCTIONAL PROGRAMMING APPLICATION AND IMPLEMENTATION , Dave Laymon (Apr 1983),
TR138
Implementation of Two Data-Flow Models in Scheme , Pee-Hong Chen (Feb 1983),
TR137
Scheme 311 Reference Manual , C. Fessender, W. Clinger, D. Friedman, and C. Haynes (Feb 1983), [Not available-- TR 153 is an updated Scheme Manual]
TR136
Metafont, Metamathematics and Metaphysics , Douglas Hofstadter (Dec 1982),
TR135
A Theory of the Heuristic Game Tree Search , Chun-Hung Tzeng and Paul W. Purdom, Jr (Dec 1982), [Refer requesters to Chun-Hung Tzeng at Ball State]
TR134
Research in the Computer Science Department at Indiana University, 1981--82 , Mitchell Wand (Dec 1982),
TR133
A Scheme for Higher-Level Semantic Algebra , William Clinger, Daniel P. Friedman, and Mitchell Wand (Jan 1985), [Algebraic Methods in Semantics (John Reynolds & M. Nivat, eds. ), Cambridge University Press, (1985) 237--250]
TR132
Artificial Intelligence: Subcognition as Computation , Douglas R. Hofstadter (Nov 1982),
TR131
A Continuum of Diagrammatic Data Structures in Human Cognition , John Barnden (Oct 1982),
TR130
Who Shoves Whom Around Inside the Careenium? or, What is the Meaning of the Word ``I''? , Douglas R. Hofstadter (Jul 1982),
TR129
Issues in Applicative Real-Time Programming , Lennart Edblom and Daniel P. Friedman (Jun 1982),
TR128
The Pure Literal Rule and Polynomial Average-Time , Paul W. Purdom, Jr. and Cynthia A. Brown (Jun 1982), [SIAM J. on Computing, 14 4, (November, 1985), 943--953]
TR127
Switching Theory, Multiple-Valued Logic, and Logic Design , George Epstein (Jan 1983),
TR126
Guide to the Printed Circuit Board Fabrication Facility , Frank Prosser and Patricia J. Brajnifoff (Jan 1982),
TR125
Evaluating Search Methods Analytically , Paul W. Purdom, Jr. and Cynthia A. Brown (Apr 1982), [National Conf. on Artificial Intelligence (1982), 124--127]
TR124
Models, Languages, and Heuristic for Distributed Computing , Bob Filman and Daniel P. Friedman (Jun 1982), [AFIPS Conf. Proc. (June, 1982) AFIPS Press, Arlington, Va 671--677]
TR123
Search Rearrangement Backtracking and Polynomial Average Time , Paul W. Purdom, Jr (Jan 1983), [Artificial Intelligence 21 (1983), 117--133]
TR122
Research in the Computer Science Department at I.U. 1980--81 , Mitchell Wand, Editor (Dec 1981),
TR121
Phonological Analysis by Computer: Prospects and Direction , Lee Becker (Dec 1981),
TR120
DSI Program Description , S. D. Johnson and A. T. Kohlstaedt (Nov 1981),
TR119
Daisy 1. 0 Reference Manual , A. T. Kohlstaedt (Nov 1981),
TR118
Polynomial Average-Time Satisfiability Problems , Paul W. Purdom, Jr. and Cynthia A. Brown (Dec 1981), [Inf. Sciences 41, (1987), 23--42]
TR117
Solving Satisfiability Problems with Less Searching , Paul W. Purdom, Jr (Jul 1982), [(Revised),IEEETPAMI 6 (1984), pp 510--513]
TR116
Circuits and Systems: Implementing Communication with Streams , Steven D. Johnson (Jul 1982), [(Revised), IMACS Transactions on Scientific Computation, Vol. II, (ed.) M. Ruschitzka, 1983, pp. 311--319]
TR115
Compact Layout of Banyan/FFT Networks , David S. Wise (Jan 1981), [In H. Kung, B. Sproull, and G. Steele (eds. ), VLSI Systems and Computations, Computer Science Press, Rockville, MD (1981), 186--195g]
TR114
Connection Networks for Output Driven List Multiprocessing , Steve Johnson (Oct 1981),
TR113
Specifying One-Pass Bottom-Up Compilers , Cynthia A. Brown and Paul W. Purdom, Jr (Jul 1981), [Title changed to: A Methodology and Notation for Compiler Front End Design, published in Software Practice and Experience 14, (4) Apr. 1984, 335--346]
TR111
Interpreters for Functional Programming , David S. Wise (Jan 1982), [In J. Darlington, P. Henderson and D. Turner(eds. ) Functional Programming and its Applications, Cambridge University Press (1982)]
TR110
The SKI Manual , Gray Clossman (Jul 1981),
TR109
Solving Common Programming Problems with an Applicative Programming Language , Thomas M. Grismer (Jun 1981),
TR107
A SCHEME for Distributed Processes , Rex A. Dwyer and R. Kent Dybvig (Apr 1981),
TR106
Fancy Ferns Require Little Care , Daniel P. Friedman and David S. Wise (Jan 1981), [Symposium on Functional Languages and Computer Architecture, S. HolmsTRom, NordsTRom, B. , and Wikstrom, A. (eds. ), Lab for Programming Methodology, Goteborg, Sweden (1981)]
TR105
How to Search Efficiently , Cynthia A. Brown and Paul Walton Purdom, Jr (Mar 1981), [Seventh International Joint Conf. on Artificial Intelligence, Vancouver, British Columbia (1981), 588--594]
TR103
Context-FREE Grammars for the Balanced, Overbalanced and Unbalanced Binary Languages , George Epstein and Casper Martin (Mar 1981),
TR102
On Rine's View of Boolean Algebras , George Epstein (Feb 1981),
TR101
Average Time Analyses of Simplified Davis-Putnam Procedures , Allen Goldberg, Paul W. Purdom, Jr. and Cynthia A. Brown (Jan 1982), [Information Processing Letters 15 (1982), 72--75]
TR100
An Empirical Comparison of Backtracking Algorithms , Cynthia A. Brown and Paul Walton Purdom, Jr (Jan 1982), [IEEE TPAMI 4 (1982), 309--316]
TR99
Inspiring Distribution in Distributed Computation , Robert E. Filman, Daniel P. Friedman (Dec 1980), [Note: same as TR 124 which has been published]
TR98
Research in the Computer Science Department at Indiana University , Mitchell Wand, Editor (Aug 1980),
TR97
An Experiment in SCHEME-Based Distribution Processing , G. Wolynes, J. Ginder, B. Roitblat, V. Roland (Aug 1980),
TR96
Shakespeare's Plays Weren't Written by Him, But by Someone Else of the Same Name , Douglas R. Hofstadter, Gray A. Clossman, and Marsha J. Meredith (Jul 1980),
TR95
Different Advice on Structuring Compilers and Proving Them Correct , Mitchell Wand (Sep 1980),
TR94
Deriving Target Code as a Representation of Continuation Semantics , Mitchell Wand (Jul 1982), [ACM Trans. on Prog. Lang. and Systems 4, 3 (July, 1982), 496--517]
TR93
SCHEME 3. 1 REFERENCE MANUAL , Mitchell Wand (Jun 1980),
TR92
Multiprocessing CODA: Applying PLITS Formalism to a Quasi-Parallel Model of SCHEME , Joseph R. Ginder (May 1980),
TR91
A Formal Model for Message Passing Systems , James E. Burns (Sep 1980), [(Revised)]
TR90
Continuation-Based Multiprocessing , Mitchell Wand (Jan 1980), [Proc. 1980 LISP Conference, 19--28]
TR89
An Analysis of Backtracking with Search Rearrangement , Cynthia A. Brown and Paul W. Purdom, Jr (Jun 1981), [(Revised) SIAM J. on Computing, 12 4, (1983) 717--733]
TR88
Specifications, Models, and Implementations of Data Abstractions , Mitchell Wand (Jan 1982), [Theoretical Computer Science 20 (1982) 3--32]
TR87
Parsing Extended LR(k) Grammars , Paul Walton Purdom, Jr. and Cynthia A. Brown (Jan 1980), [Acta Informatica 14 (1980), 299--315]
TR86
An Average Time Analysis of Backtracking , Cynthia A. Brown and Paul W. Purdom, Jr (Jan 1981), [SIAM J. on Computing (1981), 583--593]
TR85
A Computer System for the Analysis of Data Generated by Molecular Studies of DNA , Scott McCourt (May 1979),
TR84
An Approach to Fair Applicative Multiprogramming , David S. Wise and Daniel P. Friedman (Apr 1979), [G. Kahn (ed. ), Semantics of Concurrent Computation, Berlin, Springer (1979), 203--225]
TR83
Semantic Routines and LR(k) Parsers , Paul W. Purdom and Cynthia Brown (Jan 1980), [Acta Informatica, 14 (1980) 299--315]
TR82
Distributive Lattices of Order n , George Epstein (Mar 1979),
TR81
Classes as Syntactic Sugar , Mitchell Wand (Dec 1978),
TR80
An Indeterminate Constructor for Applicative Multiprogramming Record , Daniel P. Friedman and David S. Wise (Jan 1980), [7th ACM Symp. on Principles of Programming Languages (January, 1980), 245--250]
TR79
The Double Buddy-System , David S. Wise (Dec 1978),
TR78
Preliminary Approach to Applicative Programming for Systems , Daniel P. Friedman and David S. Wise (Nov 1978),
TR77
Backtracking with Multi-Level Dynamic Search Rearrangement , Paul W. Purdom, Jr. , Edward Robertson, and Cynthia Brown (Oct 1978), [Acta Informatica 15 (1981), 99--113]
TR76
Exact Formulas for the Buddy System , Paul W. Purdom, Jr. and Cynthia A. Brown (Jan 1980), [Information Sciences, 22 (1980) 1--18]
TR75
Morris's Garbage Compaction Algorithm Restores Reference Counts , David S. Wise (Jul 1979), [ACM Trans. on Programming Languages and Systems 1, 1 (July, 1979), 115--120]
TR74
Sting-unless: A Conditional, Interlock-free Store Instruction , Daniel P. Friedman and David S. Wise (Jan 1978), [Proc. 16th Ann. Allerton Conf. on Communication, Control, and Computing, University of Illinois, Urbana (1978), 578--584]
TR73
Reference Counting can Manage the Circular Environments of Mutual Recursion , Daniel P. Friedman and David S. Wise (Jan 1979), [Information Processing Letters, 8, 1 (January, 1979), 41--45]
TR72
Applicative Multiprogramming , Daniel P. Friedman and David S. Wise (Apr 1979), [(Revised)]
TR71
Context-Free Grammars for the Balanced and Overbalanced Binary Languages , George Epstein (Nov 1977),
TR70
A Note on Conditional Expressions , Daniel P. Friedman and David S. Wise (Nov 1978), [Comm. ACM 21, 11 (November, 1978), 931--933]
TR68
An Interpretive Model for a Language Based on Suspended Construction , Steven Dexter Johnson (Nov 2013),
TR66
Algebraic Theories and Tree Rewriting Systems , Mitchell Wand (Jun 1978), [(Revised)]
TR65
Final Algebra Semantics and Data Type Extensions , Mitchell Wand (Jan 1979), [J. Comp. Sys. Sci. , 19 (1979), 27--44]
TR64
Unbounded Computational Structures , Daniel P. Friedman and David S. Wise (Jul 1978), [Software Practice and Experience 8, 4 (July-August, 1978), 407--416]
TR63
Book Review of N. Rescher's Many-Valued Logic , George Epstein (May 1977), [Journal of Symbolic Logic]
TR62
Formal and Computer Poetry , George Epstein and Ben Shneiderman (Apr 1977),
TR61
Continuation-Based Program Transformation Strategies , Mitchell Wand (Jan 1980), [J. ACM, 27 (1980), 164--180]
TR60
Tree Size by Partial Backtracking , Paul W. Purdom (Nov 1978), [SIAM Journal on Computing 7, 4 (Nov 1978), 481--491]
TR59
Hardware Design Style I. A Mixed Logic Drafting Convention , Frank Prosser and D. Winkel (May 1977), [Computer Design, 16, 5 (May, 1977), 111--117]
TR58
An Interactive PLATO Lesson on Binary Tree Traversals , Edwin Brown III and Stuart C. Shapiro (Nov 1976),
TR57
The One-bit Reference Count , David S. Wise and Daniel P. Friedman (Sep 1977), [Nordisk Tidskr. Informationsbehandling (BIT) 17, 3 (September, 1977) 351--359]
TR56
Aspects of Applicative Programming for File Systems , Daniel P. Friedman and David S. Wise (Mar 1977), [Proc. ACM Conf. on Language Design for Reliable Software, SIGPLAN Notices 12, 3 (March, 1977), 41--55]
TR55
Compiling Lambda Expressions Using Continuations and Factorizations , Mitchell Wand and Daniel P. Friedman (Mar 1978), [Journal of Comp. Lang. 3, (1978) 241--263]
TR54
Automatic Program Indentation , Paul W. Purdom (Jan 1978), [BIT, 18 (1978) 211--218]
TR53
Logic for Semantic Networks , Robert J. Bechtel (Jul 1976),
TR52
Aspects of Applicative Programming for Parallel Processing , Daniel P. Friedman and David S. Wise (Apr 1978), [IEEE Trans. on Computers, C-27, 4 (April, 1978) 289--296]
TR51
Database Management Systems: A Review with Reference , Ben Shneiderman (May 1976), [Information Processing Management, 13p. 23 (1977)]
TR50
Output Driven Interpretation of Recursive Programs, or Writing Creates and Destroys Data Structures , Daniel P. Friedman and David S. Wise (Dec 1976), [Information Processing Letters 5, 6 (December, 1976), 155--160]
TR49
VW: A Small but Potent Machine-Independent Text Editor , Nicholas F. Vitulli (Apr 1976), [Master's thesis. Should be available at Swain Library.]
TR48
Experimental Investigations of Computer Program Debugging and Modifications , Ben Shneiderman and Don McKay (Jul 1976), [Proceedings of the Sixth International Congress of International Ergonomics Association (July, 1976) (Available through Ben Shneiderman, Dept. of Computer Science, Univ. of Maryland, College Park, Maryland 20742.)]
TR47
A Logic for Semantic Networks , Robert Bechtel and Stuart C. Shapiro (Mar 1976),
TR46
The Relevance of Relevance , Stuart C. Shapiro and Mitchell Wand (Nov 1976), [(Revised)]
TR45
Recursive Programming through Table Look-Up , Daniel P. Friedman, David S. Wise, and Mitchell Wand (Jan 1976), [Proceedings of the 1976 AC Symposium on Symbolic and Algebraic Computation, (1976)]
TR44
CONS should not Evaluate its Arguments , Daniel P. Friedman and David S. Wise (Jan 1976), 26 pages plus appendix [I. S. Michaelson and R. Milner (eds. ), Automata, Languages and Programming, Edinburgh University Press, Edinburgh (1976), 256--284]
TR43
Reduced Combined Indexes for Efficient Multiple Attribute Retrieval , Ben Shneiderman (Feb 1977), [Information Systems, 21977, p. 149]
TR42
Efficient Axioms for Algebra Semantics , Mitchell Wand (Nov 1975), [Replaced by revised version of TR #29]
TR41
Mathematical Linguistics, Logic and the Development of Language and Reasoning in the Child , George Epstein and Stuart C. Shapiro (Oct 1976), [Annals of the New York Academy of Sciences, 280 (October,1976),120-126]
TR40
An Environment for Multiple-Valued Recursive Procedures , Daniel P. Friedman and David S. Wise (Jan 1977), [In B. Robinet (ed. ) Programmation, Dunod Informatique, Paris (1977), 182--200]
TR38
Decisive Venn Diagrams , George Epstein (Jan 1976), [Proceedings of the 1976 Int'l. Symp. on Multiple-Valued Logic]
TR37
Towards a Cognitive Model of Programmer Behavior , Ben Shneiderman and Richard Mayer (Jun 1979), [Intl. J. Comp. and Information Science 8, 3 (June, 1979), p. 219]
TR36
Experimental Investigations of the Utility of Flowcharts in Programming , Ben Shneiderman, Richard Mayer, Don McKay and Peter Heller (Jun 1977), [COMM. ACM 20, (June, 1977)]
TR34
Garbage Collecting a Heap which Includes a Scatter Table , Daniel P. Friedman and David S. Wise (Apr 1977), [Information Processing Letters 5, 6 (December, 1976) 161--164 Erratum Information Processing Lett. 6, 2 (April, 1977), 72]
TR33
Hendrix's Model for Simultaneous Actions and Continuous Processes: An Introduction and Implementation , John D. Lowrance and Daniel P. Friedman (Jan 1977), [International Journal of Man-Machine Studies 9 (1977), 537--581]
TR32
Batched Searching of Sequential and Tree Structured Files , Ben Shneiderman and Victor Goodman (Sep 1976), [ACM TODS1}, 3 (September, 1976), p. 268]
TR31
An Introduction to SNePs , Stuart C. Shapiro (Dec 1976), [(Revised)]
TR30
On Storage Structures and Their Transformations , Peter Scheuermann and Ben Shneiderman (Jun 1975),
TR29
First-Order Identities as a Defining Language , Mitchell Wand (May 1979), [(Revised) Published in Acta Informatica 14, (1980), 337--357]
TR28
GRAPHER, an Interactive Environment for the Study of Graph Theory , Stephen Hoover and Stuart C. Shapiro (May 1975),
TR27
Functional Combination , Daniel P. Friedman and David S. Wise (Jan 1978), [Computer Languages 3, 1 (January, 1978), 31--35]
TR26
The Basic Arithmetic and Mathematics of Two's Complementary Computations , George Epstein (Apr 1975),
TR25
A Review of Design Techniques for Programs and Data , Ben Shneiderman (Jan 1976), [Software Practice and Experience 5, (1976), 555--567]
TR24
Logics which are Characterized by Subresiduated Lattices , George Epstein and A. Horn (Jan 1976), [Zeitschrift f "ur mathematische Logik und Grundlagen der Mathematik Bd. 22, (1976)]
TR23
Fixed-Point Constructions in Order-Enriched Categories. , Mitchell Wand (Aug 2013), 34 [Theoret. Comp. Sci. 8 (1979)]
TR23
Fixed-Point Constructions in Order-Enriched Categories. , Mitchell Wand (Aug 2013), 34 [Theoret. Comp. Sci. 8 (1979)]
TR21
Boolean-Valued loops , David S. Wise, Daniel P. Friedman, Stuart C. Shapiro and Mitchell Wand (Dec 1975), [Nordisk Tidskr. Informations behandling (BIT) 15]
TR20
The Frame Model of Computation , Mitchell Wand (Dec 1974),
TR19
Unwinding Structured Recursions into Iterations , Daniel P. Friedman and David S. Wise (Dec 1974),
TR18
Introduction to Algebraic Concepts for Computer Foundations , George Epstein (Oct 1974),
TR17
Exploratory Experiments in Programmer Behavior , Ben Shneiderman (Jun 1976), [Intl. J. Computer and Information Sciences 5, (June, 1976), 123--143]
TR16
Experimental Testing in Programming Languages, Stylistic Considerations and Design Techniques. , Ben Shneiderman (Jan 1975), [Proc. NCC, AFIPS Press (1975), 653--656]
TR15
PLATO Lessons for a Data Structures Course , Stuart C. Shapiro (Aug 1974),
TR14
Induction, Recursion, and Programming , Mitchell Wand (Jul 1976), [(Revised) Published by Elsevier North Holland, 1980]
TR13
Towards a Theory of Encoded Data Structures and Data Translation , Ben Shneiderman and Stuart C. Shapiro (Mar 1976), [Int. J. of Computer and Information Sciences 5, 1 (March, 1976), 33-43]
TR12
Interactive Consulting Via Natural Language , Stuart C. Shapiro and Stanley C. Kwasny (Aug 1975), [CACM 18, 8 (August, 1975), 459--462]
TR11
Realizing Data Structures as Lattices , Mitchell Wand (Jan 1975), [Replaced by TR #23]
TR10
A Case for While-Until , Daniel P. Friedman and Stuart C. Shapiro (Jul 1974), [SIGPLAN Notices 9, 7 (July, 1974),7--14]
TR9
Referencing Lists by an Edge , David S. Wise (Jun 1976), [Comm. ACM 19, 6 (June 1976), 338--342]
TR8
A Guide to the Use of HYCOMP1 , Stuart C. Shapiro and David A. Grace (Dec 1973),
TR6
Interactive Visual Simulation for Beginning Programming Students , Stuart C. Shapiro and Douglas P. Witmer (Feb 1974), [(also known as TR7) SIGCSE Bulletin 6, 1 (February, 1974), 11--14]
TR4
A Strong Pumping Lemma for Context-Free Languages , David S. Wise (Mar 1976), [Theoretical Computer Science 3, 3 (1976) 359--369]


This technical report index was auto-generated: Fri Jul 25 3:30:02 2014








Valid HTML 4.01!