Indiana University Bloomington

Luddy School of Informatics, Computing, and Engineering

Technical Report Index


Search fields: author title abstract (if available)

Below is a listing of technical reports from the Indiana University Computer Science Program, many of which are available electronically. If we have an exchange agreement with your institution, our hard copy technical reports (except dissertations) are available free of charge (limit of five per month). If we do not have an exchange agreement with your institution, please contact the Technical Report Librarian (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: Wed Dec 4 00:10:01 2024