---

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 (techreports at cs.indiana.edu) 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, Luddy Hall
Bloomington, Indiana 47405-4101
UNITED STATES
email: techreports at cs.indiana.edu

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

TR746

Disentangled Representation Learning Using (β-)VAE and GAN , Mohammad Haghir Ebrahimabadi (Aug 1973), 21 - (23 including CV at the end) pages [Master's thesis]

TR745

Meta Proximal Policy Optimization for Cooperative Multi-Agent Continuous Control , Boli Fang (May 2022), 35 pages [2. Additional Notes: Master Thesis; paper has been accepted at IJCNN 2022.]

TR744

Reproducibility in Scientific Computing , Jonathan Klinginsmith (Feb 2021), 16 pages [Part requirement of a Ph.D. candidacy reinstatement plan]

TR743

A Bayesian Evaluation of User App Choice in the Presence of Risk Communication on Android Devices , Behnood Momenzadeh, Jean Camp (Sep 2019), 10 pages

TR742

IoTMarketplace: Informing Purchase Decisions with Risk Communication , Shakthidhar Reddy Gopavaram, Jayati Dev, Sanchari Das, Jean Camp (Aug 2019), 16 pages pages

TR741

LoCal: A Language for Programs Operating on Serialized Data , Michael Vollmer, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni, Ryan R. Newton (Apr 2019), 34 pages

TR740

Insider Threat Event Detection in User-System Interactions , Pablo Moriano, Jared Pendleton, Steven Rich, and L. Jean Camp (Sep 2017), 12 pages [A final version of this paper was published in Proceedings of MIST'17, October 30, 2017, https://doi.org/10.1145/3139923.3139928.]

TR739

Graph DSLs : A Survey on Green-Marl & Sparql , Thejaka Amila Kanewala (Jul 2017), 11 pages [A Report Submitted in Partial Satisfaction of the Requirements for an Independent Research 2014.]

TR738

A Survey on π-Calculus , Thejaka Amila Kanewala (Jun 2017), 11 pages [Submitted in Partial Satisfaction of the Requirements for the Ph.D Qualifying Examination in 2014]

TR737

Strategies and Tradeoffs in Designing and Implementing Embedded DSLs , Thejaka Amila Kanewala (Jun 2017), 10 pages [Submitted in Partial Satisfaction of the Requirements for the Ph.D Qualifying Examination in 2014]

TR736

Peeling the Lemons Problem with Risk Communication for Mobile Apps , Behnood Momenzadeh, School of Informatics and Computing, Indiana University Bloomington, Jean Camp, School of Informatics and Computing, Indiana University Bloomington (Jun 2017), 9 pages [This is being posted for sharing with the FTC as a tech report only. It is Ph.D. work, but a first draft.]

TR735

Can You Hear Me Now?: A Technical Report on Combining Audio with Privacy Permissions , SHAKTHIDHAR REDDY GOPAVARAM, Indiana University, OMKAR BHIDE, Indiana University, JEAN CAMP, Indiana University (Jun 2017), 21 pages [This is being posted for sharing with the FTC as a tech report only. It is Ph.D. work, but a first draft.]

TR734

Distributed Control in HPX , Thejaka Amila Kanewala (May 2017), 10 pages [Submitted in Partial Satisfaction of the Requirements for the Ph.D Qualifying Examination in 2014]

TR733

Characterization of Internet Routing Anomalies Through Graph Mining , Pablo Moriano, Srivatsan Iyer, and L. Jean Camp (May 2017), 15 pages [This is being posted for sharing with Cisco as a tech report only]

TR732

LibPhotonNBC: A RDMA Aware Collective Library on Photon , Udayanga Wickramasinghe, Ezra Kissel, Andrew Lumsdaine (May 2017), 15 pages

TR731

Evaluating Collectives in Networks of Multicore/Two-level Reduction , Udayanga Wickramasinghe, Luke DAlessandro, Andrew Lumsdaine, Ezra Kissel, Martin Swany, Ryan Newton (May 2017), 15 pages [This is an extended version of a paper under submission (not accepted yet)]

TR730

Usability and Acceptability of the Yubico Security Key , Andrew C. Dingman, Gianpaolo Russo, and Jean Camp (Feb 2017), 12 pages

TR729

Gradual Typing in an Open World , Michael M. Vitousek and Jeremy G. Siek (Oct 2016), 33 pages

TR728

Crossing Analytics Systems: A Case for Integrated Provenance in Data Lakes , Isuru Suriarachchi and Beth Plale (Sep 2016), 6 pages [Accepted for eScience 2016, http://escience-2016.idies.jhu.edu/]

TR727

Incompetents, criminals, or spies: Macroeconomic analysis of routing anomalies , Pablo Moriano, Soumya Achar, and L. Jean Camp (Jul 2016), 29 pages [A final version of this paper was published in Computers & Security at https://doi.org/10.1016/j.cose.2017.06.011]

TR726

The Semantics of ParalleX, v1.0 , Matteo Cimini, Jeremy G. Siek, and Thomas Sterling (May 2016), 34 pages

TR725

Provenance as Essential Infrastructure for Data Lakes , Isuru Suriarachchi and Beth Plale (Apr 2016), 4 pages [Accepted for IPAW 2016, http://www2.mitre.org/public/provenance2016/ipaw.html]

TR724

Too Much Too Late: Influence of risk communication on Android App installations , Prashanth Rajivan & Jean Camp, School of Informatics and Computing (Feb 2016), 12 pages

TR723

Bongo: A BGP Speaker Built for Defending Against Bad Routes , Kevin Benton, Dr. L. Jean Camp, Dr. Martin Swany (Feb 2016), 10 pages

TR722

A Survey on SEDA and Using SEDA to Optimize HDFS Read Operation , Isuru Suriarachchi (Oct 2015), 8 pages [Written for PhD qualifying exam]

TR721

Secure Provenance for Data Preservation Repositories , Isuru Suriarachchi (Oct 2015), 9 pages [Written for PhD qualifying exam]

TR720

Addressing the Limitations of Γ-privacy , Isuru Suriarachchi (Oct 2015), 7 pages [Written for PhD qualifying exam]

TR719

Simplifying Probabilistic Programs Using Computer Algebra , Jacques Carette and Chung-chieh Shan (Sep 2015), 17 pages [A slightly abbreviated version of this paper is being submitted to PADL 2016.]

TR718

Proceedings of the 2014 Scheme and Functional Programming Workshop , Jason Hemann, John Clements (editors) (Sep 2015), 71 pages

TR717

Manual for EAR4 and CAAR Weka Plugins, Case-Based Regression and Ensembles of Adaptations, Version 1 , Vahid Jalali and David Leake (Apr 2015), 12 pages pages

TR716

Instrument for Measuring Perception of Online Risks and Benefits of Information Sharing , L. Jean Camp (Dec 2014), pages

TR715

Instrument for Measuring Computing and Security Expertise , Prashanth Rajivan, Pablo Moriano, Timothy Kelley and Jean Camp (Feb 2015), pages

TR714

Preproceedings of the 26nd Symposium on Implementation and Application of Functional Languages (IFL 2014) , Sam Tobin-Hochstadt, editor (Oct 2014), 237 pages

TR713

Evaluation of Data Storage in HathiTrust Research Center Using Cassandra , Guangchen Ruan and Beth Plale (Jul 2014), 11 pages

TR712

A Language for Nested Data Parallel Design-space Exploration on GPUs , Bo Joel Svensson, Mary Sheeran, Ryan R. Newton (Aug 2014), 16 pages pages

TR711

Use of Hybrid Systems to model the RobotiQ Adaptive Gripper , Giulia Franchi and Kris Hauser (Feb 2014), 17 pages

TR710

Freeze After Writing: Quasi-Deterministic Parallel Programming with LVars , Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton (Dec 2013), 56 pages pages

TR709

A New Module in RAPSearch2 for Fast Protein Similarity Search of Paired-end Sequences , Xiaoqian Zhang, Haixu Tang (Dec 2013), 16 pages pages [Master's capstone report]

TR708

Advanced Keyword Search on Graph , Yifan Pan; Yuqing Wu (Aug 2013), 9 pages [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 pages

TR706

Just-in-time Acceleration of JavaScript , Uday Pitambare, Arun Chauhan, Saurabh Malviya (Feb 2013), 14 pages pages

TR705

A Framework for Optimizing Function Call Sequences in MATLAB or Inter-procedural Optimization without Inter-procedural Analysis , Arun Chauhan, Chun-Yu Shei (Aug 2014), 10 pages pages

TR704

RubyWrite: An Embedded DSL for Tree Rewriting , Arun Chauhan, Andrew Keep, Chun-Yu Shei, Pushkar Ratnalikar (Jan 2013), pages

TR703

A Uniform Terminology for C++ Concepts , Larisse Voufo, Andrew Lumsdaine (Jan 2013), 11 pages 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 pages

TR701

Temporal Data Mining of Scientific Data Provenance , Peng Chen, Beth Plale, Mehmet Aktas (Jul 2012), 24 pages pages

TR700

The eXtensible Session Protocol: A Protocol for Future Internet Architectures , Ezra Kissel (Delaware), Martin Swany (Indiana) (Feb 2012), 14 pages 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 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 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 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 pages

TR695

BLACR: TTP-Free Blacklistable Anonymous Credentials with Reputation , Man Ho Au, Patrick P. Tsang, Apu Kapadia, and Willy Susilo (May 2011), pages 34 pages

TR694

A Study of RDB-based RDF Data Management Techniques , Vahid Jalali, Mo Zhou, Yuqing Wu (May 2011), pages 12 pages

TR693

Sigiri: Uniform Abstraction for Large-Scale Compute Resource Interactions , Eran Chinthaka Withana and Beth Plale (Mar 2011), 9 pages pages

TR692

Efficient Association Discovery with Keyword-based Constraints on Large Graph Data , Mo Zhou, Yifan Pan, Yuqing Wu (Mar 2011), 11 pages pages [submitted to VLDB 2011]

TR691

Improving Automatic Weather Observations with the Public Twitter Stream , Jeff Cox, Beth Plale (Feb 2011), 25 pages 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 pages

TR689

Schema-Independent and Schema-Friendly Scientific Metadata Management , Scott Jensen and Beth Plale (Jan 2011), 8 pages 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), pages [Updated July 2011]

TR688

PEREA: Practical TTP-Free Revocation of Repeatedly Misbehaving Anonymous Users , Man Ho Au, Patrick P. Tsang, Apu Kapadia (Jul 2011), pages [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), pages

TR686

A Composable Runtime Recovery Policy Framework Supporting Resilient HPC Applications , Joshua Hursey & Andrew Lumsdaine (Aug 2010), 12 pages pages

TR685

Ordering Depth First Search to Improve AFD Mining , Jeremy T. Engle, Edward L. Robertson, and Dimitar G. Nikolov (Jun 2010), Pages: 12 pages [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 pages [Under submission (not accepted yet)]

TR683

XML-Based RDF Data Management for Efficient Query Processing , Mo Zhou, Yuqing Wu (Apr 2010), 6 Pages 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 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 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 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 pages

TR678

Modularizing Data Mining: A Case Study Framework , Jeremy T. Engle, Edward L. Robertson (Jul 2009), Pages 7 pages [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 pages [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 pages [This is a PhD thesis]

TR675

ORCS: An Oblivious Routing Congestion Simulator , Timo Schneider, Torsten Hoefler, and Andrew Lumsdaine (Feb 2009), 12 pages pages

TR674

Fixing Probe for Multi-Threaded MPI Applications , Douglas Gregor, Torsten Hoefler, Brian Barrett, and Andrew Lumsdaine (Jan 2009), 8 pages pages

TR673

Workload-aware Trie Indexes for XML , Sofia Brenes, Yuqing Melanie Wu, Hyungdae Yi (Jan 2009), 13 pages 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 pages

TR671

A Survey of Distributed Workflow Characteristics and Resource Requirements , Lavanya Ramakrishnan, Dennis Gannon (Sep 2008), 20 pages pages

TR670

Leapfrog: Enhancing Information Protection in Commodity Applications with Dataflow Control , XiaoFeng Wang, Zhuowei Li and Rui Wang (Aug 2008), pages

TR669

HTTP Fences: Immigration Control for Web Pages , Sid Stamm (Jul 2008), 11 pages pages

TR668

Full Resolution Lightfield Rendering , Andrew Lumsdaine, Todor Georgiev (Jul 2008), pages

TR667

Towards Automatic Reverse Engineering of Software Security Configuration , Rui Wang, XiaoFeng Wang, Kehuan Zhang, Zhuowei Li (Jul 2008), 12 pages pages

TR666

Representing LEAD Experiments in a FEDORA digital repository , You-Wei Cheah, Beth Plale (Jun 2008), 10 pages 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 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 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 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 pages

TR661

Diffusion and Adoption of IPv6 in the United States , Hillary A. Elmore, L. Jean Camp, Brandon P. Stephens (Mar 2008), 11 pages 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 pages

TR659

A Scalable and Robust Coordination Architecture for Distributed Management , Srinath Perera, Dennis Gannon (Feb 2008), 10 pages 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 2008), 16 pages 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 2008), 9 pages 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 pages [Master's Research Project]

TR653

View-Constraint Duality in Databases and Systems Engineering , John Springer (Oct 2007), 164 pages 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 pages

TR651

Net Trust: A Privacy-Aware Architecture for Sharing Web Histories , Alex Tsow, Shreyas Kamath and L. Jean Camp (Aug 2007), 11 pages pages

TR650

Starfish: A Table-Centric Tool for Design Derivation , Alexander W. Tsow (Aug 2007), 272 pages pages [Ph.D Thesis]

TR649

Deceit and Deception: A Large User Study of Phishing , Alex Tsow and Markus Jakobsson (Aug 2007), 46 pages pages

TR648

Tuple-Space Mapper: Design, challenges and Goals , Joseph A. Cottam and Andrew Lumsdaine (Jul 2007), 10 pages pages

TR647

A Virtual Filesystem Framework to Support Embedded Software Development , Bhanu Nagendra Pisupati (Jun 2007), 182 pages [PhD Dissertation and supporting designs]

TR646

Building a Trusted Location Service for Pervasive Computing Environments , Raquel Hill, Jalal Al-Muhtadi (May 2007), 6 pages 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 pages

TR644

CCA-LISI: On Designing A CCA Parallel Sparse Linear Solver Interface , Fang (Cherry) Liu and Randall Bramley (Jan 2007), 13 pages 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 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 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 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 pages

TR638

Fundamental Algebraic Concepts in Concept-Enabled C++ , Peter Gottschling (Oct 2006), 135 pages pages

TR637

Design, Implementation, and Usage of LibNBC , Torsten Hoefler and Andrew Lumsdaine (Sep 2006), 10 pages 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 pages

TR635

A Checkpoint and Restart Service Specification for Open MPI , Joshua Hursey and Jeffrey M. Squyres and Andrew Lumsdaine (Jul 2006), 8 pages

TR634

Extending Relational Query Optimization to Dynamic Schemas for Information Integration in Multidatabases , Catharine M. Wyss and Felix I. Wyss (Jul 2006), 12 pages pages

TR633

A Framework for Access Control for XML , Sriram Mohan(srmohan), Arijit Sengupta(asengupt) and Yuqing Wu(yuqwu) (Jul 2006), 40 pages [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 pages

TR631

MPI over Scripting Languages: Usability and Performance Tradeoffs , Craig Shue, Joshua Hursey, and Arun Chauhan (Feb 2006), 13 pages pages

TR630

A "Virtual Light" Interface for the Extended Analog Computer , Williams et. al. (Jan 2006), pages

TR629

Cryptography using the VLSI Extended Analog Computer , Gonzalez et al. (Jan 2006), pages

TR628

Cyclotron Beam Control and Internet Traffic Load Balancing with an EAC , Chen et. al. (Jan 2006), pages

TR627

Evolving Letter Recognition with an Extended Analog Computer , Parker, M. (Jan 2006), pages

TR626

Using Butterfly Wing Patterns to Solve Hamiltonian Circuit , Wu & Kim (Jan 2006), pages

TR625

Notes on Implementing the McCulloch-Kilmer RETIC with EAC , Mills et. al. (Jan 2006), pages

TR624

Denial of Service Attack Detection Using Extended Analog Computers , Shue, Kopecky and Wileman (Jan 2006), pages

TR623

Complementarity and Unconventional Computing , Jonathan W. Mills and Bryce Himebaugh (Jan 2006), pages

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 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 pages

TR620

Tracking and Activity Analysis in Retail Environments , Alex Leykin and Mihran Tuceryan (Oct 2005), 21 pages

TR619

Scheme 2005 Proceedings of the Sixth Workshop on Scheme and Functional Programming , J. Michael Ashley and Michael Sperber, editors (Sep 2005), 120 pages pages [Conference proceedings]

TR618

A Survey of Data Provenance Techniques , Yogesh L. Simmhan, Beth Plale, Dennis Gannon (Aug 2005), 25 pages [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 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 pages [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 pages

TR614

dQUOBEC Event Channel Communication System , Nithya Vijayakumar, Beth Plale (May 2005), 14 pages 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 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 pages

TR611

How to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible , Oleg Kiselyov (Mar 2005), 16 pages 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 pages

TR609

Access Control for XML - A Dynamic Query Rewriting Approach , Sriram Mohan, Arijit Sengupta, Yuqing Wu, Jonathan Klinginsmith (Feb 2005), 12 pages 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 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 pages

TR606

An Algebra for Triadic Relations , Ed Robertson (Jan 2005), 24 pages plus cover pages [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 pages [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 pages

TR603

Experiments with PageRank Computation , Ashraf Khalil and Yong Liu (Dec 2004), 9 pages 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 pages

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 pages

TR600

Proceedings of the Fifth Workshop on Scheme and Functional Programming , Olin Shivers and Oscar Waddell (Oct 2004), 128 pages 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 pages

TR598

eXtensible Relational Databases: a Relational Approach to Interoperability , J.J. Lu, S. -Y. Cheung, and C.M. Wyss (Jul 2004), 12 pgs. pages

TR597

An Instrument/Sensor Analysis of the MMSF Automated Photometric Telescope , Fang Liu, Randall Bramley and George Turner (Jun 2004), 10 pages pages

TR596

Reasoning about Additive Measures , Bassem Sayrafi and Dirk Van Gucht (Jun 2004), 18 pages pages

TR595

A Comparative Study of Elderly, Younger, and Chronically Ill Novice PDA Users , Katie A. Moor, Kay Connelly and Yvonne Rogers (Jun 2004), pages

TR594

Architectural Principles for Enterprise Frameworks , Richard A. Martin, Edward L. Robertson and John A. Springer (Apr 2004), 24 pages pages

TR593

Portal Access to Parallel Visualization of Scientific Data on the Grid , Charles Moad and Beth Plale (Feb 2004), 6 pages pages

TR592

A Compiler-Based Approach to Schema-Specific Parsers for XML , Kenneth Chiu and Wei Lu (Feb 2004), 9 pages 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 pages

TR590

Multiple Eigenspace Models for Scene Segmentation and Occlusion Removal , Arnab Dhua, Florin Cutzu, Durgesh Dewoolkar and Stephen Kiselewich (Jan 2004), 13 pages 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 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 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 pages

TR586

The Undecidability of Iterated Modal Relativization , Joseph S. Miller and Lawrence S. Moss (May 2003), 26 pages pages

TR585

Benchmark Evaluation of Xindice as a Grid Information Server , Prajakta Vaidya and Beth Plale (May 2003), 17 pages pages

TR584

An Information Theoretic Histogram for One-Dimensional Selectivity Estimation , Chris Giannella and Bassem Sayrafi (Jan 2005), 21 pages

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 pages

TR582

Combining Optimizations, Combining Theories , Todd L. Veldhuizen and Jeremy G. Siek (May 2003), 18 pages pages

TR581

Improving the Lazy Krivine Machine , Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. Siek, and Lynn Winebarger (Nov 2003), 27 pages pages [To appear in the journal, Higher Order and Symbolic Computation]

TR580

Polymer Processors , Jonathan W. Mills (Jul 2003), 6 pages 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 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 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 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 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 pages [SSI Version 1.0.0]

TR574

Survey of Publish Subscribe Event Systems , Ying Liu and Beth Plale (May 2003), 19 pages pages

TR573

Polychotomous Classification with Pairwise Classifiers: a New Voting Principle , Florin Cutzu (Jan 2003), 9 pages pages

TR572

Face Detection using Half-Face Templates , Yi Zhu and Florin Cutu (Nov 2002), 6 pages 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 pages

TR570

Using MPI with C# and the Common Language Infrastructure , Jeremiah Willcock, Andrew Lumsdaine, and Arch Robison (Oct 2002), 17 pages pages

TR569

Real Time Response to Streaming Data on Linux Clusters , Beth Plale, George Turner and Akshay Sharma (Nov 2002), 12 pages pages

TR568

Matrix Factorization Using a Block-Recursive Structure and Block-Recursive Algorithms , Jeremy D. Frens (Sep 2002), 169 pages pages [PhD Dissertation]

TR567

Breaking the Barriers: High Performance Security for High Performance Computing , Kay Connelly and Andrew A. Chien (Aug 2002), 7 pages 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 pages [ PhD Dissertation]

TR565

Visual Properties Differentiating Art from Real Scenes , Alex Leykin, Florin Cutzu and Riad Hammoud (Jul 2002), 40 pages pages [Paper revised, October 18, 2002]

TR564

Guaranteed Optimization: Proving Nullspace Properties of Compilers , Todd L. Veldhuizen and Andrew Lumsdaine (Jul 2002), 35 pages 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 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 pages

TR561

Architectural Support for Database Visualization , Dennis Groth (May 2002), 230 pages 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 pages

TR559

SOAP for High Performance Computing , Kenneth Chiu, Madhusudhan Govindaraju, and Randall Bramley (Mar 2002), 17 pages pages

TR558

Using Horizontal-Vertical Decompositions to Improve Query Evaluation , Chris Giannella, Mehmet Dalkilic, Dennis Groth and Edward Robertson (Feb 2002), 32 pages pages

TR557

Development of a Real-Time Vision System for an Autonomous Model Airplane , Danko Antolovic (Oct 2001), 102 pages pages [Master's Thesis]

TR556

Dynamic Querying of Streaming Data with the dQUOB System , Beth Plale and Karsten Schwan (Sep 2001), 22 pages pages

TR555

On an Information Theoretic Approximation Measure for Functional Dependencies , Chris Giannella and Edward Robertson (Aug 2001), 12 pages pages

TR554

An Object Encoding for SelfType , Steven E. Ganz and Daniel P. Friedman (Aug 2001), 13 pages pages

TR553

A Modular Interpreter in Scheme with Objects , Steven E. Ganz and Daniel P. Friedman (Aug 2001), 8 pages 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 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 pages

TR550

Design of a Pull and Push Parser System for Streaming XML , Aleksander Slominski (May 2001), 10 pages pages

TR549

SoapRMI Events: Design and Implementation , Aleksander Slominski, Madhusudhan Govindaraju, Dennis Gannon and Randall Bramley (May 2001), 17 pages pages

TR548

SoapRMI C++/Java 1.1: Design and Implementation , Aleksander Slominski, Madhusudhan Govindaraju, Dennis Gannon and Randall Bramley (May 2001), 17 pages pages

TR547

Blood from Dahm's Turnip , Kasey N. Klipsch and David S. Wise (Apr 2001), 3 pages pages

TR546

Recursion is a Computational Effect , Daniel P. Friedman and Amr Sabry (Dec 2000), 34 pages pages

TR545

Proceedings of the Third ACM SIGPLAN Workshop on Continuations (CW'01) , Amr Sabry (editor) (Jan 2001), 54 pages pages

TR544

Formal Derivation of a Scheme Computer , Steven D. Johnson (Sep 2000), 18 pages 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 pages

TR542

Techniques for Scientific C++ , Todd Veldhuizen (Aug 2000), 57 pages pages

TR541

Simple Equational Specifications of Rational Arithmetic , Lawrence S. Moss (Jul 2000), 10 pages pages

TR540

Solving Regular Tree Grammar Based Constraints , Yanhong A. Liu, Ning Li, Scott D. Stoller (Jul 2000), 26 pages 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 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 pages

TR537

A Bound on Attacks on Payment Protocols , Scott D. Stoller (Feb 2000), 16 pages pages [Revised January 10, 2001 and April 10, 2001.]

TR536

Model-Checking Multi-Threaded Distributed Java Programs , Scott D. Stoller (Jan 2000), 25 pages 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 pages

TR534

The Logic of Public Announcements, Common Knowledge and Private Suspicions , Alexandru Baltag, Lawrence S. Moss and Slawomir Solecki (Nov 1999), 37 pages pages

TR533

Morton-order Matrices Deserve Compilers' Support , David S. Wise and Jeremy D. Frens (Nov 1999), 18 pages pages

TR532

It's All About Process: Project-Oriented Teaching of Software Engineering , Dennis P. Groth and Edward L. Robertson (Nov 1999), 9 pages pages

TR531

Information Dependencies , Mehmet M. Dalkilic and Edward L. Robertson (Nov 1999), 15 pages pages

TR530

Adding a Path Connectedness Operator to FO + poly (linear) , Chris Giannella and Dirk Van Gucht (Nov 1999), 31 pages 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 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 pages

TR527

From Recursion to Iteration: What are the Optimizations? , Yanhong A. Liu and Scott D. Stoller (Jul 1999), 19 pages pages

TR526

A Bound on Attacks on Authentication Protocols , Scott D. Stoller (Jul 1999), 30 pages 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 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 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 pages [Revised July, 2000]

TR522

Formalization of Multi-level Zachman Frameworks , Richard Martin and Edward L. Robertson (Apr 1999), 25 pages pages

TR521

Leader Election in Asynchronous Distributed Systems , Scott D. Stoller (Jan 1999), 4 pages pages

TR520

A Reduction for Automated Verification of Authentication Protocals , Scott D. Stoller (Dec 1998), 22 pages pages [Revised April 1999]

TR519

C++ Templates as Partial Evaluation , Todd L. Veldhuizen (Nov 1998), 6 pages pages [Revised July 2000]

TR518

Quaternion Gauss Maps and Optimal Framings of Curves and Surfaces , Andrew J. Hanson (Oct 1998), 62 pages pages

TR517

Eliminating Dead Code on Recursive Data , Yanhong A. Liu and Scott D. Stoller (Oct 1998), 15 pages pages

TR516

One-bit Counts Between Unique and Sticky , David J. Roth and David S. Wise (Jul 1998), 8 pages 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 pages

TR514

Dynamic Programming via Static Incrementalization , Yanhong A. Liu and Scott D. Stoller (Sep 1998), 16 pages pages

TR513

Anti-Correlation Digital Halftoning , Dmitri A. Gusev (Aug 1998), 87 pages pages

TR512

Efficient Computation via Incremental Computation , Yanhong A. Liu (Jul 1998), 16 pages 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 pages

TR510

Hardware Verification using Coinductive Assertions , Paul S. Miner (Jun 1998), 138 pages pages [Ph.D. Dissertation]

TR509

Automated Symbolic Timing Analysis for Distributed Systems , Scott D. Stoller and Leena Unnikrishnan (May 1998), 14 pages pages [Revised: August, 1999]

TR508

Automatic Accurate Time-bound Analysis for High-level Languages , Yanhong A. Liu and Gustavo Gomez (Apr 1998), 17 pages pages

TR507

What is a File Synchronizer? , S. Balasubramaniam and Benjamin C. Pierce (Apr 1998), 21 pages pages

TR506

Justifying Finite Resources for Adversaries in Automated Analysis of Authentication Protocals , Scott D. Stoller (Mar 1998), 13 pages pages

TR505

Nonlinear Magnification , T. Alan Keahey (Feb 1998), 196 pages 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 pages

TR503

An Algorithm for Comparing Deterministic Regular Tree Grammars , Byron Long (Feb 1998), 9 pages pages

TR502

Type Destructors , Martin Hofmann and Benjamin C. Pierce (Feb 1998), 32 pages pages

TR501

Exploiting Implicit Loop Parallelism using Multiple Multithreaded Servers in Java , Fabian Breg, Aart Bik and Dennis Gannon (Dec 1997), 27 pages pages

TR500

Compiler Support for an RMI Implementation using NexusJava , Fabian Breg and Dennis Gannon (Dec 1997), 20 pages pages

TR499

Experience with an Analytic Approach to Teaching Programming Languages , Christopher T. Haynes (Dec 1997), 5 pages pages

TR498

Dead Code Elimination Using Program-Based Regular Tree Grammars , Yanhong A. Liu and Scott D. Stoller (Nov 1997), 16 pages 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 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 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 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 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 pages

TR492

Bounded Quantification with Bottom , Benjamin C. Pierce (Nov 1997), 21 pages pages

TR491

Type Checking and Inference , Daniel P. Friedman, Mitchell Wand and Christopher Haynes (Sep 1997), 46 pages pages

TR490

Dynamo: A Staged Compiler Architecture for Dynamic Program Optimization , Mark Leone and R. Kent Dybvig (Sep 1997), 17 pages pages

TR489

Javab -- A Prototype Bytecode Parallelization Tool , Aart J.C. Bik and Dennis B. Gannon (Jul 1997), 52 pages pages

TR488

Eliminating Dead Computations on Recursive Data , Yanhong A. Liu (Jul 1997), 21 pages pages

TR487

Javar -- A Prototype Java Restructuring Compiler , Aart J.C. Bik and Dennis B. Gannon (Jul 1997), 42 pages pages

TR486

The Accuracy of Floating Point Summations for CG-Like Methods , Etsuko Mizukami (Jul 1997), 60 pages pages [Master's Thesis]

TR485

A Tabular Language for System Design , Steven D. Johnson (Jun 1997), 29 pages pages

TR484

Fast and Effective Procedure Inlining , Oscar Waddell and R. Kent Dybvig (Jun 1997), 18 pages pages

TR483

A Note on Native Level 1 BLAS in Java , Aart J.C. Bik and Dennis B. Gannon (May 1997), 13 pages pages

TR482

Detecting Global Predicates in Distributed Systems with Clocks , Scott D. Stoller (May 1997), 15 pages pages

TR481

Leader Election in Distributed Systems with Crash Failures , Scott D. Stoller (Apr 1997), 15 pages pages

TR480

CE: The Classifier-Estimator Framework for Data mining , Mehmet M. Dalkilic, Edward L. Robertson, Dirk Van Gucht (May 1997), 13 pages pages

TR479

Constrained 3D Navigation with 2D Controllers , Andrew J. Hanson and Eric Wernert (Mar 1997), 9 pages pages

TR478

Nonlinear Magnification Fields , T. Alan Keahey and Edward L. Robertson (Mar 1997), 12 pages pages

TR477

Loop Optimization for Aggregate Array Computations , Yanhong A. Liu and Scott D. Stoller (Mar 1997), 20 pages pages

TR476

Pict: A Programming Language Based on the Pi-Calculus , Benjamin C. Pierce and David N. Turner (Mar 1997), 26 pages pages

TR475

PARDIS: A Parallel Approach to CORBA , Katarzyna Keahey and Dennis Gannon (Feb 1997), 16 pages pages

TR474

On Evolving Communication in Multiple Agent Systems , Cristobal Baray (Jan 1997), 9 pages 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 pages

TR472

Proof Without Words: A Generalization from Pythagoras , David S. Wise (Dec 1996), 1 page pages [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 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 pages [Ph.D. Dissertation]

TR469

Compiling: A High-level Introduction Using Scheme , Christopher T. Haynes (Oct 1996), 5 pages pages

TR468

Behavioral Equivalence in the Polymorphic Pi-Calculus , Benjamin C. Pierce, Indiana University and Davide Sangiorgi, INRIA-Sophia Antipolis (Oct 1996), 28 pages pages

TR467

A Model of Interaction for Parallel Objects in a Heterogeneous Distributed Environment , Katarzyna Keahey (Sep 1996), 13 pages pages

TR466

Experiments in Path Optimization via Pheromone Trails by Simulated Robots , Jason L. Almeter (Sep 1996), 8 pages pages

TR465

A Strategy for Exploiting Implicit Loop Parallelism in Java Programs , Aart J.C. Bik and Dennis B. Gannon (Sep 1996), 14 pages pages

TR464

Putting it in Context: A Syntactic Theory of Incremental Program Construction , Shinn-Der Lee (Jun 1996), 194 pages 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 pages

TR462

Introspective Learning for Case-Based Planning , Susan Fox (May 1996), 254 pages 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 pages

TR460

Non-Linear Image Magnification , T. Alan Keahey and Edward L. Robertson (Apr 1996), 11 pages pages

TR459

Viewing Text With Non-Linear Magnification: An Experimental Study , T. Alan Keahey and Julianne Marley (Apr 1996), 9 pages 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 pages

TR457

Sequential-System Factorization , Kamlesh Rath (Apr 1996), 104 pages pages [Ph.D. Dissertation]

TR456

DDD/FM9001 -- Derivation of a Verified Microprocessor , Bhaskar Bose (Apr 1996), 165 pages pages [Ph.D. Dissertation]

TR455

Techniques for Non-Linear Magnification Transformations , T. Alan Keahey and Edward L. Robertson (Mar 1996), 18 pages pages

TR454

SPLIB: A Library of Iterative Mothods for Sparse Linear Systems , Randall Bramley and Xiaoge Wang (Feb 1996), 25 pages pages

TR453

A User's Guide for the CADYF-SPLIB Project , Xiaoge Wang and Randall Bramley (Feb 1996), 62 pages pages

TR452

Providing Better Support for Quantified Queries , Sudhir G. Rao, Antonio Badia, and Dirk Van Gucht (Feb 1996), 14 pages 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 pages

TR450

Curve and Surface Framing for Scientific Visualization and Domain Dependent Navigation , Hui Ma (Feb 1996), 120 pages pages [Ph.D. Dissertation]

TR449

Square Blocking for Matrix-Multiplication , David S. Wise and Jeremy D. Frens (Jan 1996), 13 pages 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 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 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 pages

TR445

An Architecture for Parallel Symbolic Processing Based on Suspending Construction , Eric R. Jeschke (Nov 1995), 152 pages pages [Ph.D. Dissertation]

TR444

On the Foundations of Corecursion , Lawrence S. Moss and Norman Danner (Nov 1995), 21 pages pages

TR443

The Continuous Retina: Image Processing with a Single-sensor Artificial Neural Field Network , Jonathan W. Mills (Nov 1995), 6 pages pages

TR442

Object Template Abstractions for Light-Weight Data-Parallelism , Neelakantan Sundaresan and Dennis Gannon (Sep 1995), 25 pages pages

TR441

Programmable VLSI Extended Analog Computer for Cyclotron Beam Control , Jonathan Mills (Sep 1995), 9 pages 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 pages

TR438

Perception of Time as Phase: Toward an Adaptive-Oscillator Model of Rhythmic Pattern Processing , J. Devin McAuley (Jul 1995), 128 pages 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 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 pages

TR435

The University Graduate School Pilot Project in Electronic Application -- Final Report , Eric Jeschke (May 1995), 19 pages pages

TR434

A Two-Pass Realistic Image Synthesis Method for Complex Scenes , Kurt Zimmerman and Peter Shirley (May 1995), 20 pages pages

TR433

Matrix Inversion using Quadtrees Implemented in Gofer , Jeremy D. Frens and David S. Wise (May 1995), 73 pages pages

TR432

A Canonical Form for Circuit Diagrams , Kathi Fisler (May 1995), 20 pages pages

TR431

Experimental Evaluation of Coir: A System for Control and Data Parallelism , Neelakantan Sundaresan and Dennis Gannon (May 1995), 13 pages 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 pages

TR429

Iterative Methods for Fast Radiosity Solutions , Gladimir V. Guimaraes Baranoski, Randall Bramley and Peter Shirley (Apr 1995), 37 pages pages

TR428

Processing Queries Containing Generalized Quantifiers , Sudhir Rao, Antonio Badia, and Dirk Van Gucht (Apr 1995), 16 pages pages

TR427

Dynamic Interpretations of Constraint-Based Grammar Formalisms , Lawrence S. Moss and David E. Johnson (Mar 1995), 19 pages pages

TR426

Diagnosis of Ill-typed Programs , Venkatesh Choppella and Christopher T. Haynes (Feb 1995), 10 pages pages

TR425

Parallel Transport Approach to Curve Framing , Andrew J. Hanson and Hui Ma (Feb 1995), 20 pages pages

TR424

Parallel Dynamic Programming , Phillip G. Bradford (Dec 1994), 135 pages 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) pages [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 pages

TR422b

References for Techinical Report TR422a , Jacob Gotwals, Suresh Srinivas, and Dennis Gannon (Jan 1995), 12 pages (one half spacing) pages

TR421

Parallel I/O from the Users Perspective , Jacob Gotwals, Suresh Srinivas, and Shelby Yang (Jan 1995), 9 pages (2 columns, IEEE format) pages [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 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 pages

TR418

Undulant-Block Pivoting and Integer-Preserving Matrix Inversion , David S. Wise (Oct 1994), 70 pages 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 pages

TR416

A Logical Formalization of Hardware Design Diagrams , Kathi Fisler (Sep 1994), 28 pages 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 pages

TR414

Stiquito II and Tensipede: Two Easy-to-Build Nitinol-Propelled Robots , J. W. Mills (Aug 1994), pages

TR413

The Scheme Machine , Robert G. Burger (Aug 1994), 59 pages pages

TR412a

EMILY: A Visualization Tool for Large Sparse Matrices , R. Bramley and T. Loos (Jul 1994), 32 pages without screen shots (color slides) pages [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) pages

TR411

Notes on Adaptive Quadrature on the Hemisphere , P. Shirley and K. Chiu (Jul 1994), 6 pages pages

TR410a

Analog Test Board: Design and Operation (includes appendix) , R.A. Montante (Aug 1994), 107 pages pages

TR410b

Analog Test Board: Design and Operation (without appendix) , R.A. Montante (Aug 1994), 45 pages pages

TR410c

Analog Test Board: Design and Operation (appendix only) , R.A. Montante (Aug 1994), 63 pages pages

TR409

Continuations in Hardware-Software Codesign , M. Esen Tuna, Steven D. Johnson, and Robert G. Burger (Jul 1994), 7 pages pages

TR408

Visualizing Distributed Data Structures , Suresh Srinivas and Dennis Gannon (Jul 1994), 16 pages (one half spacing, 6 pages of color) pages [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 pages

TR406

Rotations for N-Dimensional Graphics , Andrew J. Hanson (Jun 1994), 13 pages 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 pages

TR404

Leveled Entity Relationship Model , Munish Gandhi, Edward L. Robertson and Dirk Van Gucht (May 1994), 38 pages pages

TR403

Interactive Rendering of Complex 3D Models in Pipelined Graphics Architectures , Paulo W.C. Maciel (May 1994), 44 pages pages

TR402

Analyzing Data-structure Movements in Message-Passing Programs , Sekhar R. Sarukkai and Jacob K. Gotwals (Mar 1994), 25 pages 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 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 pages

TR399

A Formalization of the Turing Test , Phillip G. Bradford and Michael Wollowski (Feb 1994), 16 pages pages

TR398

Specification and Synthesis of Bounded Indirection , Kamlesh Rath, M.Esen Tuna and Steven D. Johnson (Feb 1995), 15 pages pages

TR397

Maintaining Dynamic State: Deep, Shallow, and Parallel , Chris Haynes and Richard Salter (Feb 1995), 16 pages pages

TR396

Solving Linear Inequalities In a Least Squares Sense , R. Bramley and B. Winnicka (Jan 1994), 30 pages pages

TR395

A Query Language for List-Based Complex Objects , Latha S. Colby, Lawrence V. Saxton and Dirk Van Gucht (Dec 1993), 33 pages pages [Revised May 1994]

TR394

Incomplete Cholesky Factorization with Sparsity Pattern Modification , Xiaoge Wang, Kyle Gallivan and Randall Bramley (Dec 1993), 38 pages pages

TR393

CIMGS: An Incomplete Orthogonal Factorization Preconditioner , Xiaoge Wang, Kyle Gallivan, Randall Bramley (Dec 1993), 27 pages pages

TR392

An Introduction to Behavior Tables , Kamlesh Rath, M. Esen Tuna, and Steven D. Johnson (Dec 1993), 21 pages 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 pages

TR390

Dynamical Statistics of Sequential Prolog , Ignacio Celis and Jonathan W. Mills (Aug 1993), 15 pages 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 pages

TR388

Higher Order Logic , Daniel Leivant (Aug 1993), 94 pages pages

TR387

Backtracking and Probing , Paul W. Purdom and G. Neil Haven (Aug 1993), 45 pages 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 pages

TR385

Derivation of a DRAM Memory Interface by Sequential Decomposition , Kamlesh Rath, Bhaskar Bose and Steven D. Johnson (Jun 1993), 5 pages pages

TR384

Learning Words in Time: Towards a Modular Connectionist Account of the Acquisition of Receptive Morphology , Michael Gasser (Jun 1993), 60 pages pages

TR383

An Example of Interactive Hardware Transformation , Zheng Zhu and Steven D. Johnson (May 1993), 18 pages pages

TR382

Learning Noun and Adjective Meanings: A Connectionist Account , Michael Gasser and Linda B. Smith (May 1993), 23 pages pages

TR381

Framework for Non-Traditional Data Models , Latha S. Colby. Query Languages and a Unifying (May 1993), pages [PhD Dissertation]

TR380

DDD-FM9001: Derivation of a verified microprocessor , Bhaskar Bose and Steven D. Johnson (May 1993), 12 pages pages

TR379

Benchmark Queries for Temporal Databases , Patrick P. Kalua and Edward L. Robertson (Mar 1993), 40 pages 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 pages

TR377

Measuring Information Capacity in a VLSI Analog Logic Circuit , Robert A. Montante and Jonathan W. Mills (Mar 1993), 15 pages 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 pages

TR375

Toward a Basis for Protocol Specification and Process Decomposition , Kamlesh Rath and Steven D. Johnson (Mar 1993), 23 pages pages [Revised June 1993]

TR374

Universal Queries for Relational Query Languages , Lawrence V. Saxton, Dirk Van Gucht and Munish Gandhi (Mar 1993), 20 pages pages

TR373

Automatic Synthesis of Sequential Synchronizations , Zheng Zhu and Steven D. Johnson (Feb 1993), 18 pages pages

TR372

Integrating Boolean Verification with Formal Derivation , Bhaskar Bose, Steven D. Johnson, and Shyamsundar Pullela (Feb 1993), 10 pages pages

TR371

Learning to Perceive and Produce Rhythmic Patterns in an Artificial Neural Network , J. Devin McAuley (Feb 1993), 26 pages pages

TR370

Predicting Convergence Time for Genetic Algorithms , Sushil J. Louis and Gregory J. E. Rawlins (Jan 1993), 20 pages 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 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 pages

TR367

Infer: A Statically-typed Dialect of Scheme (Preliminary Tutorial and Documentation) , Christopher T. Haynes (Oct 1992), 40 pages 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 pages

TR365

Quasi-static Scoping: Sharing Variable Bindings across Multiple Lexical Scopes , Shinn-Der Lee and Daniel P. Friedman (Oct 1992), 14 pages pages

TR364

A Simple Reflective Interpreter , Stanley Jefferson and Daniel P. Friedman (Sep 1992), 11 pages pages

TR363a

Stiquito: A Small, Simple, Inexpensive Hexapod Robot , Jonathan W. Mills (Sep 1992), 48 pages 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), pages

TR363c

The Simulation of a 6 Legged Autonomous Robot Guided by Vision , Jonathan W. Mills (Sep 1992), pages

TR362

Language Extension via First-class Interpreters , John W. Simmons II, Stanley Jefferson, and Daniel P. Friedman (Sep 1992), 22 pages pages

TR361

CBR Assisted Explanation of GA Results , Sushil Louis, Gary McGraw and Richard Wyckoff (Aug 1992), 25 pages pages

TR360

Stop-and-Copy and One-bit Reference Counting , David S. Wise (Jul 1992), 14 pages pages [ Inf. Process. Lett. 46, 5 (July 1993), 243-249.]

TR359

Using Goals and Experience to Guide Abduction , David Leake (Jul 1992), 33 pages pages

TR358

Four-dimensional Views of 3D Scalar Fields , Andrew Hanson & Pheng Heng (Jul 1992), 8 pages pages

TR357

Matrix Algorithms Using Quadtrees , David S. Wise (Jun 1992), 16 pages 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 pages [Revised 7/3/92]

TR355

Syntactic Abstraction in Scheme , Robert Hieb, R. Kent Dybvig, and Carl Bruggeman (Jun 1992), 18 pages pages [Revised 7/3/92]

TR354

An Implementation of an Applicative File System , Brian C. Heck and David S. Wise (Jun 1992), 16 pages 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 pages

TR352

Efficient Parallel Dynamic Programming , Phillip Bradford (Oct 1994), 33 pages pages [Revised]

TR351

Rule-Based Program Restructuring for High Performance Parallel Processor Systems , Lawrence J. Tenny (Apr 1992), 153 pages pages [Ph.D. Dissertation]

TR350

First-Class Extents , S-D. Lee & D. P. Friedman (Mar 1992), 45 pages pages [Revised Aug. 1992]

TR349

Merging Interactive, Modular and Object-Oriented Programming , Sho-Huan Simon Tung (Mar 1992), 143 pages pages [Ph.D. Dissertation]

TR348

Characterizing the Paralation Model using Dynamic Assignment , E. Freeman & D. P. Friedman (Mar 1992), 14 pages pages

TR347

An Algebra for List-oriented Applications , Latha S. Colby (Feb 1992), 84 pages pages

TR346

Toward Leakage Containment , J. Lawall & D. P. Friedman (Feb 1992), 11 pages pages

TR345

The Revised Report on the Syntactic Theories of Sequential Control and State , Matthias Felleisen and Robert Hieb (Feb 1992), 34 pages pages

TR344

A Specification-based Data Model , Munish Gandhi and Edward L. Robertson (Jan 1992), 33 pages pages

TR343

Luminaire Sampling in Distribution Ray Tracing , Peter Shirley and Chang yaw Wang (Jan 1992), pages

TR342

Translating Query Graphs into Tarski Algebra Expressions. , Vijay M. Sarathy, Lawrence V. Saxton and Dirk Van Gucht (Dec 1991), pages

TR341

Revised Report on the Algorithmic Language Scheme , William Clinger and Jonathan Rees (editors, along with 16 others) (Nov 1991), pages

TR340

The New Publishing: Technology's Impact on the Publishing Industry over the Next Decade , Gregory J. E. Rawlins (Nov 1991), 68 pages pages

TR339

Area-Efficient Implication Circuits for Very Dense Lukasiewicz Logic Arrays , Jonathan W. Mills (Nov 1991), pages

TR338

A Template Architecture for the WAM , Jonathan W. Mills (Oct 1991), pages

TR337

Rule-based Data Dependence Analysis , Larry Tenny (Oct 1991), pages

TR336

Rap-Master Network: Exploring temporal pattern recognition with recurrent networks , Gary McGraw, Robert Montante & David Chalmers (Sep 1991), pages

TR335

New Divide-and-Conquer Techniques for Finding Disjoint Paths , Fang Wan (Sep 1991), pages

TR334

Learning to Perceive and Produce Words in Connectionist Networks , Chan-Do Lee (Sep 1991), pages [PhD Dissertation]

TR333

Visualizing the Fourth Dimension Using Geometry and Light. , Andrew J. Hanson and Pheng A. Heng (Jul 1991), pages

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 pages

TR331

DDD- A Transformation System for Digital Design Derivation , Bhaskar Bose (May 1991), 80 pages + Appendices pages

TR330

Graph Algorithms in a Lazy Functional Programming Language , Yugo Kashiwagi and David S. Wise (Apr 1991), 12 pgs. pages [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), pages

TR328

Block Pivoting and (L+U),D' Decomposition , David S. Wise (Mar 1991), pages

TR327

A Graph-Oriented Object Database Model , Marc Gyssens, Jan Paredaens, Jan Van den Bussche and Dirk Van Gucht. (Mar 1991), pages

TR326

Using Genetic Algorithms to Design Structures , Sushil J. Louis and Gregory J. E. Rawlins (Feb 1991), pages

TR325

Data Localization in Parallel Computer Systems , Mann-Ho Lee (Feb 1991), pages [PhD Dissertation]

TR324

Static Measures of Quadtree Representation of the Harwell--Boeing Sparse Matrix Collection , Peter H. Beckman (Jan 1991), pages

TR323

DDD -- A System for Mechanized Digital Design Derivation , Steven D. Johnson and Bhaskar Bose (Dec 1990), 36 pages pages

TR322

Optimization of Nonmonotonic relational Queries , Lawrence V. Saxton and Dirk Van Gucht (Dec 1990), pages

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 pages

TR320

Implicit Functions for Modeling Arbitrary Deformable Shapes , Andrew J. Hanson. (Nov 1990), pages

TR318

Performance Visualization and Prediction of Parallel Supercomputer Programs: An Interim report , Sekhar, Sarukkai (Nov 1990), pages

TR317

An Algebraic Framework for Data Abstraction in Hardware Description , Zheng Zhu and Steven D. Johnson (Nov 1990), pages

TR316

Linear-Processor DNC Algorithms for Sub-linear Separators in PlanarGraphs , Gregory E. Shannon (Oct 1990), pages

TR315

Connectionist Logic Programming , Jonathan W. Mills (Oct 1990), pages

TR314

Parallel Genetic Algorithms Applied to the Traveling Salesman Problem , Prasanna Jog, Jung Y. Suh and Dirk Van Gucht (Aug 1990), pages

TR313

An Analog VLSI Array Processor for Classical and Connectionist AI , Jonathan W. Mills and Charles A. Daffinger (Jul 1990), pages

TR312

CMOS VLSI Lukasiewicz Logic Arrays , Jonathan W. Mills and Charles A. Daffinger (Jul 1990), pages

TR311

Average Time Analysis of Clause Order Backtracking , Khaled Bugrara and Paul W. Purdom, Jr (Jul 1990), pages

TR310

Representation and Recognition of Temporal Patterns , Robert Port (Jun 1990), pages

TR309

Approximating Small Separators in PlanarGraphs: Tradeoffs in Time, Processors, and Separator Size , Gregory E. Shannon and Fang Wan (Jun 1990), pages

TR308

A Linear-processor Algorithm for Finding Small Cycle Separators on Undirected PlanarGraphs , Fang Wan (May 1990), pages

TR307

Networks and Morphophonemic Rules Revisited , Michael Gasser and Chan-Do Lee (Mar 1990), pages

TR306

Linear-Processor NC Algorithms for Planar Directed Graphs II: Directed Spanning Trees , Ming-Yang Kao and Gregory E. Shannon (Mar 1990), pages

TR305

Towards a System for Interactive Modular Programming , Sho-Huan Simon Tung and R. Kent Dybvig (Feb 1990), pages

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), pages

TR303

Semantics-Directed Compilation of Non-Linear Patterns , Olivier Danvy (Feb 1990), pages

TR302

Destination-Driven Code Generation , R. Kent Dybvig, Robert Hieb, and Tom Butler (Feb 1990), pages

TR301

A New Approach to Procedures with Variable Arity , R. Kent Dybvig and Robert Hieb (Jan 1990), pages

TR300

Networks that Learn Phonology , Michael Gasser and Chan-Do Lee (Dec 1989), pages

TR299

Graph View Documentation , Bjarni Birgisson and Gregory E. Shannon (Dec 1989), pages

TR298

Visibility, Skulls, and Kernels in Convexity Spaces , Sven Schuierer, Gregory J. E. Rawlins and Derick Wood (Dec 1989), pages

TR297

Architectural Support for Delayed Specialization of Logic Programs , Jonathan W. Mills (Dec 1989), pages

TR296

and Charles A. Daffinger Lukasiewicz Logic Arrays , Jonathan W. Mills, M. Gordon Beavers, (Nov 1989), pages

TR295

GraphView: An Extensible Interactive Platform for Manipulating and Displaying Graphs , Bjarni Birgisson and Gregory E. Shannon (Dec 1989), pages

TR294

Elimination of Infrequent Variables Improves Average Case Performance of Satisfiability Algorithms , John Franco (Oct 1989), pages

TR293

Continuation-Based Control Operators for Logic Programming , Richard M. Salter and Christopher T. Haynes (Oct 1989), pages

TR292

A Prolog Semantics with First-Class Continuations and Dynamic Database , Christopher T. Haynes and Richard M. Salter (Oct 1989), pages

TR291

On the Occurrence of Null Clauses in Random Instances of Satisfiability , John Franco (Oct 1989), pages

TR290

Derivation of an SECD Machine: Experience with a Transformational Approach to Synthesis , Robert M. Wehrmeister (Sep 1989), pages

TR289

A System for Digital Design Derivation , Steven D. Johnson and Bhaskar Bose (Aug 1989), pages

TR288

Daisy, DSI and LiMP: Issues in Architecture for Suspending Construction , Steven D. Johnson (Aug 1989), pages

TR287

Processing Queries in ANDA: A Nested relational Database System , Jos 'e A. Blakeley and Anand Deshpande (Aug 1989), pages

TR286

How Daisy is Lazy , Steven D. Johnson (Aug 1989), pages

TR285

Extending Distributed Genetic Algorithms To Problem Solving: The Case of the Sliding Block Puzzle , Jung Yul Suh and Chan Do Lee (Jul 1989), pages

TR284

A Pipelined Architecture for Logic Programming with a Complex but Single-Cycle Instruction Set , Jonathan W. Mills (Jul 1989), pages

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), pages

TR282

A Grammar Model for Databases , Latha S. Colby and Dirk Van Gucht (Jun 1989), pages

TR281

An Implementation for Nested relational Databases , Anand Deshpande (Jun 1989), pages [PhD Dissertation]

TR280

Join Index,Materialized View, and Hybrid-Hash Join: A Performance Analysis , Jos'e A. Blakeley and Nancy L. Martin (Jun 1989), pages

TR279

Manipulating Logical Organization with System Factorizations , Steven D. Johnson (Jun 1989), pages

TR278

Probabilistic Analysis of Algorithms for Stuck-at Test Generation in PLAs , John Franco and Kurt Keutzer (May 1989), pages

TR277

Building Analytical Models into an Interactive Performance Prediction Tool , Daya Atapattu and Dennis Gannon (May 1989), pages

TR276

Embedding the Self Language in Scheme , Julia L. Lawall and Daniel P. Friedman (May 1989), pages [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), pages

TR274

Using the Digital Design Derivation System: Case study of a VLSI garbage collector implementation , C. David Boyer and Steven D. Johnson (Apr 1989), pages

TR273

A Decomposition Theorem for Convexity Spaces , Gregory J. E. Rawlins and Derick Wood (Feb 1989), pages

TR272

Restricted-Oriented Convex Sets , Gregory J. E. Rawlins and Derick Wood (Feb 1989), pages

TR271

Inference Supercomputing , Jonathan W. Mills, M. Burroughs, R. Wehrmeister, and D. Winkel (Feb 1989), pages

TR270

Backtracking and random Constraint Satisfaction , Paul W. Purdom (Feb 1989), pages

TR269

A Structured Method for Literate Programming , Sho-Huan Tung (Jan 1989), pages

TR268

Towards a Facility for Lexically Scoped, Dynamic Mutual Recursion in Scheme Systems , John Franco and Daniel P. Friedman (Jan 1989), pages

TR267

Multiple-Query Optimization for Materialized View Maintenance , Jos'e A. Blakeley and Hector Hernandez (Jan 1989), pages

TR266

Counting Posets and the Structure of the Poset of Posets , G. J. E. Rawlins and Joseph Culberson (Dec 1988), pages

TR265

Temporal Information and Memory in Connectionist Networks , Robert Port, Sven Anderson, and John W. L. Merrill (Oct 1988), pages [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), pages

TR263

Imperative Multi-way Streams , John Franco, Daniel P. Friedman, and Steven D. Johnson (Sep 1988), pages [Revised December, 1988]

TR262

Compiling and Executing Theorems Efficiently as Logic Programs , Jonathan W. Mills (Sep 1988), pages

TR261

Using the AMD 2901/2909 as a Dedicated Floating Point Adder , Jonathan W. Mills (Sep 1988), pages

TR260

The Analysis of Hashing with Lazy Deletions , Pedro Celis and John Franco (Aug 1988), pages

TR259

A Recursive Algebra for Nested Relations , Latha S. Colby (Aug 1988), pages

TR258

Dynamic Speech Categorization With recurrent Networks , Sven Anderson, John W. L. Merrill and Robert Port (Aug 1988), pages

TR257

UPSL User's Manual , Larry Tenny (Jul 1988), pages

TR256

Continuations and Concurrency , R. Kent Dybvig and Robert Hieb (Jul 1988), pages

TR255

Efficient Detection of Leaked Information in Cross Tabulated Tables: Linear Invariant Test , Ming-Yang Kao and Dan Gusfield (Jul 1988), pages

TR254

Engines from Continuations , R. Kent Dybvig and Robert Hieb (Jul 1988), pages

TR253

Modeling Transistors Applicatively , Steven D. Johnson and C. David Boyer (Jun 1988), pages

TR252

The Source Code for SYREN: A Connectionist Model for Syllable recognition , Erich J. Smythe (Jun 1988), pages

TR251

Temporal Computation in Connectionist Models , Erich J. Smythe (Jun 1988), pages [PhD Dissertation]

TR250

Parallel Depth---First Search in Directed Graphs , Alok Aggarwal, Richard J. Anderson, and Ming Y. Kao (May 1988), pages

TR249

Fractally Configured Neural Networks , John W. L. Merrill and Robert F. Port (May 1988), pages

TR248

Abstract Continuations: A Mathematical Semantics for Handling Full Functional Jumps , Matthias Felleisen, Mitchell Wand, Daniel P. Friedman and Bruce F. Duba (May 1988), pages

TR247

A Variable-Arity Procedural Interface , R. Kent Dybvig and Robert Hieb (Apr 1988), pages [Revised version is TR 301]

TR246

External Robin Hood Hashing , Pedro Celis (Mar 1988), pages

TR245

Creating Efficient Programs by Exchanging Data for Procedures , John Franco and Daniel P. Friedman (Mar 1988), pages

TR244

All Graphs Have Cycle Separators and Depth-First Search on Planar Digraphs is in DNC , Ming-Yang Kao (Mar 1988), pages

TR243

An Implementation for Nested Relational Databases , Anand Deshpande and Dirk Van Gucht (Feb 1988), pages

TR242

A Practical Unification Algorithm , Paul W. Purdom (Feb 1988), pages

TR241

Experiments with Quad Tree Representation of Matrices , S. Kamal Abdali and David S. Wise (Feb 1988), pages [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), pages

TR239

Searching with Uncertainty , R.A. Baeza-Yates, J.C. Culberson and G.J.E. Rawlins (Feb 1988), pages

TR238

On the Comparison Cost of Partial Orders , Joseph C. Culberson and Gregory J. E. Rawlins (Jan 1988), pages

TR237

Applications of Continuations , Daniel P. Friedman (Jan 1988), pages

TR236

A New Stochastic Learning Algorithm for Neural Networks , John W. L. Merrill and Robert F. Port (Nov 1987), pages

TR235

Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates , Jos'e A. Blakeley, Neil Coburn and Perke Larson (Nov 1987), pages

TR234

A Storage Structure for Nested Relational Databases , Anand Deshpande and Dirk Van Gucht (Nov 1987), pages

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), pages

TR232

A VLSI Implementation of an Architecture for Applicative Programming , John T. O'Donnell, Timothy Bridges and Sidney W. Kitchel (Oct 1987), pages

TR231

Strictness Analysis Applied to Programs with Lazy List Constructors , Cordelia V. Hall (Oct 1987), pages [PhD dissertation]

TR230

A Syntactic Theory of Sequential State , Matthias Felleisen and Daniel P. Friedman (Oct 1987), pages [(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), pages

TR228

Strategies for Cache and Local Memory Management by Global Program Transformation , Dennis Gannon, William Jalby and Kyle Gallivan (Sep 1987), pages

TR227

Applying AI Techniques to Program Optimization for Parallel Computers , Dennis Gannon and Ko-Yang Wang (Sep 1987), pages

TR226

The Calculi of Lambda-v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-OrderProgramming Languages , Matthias Felleisen (Aug 1987), pages [Ph. D. Dissertation]

TR225

Distributed Genetic Algorithms , Jung Y. Suh and Dirk VanGucht (Jul 1987), pages

TR224

A Software Tool for Building Supercomputer Applications , Dennis Gannon, Daya Atapattu, Mann Ho Lee and Bruce Shei (Aug 1987), pages [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), pages

TR222

Matrix Algebra and Applicative Programming , D. S. Wise (Jun 1987), pages [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), pages [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), pages

TR219

Hardware Design Using Functionally Connected Units , D. Winkel. and C. T. Haynes (Apr 1987), pages

TR218

A Reduction Semantics for Imperative Higher-Order Languages , M. Felleisen and D. P. Friedman (Mar 1987), pages [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), pages

TR216

Beyond Continuations , M. Felleisen, D. P. Friedman, B. Duba and J. Merrill (Feb 1987), pages

TR215

A Syntactic Theory of Sequential Control , M. Felleisen, D. P. Friedman, E. Kohlbecker and B. Duba (Jan 1987), pages [Theoretical Computer Science 52 (1987) 205--237]

TR214

Seek-Whence: A Model of Pattern Perception , Marsha J. Ekstrom Meredith (Jan 1987), pages [PhD dissertation]

TR213

Embedding Continuations in Procedural Objects , Christopher T. Haynes and Daniel P. Friedman (Jan 1987), pages [ACM Trans. on Prog. Syst. & Lang. 9, 4, (Oct. 1987) 582--598]

TR212

Hardware Description with Recursion Equations , John O'Donnell (Dec 1986), pages

TR211

Complex Cognitive Information-Processing: A Computational Architecture with a Connectionist Implementation , John Barnden (Dec 1986), pages

TR210

Search Rearrangement Backtracking Often Requires Exponential Time to Verify Unsatisfiability , John Franco (Dec 1986), pages [Revised: April, 1987]

TR209

Compiling Strictness into Streams , Cordelia V. Hall & David S. Wise (Dec 1986), pages

TR208

Detecting Looping Simplifications , Paul W. Purdom (Dec 1986), pages

TR207

An Exponential Lower Bound For the Pure Literal rule , Khaled M. Bugara & Paul W. Purdom (Dec 1986), pages [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), pages [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), pages [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), pages

TR203

Parallel VLSI Architecture Emulation and the Organization of APSA/MPP , John T. O'Donnell (Oct 1986), pages

TR202

A Calculus for Assignments in Higher-Order Languages , Matthias Felleisen and Daniel P. Friedman (Oct 1986), pages [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), pages

TR200

Computational Metabolism , Marek W. Lugowski (Sep 1986), pages

TR199

Syntactic Extensions in the Programming Language Lisp , Eugene E. Kohlbecker (Aug 1986), pages [Ph. D. Dissertation]

TR198

The Analysis of Algorithms: Errata and Answers to the Exercises , Paul W. Purdom (Jul 1986), pages

TR197

Control Operators, the SECD-Machine, and the Lambda-Calculus , Matthias Felleisen and Daniel P. Friedman (Jun 1986), pages [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), pages [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), pages

TR194

Hygienic Macro Expansion , E.E. Kohlbecker, D. P. Friedman, M. Felleisen and B. Duba (Jun 1986), pages [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), pages [Also appeared in Discrete Applied Math]

TR192

Parallel Decomposition of Matrix Inversion using Quadtrees , David S. Wise (May 1986), pages [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), pages [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), pages

TR189

The Pleasures of SINN: A System for Programming Connectionist Models , Erich J. Smythe (Feb 1986), pages

TR188

What Next for PAL-DEVICES-- The Second Generation Challenge , David Winkel (Feb 1986), pages

TR187

Imputations and Explications: Representational Problems in Treatments of Propositional Attitudes , John A. Barnden (Jan 1986), pages

TR186

Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by-Name , David S. Wise and S. Kamal Abdali (Dec 1985), pages

TR185

Digital Design in a Functional Calculus , Steven D. Johnson (Nov 1985), pages

TR184

A Closer Look at Export and Import Statements , Matthias Felleisen & Daniel P. Friedman (Nov 1985), pages [Computer. Lang. , 11 (1), 1986, 29--37]

TR183

Logic Continuations , Christopher T. Haynes (Nov 1985), pages [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), pages

TR181

Tree Matching and Simplification , Paul W. Purdom and Cynthia A. Brown (Oct 1985), pages [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), pages [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), pages

TR178

An Abstraction of Timed Preemption , C. T. Haynes and D. P. Friedman (Aug 1985), pages [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), pages

TR176

Why Artificial Intelligence is Necessarily Ad Hoc: One's Thinking/Approach/Model/Solution Rides on One's Metaphors , M. W. Lugowski (Aug 1985), pages

TR175

Rules for Automatic Mapping between Fast and Slow Speech , S. C. Kwasny, J. Dalby, and R. Port (Jul 1985), pages

TR174

The Revised, Revised Report on SCHEME , W. D. Clinger, (ed. ) (Jun 1985), pages [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), pages

TR172

Representations of Intensions, Representations as Intensions, and Propositional Attitudes , J. A. Barnden (Jun 1985), pages

TR171

Computer Science Departmental report , CS Department (May 1985), pages

TR170

Constraining Control , D. P. Friedman and C. T. Haynes (May 1985), pages [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), pages [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), pages

TR167

On the Probabilistic Performance of Algorithms for the Satisfiability Problem , J. Franco (Mar 1985), pages [Information Processing Letters 23, (1986), 103--106]

TR166

Scheme as an Interactive Graphics Programming Environment , L. D. Sabbagh (Feb 1985), pages

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), pages [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), pages

TR163

Design for a Multiprocessing Heap with On-board Reference Counting , D. S. Wise (Jan 1985), pages [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), pages [Revised Apr. 1986), Science of Computer Programming]

TR161

Reification: Reflection without Metaphysics , D. P. Friedman and M. Wand (Aug 1984), pages [Proc. 1984 ACM Symposium on Lisp and Functional Programming (August, 1984), 348--355]

TR160

An Implementation of 2-Lisp , C. D. Halpern (Jun 1984), pages

TR159

Engines Build Process Abstractions , C. Haynes and D. Friedman (Aug 1984), pages [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), pages [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), pages [Not available --- Revised TR 153 includes mkmac]

TR156

Direct Denotational Semantics: Combinator-based Compilation of Goto's , M. Lao (May 1984), pages

TR155

eu-Prolog: Reference Manual and Report , E. Kohlbecker (Apr 1984), pages

TR154

Some Observations on n-Valued Disjointly Separable Functions , G. Epstein, J. Lee, and P. O. Mandayam (May 1984), pages [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), pages [Revised, June, 1985]

TR152

On Short-Term Information-Processing in Connectionist Theories , J. Barnden (Jan 1984), pages [Cognition and Brain Theory, 7, (1), 1984]

TR151

Programming with Continuations , D. Friedman, C. Haynes and E. Kohlbecker (Jan 1984), pages [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), pages

TR149

C-Scheme Reference Manual , Kent Dybvig (Sep 1983), pages [Master's Thesis]

TR148

A Semantic Algebra for Logic Programming , Mitchell Wand (Aug 1983), pages

TR147

Prototyping Data Flow by Translation into Scheme , Daniel P. Friedman and Pee-Hong Chen (Aug 1983), pages

TR146

A Functional Approach to Geometric Applications in Computer Graphics , Chen and Sabbagh (Aug 1983), pages

TR145

Scheme Graphics Reference Manual , Chen, Chi, Ost, Sabbaugh, Springer (Aug 1983), pages

TR144

On the Complexity of Partitioning Sparse Matrix Representations , Edward L. Robertson and J. P. Malmquist (Jan 1984), 10 pages pages [BIT 24 (1984), 60--68]

TR143

On the Average Case Analysis of some Satisfiability Model Problems , Khaled Bugara and Cynthia Brown (Dec 1982), pages

TR142

A Power domain Semantics for Indeterminism , David S. Wise (Jul 1983), pages

TR141

Synthesis of Digital Designs from Recursion Equations , Steven D. Johnson (May 1984), pages [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), pages

TR139

Scheme Translation of Functions from FUNCTIONAL PROGRAMMING APPLICATION AND IMPLEMENTATION , Dave Laymon (Apr 1983), pages

TR138

Implementation of Two Data-Flow Models in Scheme , Pee-Hong Chen (Feb 1983), pages

TR137

Scheme 311 Reference Manual , C. Fessender, W. Clinger, D. Friedman, and C. Haynes (Feb 1983), pages [Not available-- TR 153 is an updated Scheme Manual]

TR136

Metafont, Metamathematics and Metaphysics , Douglas Hofstadter (Dec 1982), pages

TR135

A Theory of the Heuristic Game Tree Search , Chun-Hung Tzeng and Paul W. Purdom, Jr (Dec 1982), pages [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), pages

TR133

A Scheme for Higher-Level Semantic Algebra , William Clinger, Daniel P. Friedman, and Mitchell Wand (Jan 1985), pages [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), pages

TR131

A Continuum of Diagrammatic Data Structures in Human Cognition , John Barnden (Oct 1982), pages

TR130

Who Shoves Whom Around Inside the Careenium? or, What is the Meaning of the Word ``I''? , Douglas R. Hofstadter (Jul 1982), pages

TR129

Issues in Applicative Real-Time Programming , Lennart Edblom and Daniel P. Friedman (Jun 1982), pages

TR128

The Pure Literal Rule and Polynomial Average-Time , Paul W. Purdom, Jr. and Cynthia A. Brown (Jun 1982), pages [SIAM J. on Computing, 14 4, (November, 1985), 943--953]

TR127

Switching Theory, Multiple-Valued Logic, and Logic Design , George Epstein (Jan 1983), pages

TR126

Guide to the Printed Circuit Board Fabrication Facility , Frank Prosser and Patricia J. Brajnifoff (Jan 1982), pages

TR125

Evaluating Search Methods Analytically , Paul W. Purdom, Jr. and Cynthia A. Brown (Apr 1982), pages [National Conf. on Artificial Intelligence (1982), 124--127]

TR124

Models, Languages, and Heuristic for Distributed Computing , Bob Filman and Daniel P. Friedman (Jun 1982), pages [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), pages [Artificial Intelligence 21 (1983), 117--133]

TR122

Research in the Computer Science Department at I.U. 1980--81 , Mitchell Wand, Editor (Dec 1981), pages

TR121

Phonological Analysis by Computer: Prospects and Direction , Lee Becker (Dec 1981), pages

TR120

DSI Program Description , S. D. Johnson and A. T. Kohlstaedt (Nov 1981), pages

TR119

Daisy 1. 0 Reference Manual , A. T. Kohlstaedt (Nov 1981), pages

TR118

Polynomial Average-Time Satisfiability Problems , Paul W. Purdom, Jr. and Cynthia A. Brown (Dec 1981), pages [Inf. Sciences 41, (1987), 23--42]

TR117

Solving Satisfiability Problems with Less Searching , Paul W. Purdom, Jr (Jul 1982), pages [(Revised),IEEETPAMI 6 (1984), pp 510--513]

TR116

Circuits and Systems: Implementing Communication with Streams , Steven D. Johnson (Jul 1982), pages [(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), pages [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), pages

TR113

Specifying One-Pass Bottom-Up Compilers , Cynthia A. Brown and Paul W. Purdom, Jr (Jul 1981), pages [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), pages [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), pages

TR109

Solving Common Programming Problems with an Applicative Programming Language , Thomas M. Grismer (Jun 1981), pages

TR107

A SCHEME for Distributed Processes , Rex A. Dwyer and R. Kent Dybvig (Apr 1981), pages

TR106

Fancy Ferns Require Little Care , Daniel P. Friedman and David S. Wise (Jan 1981), pages [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), pages [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), pages

TR102

On Rine's View of Boolean Algebras , George Epstein (Feb 1981), pages

TR101

Average Time Analyses of Simplified Davis-Putnam Procedures , Allen Goldberg, Paul W. Purdom, Jr. and Cynthia A. Brown (Jan 1982), pages [Information Processing Letters 15 (1982), 72--75]

TR100

An Empirical Comparison of Backtracking Algorithms , Cynthia A. Brown and Paul Walton Purdom, Jr (Jan 1982), pages [IEEE TPAMI 4 (1982), 309--316]

TR99

Inspiring Distribution in Distributed Computation , Robert E. Filman, Daniel P. Friedman (Dec 1980), pages [Note: same as TR 124 which has been published]

TR98

Research in the Computer Science Department at Indiana University , Mitchell Wand, Editor (Aug 1980), pages

TR97

An Experiment in SCHEME-Based Distribution Processing , G. Wolynes, J. Ginder, B. Roitblat, V. Roland (Aug 1980), pages

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), pages

TR95

Different Advice on Structuring Compilers and Proving Them Correct , Mitchell Wand (Sep 1980), pages

TR94

Deriving Target Code as a Representation of Continuation Semantics , Mitchell Wand (Jul 1982), pages [ACM Trans. on Prog. Lang. and Systems 4, 3 (July, 1982), 496--517]

TR93

SCHEME 3. 1 REFERENCE MANUAL , Mitchell Wand (Jun 1980), pages

TR92

Multiprocessing CODA: Applying PLITS Formalism to a Quasi-Parallel Model of SCHEME , Joseph R. Ginder (May 1980), pages

TR91

A Formal Model for Message Passing Systems , James E. Burns (Sep 1980), pages [(Revised)]

TR90

Continuation-Based Multiprocessing , Mitchell Wand (Jan 1980), pages [Proc. 1980 LISP Conference, 19--28]

TR89

An Analysis of Backtracking with Search Rearrangement , Cynthia A. Brown and Paul W. Purdom, Jr (Jun 1981), pages [(Revised) SIAM J. on Computing, 12 4, (1983) 717--733]

TR88

Specifications, Models, and Implementations of Data Abstractions , Mitchell Wand (Jan 1982), pages [Theoretical Computer Science 20 (1982) 3--32]

TR87

Parsing Extended LR(k) Grammars , Paul Walton Purdom, Jr. and Cynthia A. Brown (Jan 1980), pages [Acta Informatica 14 (1980), 299--315]

TR86

An Average Time Analysis of Backtracking , Cynthia A. Brown and Paul W. Purdom, Jr (Jan 1981), pages [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), pages

TR84

An Approach to Fair Applicative Multiprogramming , David S. Wise and Daniel P. Friedman (Apr 1979), pages [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), pages [Acta Informatica, 14 (1980) 299--315]

TR82

Distributive Lattices of Order n , George Epstein (Mar 1979), pages

TR81

Classes as Syntactic Sugar , Mitchell Wand (Dec 1978), pages

TR80

An Indeterminate Constructor for Applicative Multiprogramming Record , Daniel P. Friedman and David S. Wise (Jan 1980), pages [7th ACM Symp. on Principles of Programming Languages (January, 1980), 245--250]

TR79

The Double Buddy-System , David S. Wise (Dec 1978), pages

TR78

Preliminary Approach to Applicative Programming for Systems , Daniel P. Friedman and David S. Wise (Nov 1978), pages

TR77

Backtracking with Multi-Level Dynamic Search Rearrangement , Paul W. Purdom, Jr. , Edward Robertson, and Cynthia Brown (Oct 1978), pages [Acta Informatica 15 (1981), 99--113]

TR76

Exact Formulas for the Buddy System , Paul W. Purdom, Jr. and Cynthia A. Brown (Jan 1980), pages [Information Sciences, 22 (1980) 1--18]

TR75

Morris's Garbage Compaction Algorithm Restores Reference Counts , David S. Wise (Jul 1979), pages [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), pages [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), pages [Information Processing Letters, 8, 1 (January, 1979), 41--45]

TR72

Applicative Multiprogramming , Daniel P. Friedman and David S. Wise (Apr 1979), pages [(Revised)]

TR71

Context-Free Grammars for the Balanced and Overbalanced Binary Languages , George Epstein (Nov 1977), pages

TR70

A Note on Conditional Expressions , Daniel P. Friedman and David S. Wise (Nov 1978), pages [Comm. ACM 21, 11 (November, 1978), 931--933]

TR68

An Interpretive Model for a Language Based on Suspended Construction , Steven Dexter Johnson (Nov 2013), pages

TR66

Algebraic Theories and Tree Rewriting Systems , Mitchell Wand (Jun 1978), pages [(Revised)]

TR65

Final Algebra Semantics and Data Type Extensions , Mitchell Wand (Jan 1979), pages [J. Comp. Sys. Sci. , 19 (1979), 27--44]

TR64

Unbounded Computational Structures , Daniel P. Friedman and David S. Wise (Jul 1978), pages [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), pages [Journal of Symbolic Logic]

TR62

Formal and Computer Poetry , George Epstein and Ben Shneiderman (Apr 1977), pages

TR61

Continuation-Based Program Transformation Strategies , Mitchell Wand (Jan 1980), pages [J. ACM, 27 (1980), 164--180]

TR60

Tree Size by Partial Backtracking , Paul W. Purdom (Nov 1978), pages [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), pages [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), pages

TR57

The One-bit Reference Count , David S. Wise and Daniel P. Friedman (Sep 1977), pages [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), pages [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), pages [Journal of Comp. Lang. 3, (1978) 241--263]

TR54

Automatic Program Indentation , Paul W. Purdom (Jan 1978), pages [BIT, 18 (1978) 211--218]

TR53

Logic for Semantic Networks , Robert J. Bechtel (Jul 1976), pages

TR52

Aspects of Applicative Programming for Parallel Processing , Daniel P. Friedman and David S. Wise (Apr 1978), pages [IEEE Trans. on Computers, C-27, 4 (April, 1978) 289--296]

TR51

Database Management Systems: A Review with Reference , Ben Shneiderman (May 1976), pages [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), pages [Information Processing Letters 5, 6 (December, 1976), 155--160]

TR49

VW: A Small but Potent Machine-Independent Text Editor , Nicholas F. Vitulli (Apr 1976), pages [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), pages [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), pages

TR46

The Relevance of Relevance , Stuart C. Shapiro and Mitchell Wand (Nov 1976), pages [(Revised)]

TR45

Recursive Programming through Table Look-Up , Daniel P. Friedman, David S. Wise, and Mitchell Wand (Jan 1976), pages [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 pages [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), pages [Information Systems, 21977, p. 149]

TR42

Efficient Axioms for Algebra Semantics , Mitchell Wand (Nov 1975), pages [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), pages [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), pages [In B. Robinet (ed. ) Programmation, Dunod Informatique, Paris (1977), 182--200]

TR38

Decisive Venn Diagrams , George Epstein (Jan 1976), pages [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), pages [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), pages [COMM. ACM 20, (June, 1977)]

TR34

Garbage Collecting a Heap which Includes a Scatter Table , Daniel P. Friedman and David S. Wise (Apr 1977), pages [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), pages [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), pages [ACM TODS1}, 3 (September, 1976), p. 268]

TR31

An Introduction to SNePs , Stuart C. Shapiro (Dec 1976), pages [(Revised)]

TR30

On Storage Structures and Their Transformations , Peter Scheuermann and Ben Shneiderman (Jun 1975), pages

TR29

First-Order Identities as a Defining Language , Mitchell Wand (May 1979), pages [(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), pages

TR27

Functional Combination , Daniel P. Friedman and David S. Wise (Jan 1978), pages [Computer Languages 3, 1 (January, 1978), 31--35]

TR26

The Basic Arithmetic and Mathematics of Two's Complementary Computations , George Epstein (Apr 1975), pages

TR25

A Review of Design Techniques for Programs and Data , Ben Shneiderman (Jan 1976), pages [Software Practice and Experience 5, (1976), 555--567]

TR24

Logics which are Characterized by Subresiduated Lattices , George Epstein and A. Horn (Jan 1976), pages [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 pages [Theoret. Comp. Sci. 8 (1979)]

TR23

Fixed-Point Constructions in Order-Enriched Categories. , Mitchell Wand (Aug 2013), 34 pages [Theoret. Comp. Sci. 8 (1979)]

TR21

Boolean-Valued loops , David S. Wise, Daniel P. Friedman, Stuart C. Shapiro and Mitchell Wand (Dec 1975), pages [Nordisk Tidskr. Informations behandling (BIT) 15]

TR20

The Frame Model of Computation , Mitchell Wand (Dec 1974), pages

TR19

Unwinding Structured Recursions into Iterations , Daniel P. Friedman and David S. Wise (Dec 1974), pages

TR18

Introduction to Algebraic Concepts for Computer Foundations , George Epstein (Oct 1974), pages

TR17

Exploratory Experiments in Programmer Behavior , Ben Shneiderman (Jun 1976), pages [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), pages [Proc. NCC, AFIPS Press (1975), 653--656]

TR15

PLATO Lessons for a Data Structures Course , Stuart C. Shapiro (Aug 1974), pages

TR14

Induction, Recursion, and Programming , Mitchell Wand (Jul 1976), pages [(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), pages [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), pages [CACM 18, 8 (August, 1975), 459--462]

TR11

Realizing Data Structures as Lattices , Mitchell Wand (Jan 1975), pages [Replaced by TR #23]

TR10

A Case for While-Until , Daniel P. Friedman and Stuart C. Shapiro (Jul 1974), pages [SIGPLAN Notices 9, 7 (July, 1974),7--14]

TR9

Referencing Lists by an Edge , David S. Wise (Jun 1976), pages [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), pages

TR6

Interactive Visual Simulation for Beginning Programming Students , Stuart C. Shapiro and Douglas P. Witmer (Feb 1974), pages [(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), pages [Theoretical Computer Science 3, 3 (1976) 359--369]

TR2

The Size of LR(0) Machines , Paul W Purdom Jr (Jan 1973), 23 pages pages

This technical report index was auto-generated: Thu Nov 21 00:10:01 2024

Copyright © The Trustees of Indiana University | Copyright Complaints