Browse

ftp://ftp.cs.indiana.edu (56)

	ftp://ftp.cs.indiana.edu/pub/techreports/TR340.ps.Z, 19920305 The New Publishing Technology's impact on the publishing industry over the next decade Gregory J. E. Rawlins November 12, 1991
	ftp://ftp.cs.indiana.edu/pub/techreports/TR351.ps.Z, 19920417 RULE-BASED PROGRAM RESTRUCTURING FOR HIGH PERFORMANCE PARALLEL PROCESSOR SYSTEMS by Lawrence J. Tenny Submitted to the faculty of the Graduate School in partial fulfillment of the requirements for the degree Doctor of Philosophy in the Department of Computer Science Indiana University April 3, 1992
	ftp://ftp.cs.indiana.edu/pub/techreports/TR353.ps.Z, 19920519 Average Time for the Full Pure Literal Rule Paul Walton Purdom, Jr., Indiana University
	ftp://ftp.cs.indiana.edu/pub/techreports/TR356.ps.Z, 19920703 Writing Hygienic Macros in Scheme with Syntax-Case R. Kent Dybvig dyb@cs.indiana.edu Indiana University Computer Science Department Technical Report #356 June 1992 (Revised July 3, 1992) Copyright c 1992 R. Kent Dybvig 1 Preface This report is dedicated to my good friend and colleague, Bob Hieb, who was
	ftp://ftp.cs.indiana.edu/pub/techreports/TR358.ps.Z, 19920714 Four-Dimensional Views of 3D Scalar Fields Andrew J. Hanson Pheng A. Heng CN/AS Division Department of Computer Science CERN Indiana University CH-1211, Geneva 23, Switzerland Bloomington, IN 47405 and Department of Computer Science Indiana University Bloomington, IN 47405
	ftp://ftp.cs.indiana.edu/pub/techreports/TR347.ps.Z, 19920806 An Algebra for List-Oriented Applications Latha S. Colby Department of Computer Science Indiana University Bloomington, IN, 47405 colby@cs.indiana.edu February 23, 1992
	ftp://ftp.cs.indiana.edu/pub/techreports/TR361.ps.Z, 19920806 CBR Assisted Explanation of GA Results Sushil Louisy Gary McGrawy Richard O. Wyckoffy yDepartment of Computer Science Center for Research on Concepts and Cognition Indiana University, Bloomington, Indiana 47405 (812) 855-6486y (812) 855-6966 Computer Science Technical Report number 361 CRCC Technical
	ftp://ftp.cs.indiana.edu/pub/techreports/TR366.ps.Z, 19921110 A Reflective System is as Extensible as its Internal Representations: An Illustration Indiana University Computer Science Department Technical Report #366 John Wiseman Simmons II Daniel P. Friedmany October 21, 1992
	ftp://ftp.cs.indiana.edu/pub/techreports/TR367.ps.Z, 19930303 Infer: A Statically-typed Dialect of Scheme Preliminary Tutorial and Documentation Version 0.1 \| Limited distribution draft \| Christopher T. Haynes1 Computer Science Department Lindley Hall Indiana University Bloomington, IN 47405 USA chaynes@cs.indiana.edu 855-3376 March 3, 1993 1This work was
	ftp://ftp.cs.indiana.edu/pub/techreports/TR373.ps.Z, 19930305 indiana university computer science department technical report no. 373 Automatic Synthesis of Sequential Synchronizations Zheng Zhu and Steven D. Johnson february 1993 To appear in the procedings of the 1993 IFIP Conference on Hardware Description Languages and their Applications (CHDL '93 ), Ottawa,
	ftp://ftp.cs.indiana.edu/pub/techreports/TR360.ps.Z, 19930311 Stop-and-copy and One-bit Reference Counting Technical Report 360 David S. Wise Indiana University Bloomington, Indiana 47405 USA Fax: +1 (812) 855-4829 Email: dswise@cs.indiana.edu (revised) March 1993
	ftp://ftp.cs.indiana.edu/pub/techreports/TR383.ps.Z, 19930528 Indiana University Computer Science Department Technical Report No. 383 An Example of Interactive Hardware Transformation Zheng Zhu and Steven D. Johnson May 1993 This paper was presented at the ACM/SIGDA Workshop on Formal Methods in VLSI design, Maimi, Florida, January 1991. Due to publication
	ftp://ftp.cs.indiana.edu/pub/techreports/TR382.ps.Z, 19930604 Learning Noun and Adjective Meanings: A Connectionist Account Michael Gasser gasser@cs.indiana.edu Computer Science and Linguistics Departments Indiana University Bloomington, IN 47405, USA Linda B. Smith smith4@ucs.indiana.edu Psychology Department Indiana University Bloomington, IN 47405, USA
	ftp://ftp.cs.indiana.edu/pub/techreports/TR375.ps.Z, 19930621 indiana university computer science department technical report no. 375 Toward a Basis for Protocol Specification and Process Decomposition Kamlesh Rath and Steven D. Johnson june 1993 To appear in the proceedings of the 1993 IFIP Conference on Hardware Description Languages and their Applications (CHDL
	ftp://ftp.cs.indiana.edu/pub/techreports/TR386.ps.Z, 19930707 indiana university computer science department technical report no. 386 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 June 1993 To appear in the proceedings of the 1993 IEEE
	ftp://ftp.cs.indiana.edu/pub/techreports/TR389.ps.Z, 19930811 indiana university computer science department technical report no. 389 Behavior Tables: A Basis for System Representation and Transformational System Synthesis Kamlesh Rath, M. Esen Tuna, and Steven D. Johnson august 1993 To appear in the proceedings of the 1993 IEEE/ACM International Conference on
	ftp://ftp.cs.indiana.edu/pub/techreports/TR355.ps.Z, 19931014 Syntactic Abstraction in Scheme Robert Hieb , R. Kent Dybvig, and Carl Bruggeman dyb or bruggema@cs.indiana.edu Indiana University Computer Science Department Technical Report #355 June 1992 (Revised July 3, 1992)
	ftp://ftp.cs.indiana.edu/pub/techreports/TR391.ps.Z, 19931117 On Lower Bounds for the Matrix Chain Ordering Problem Phillip G. Bradfordy Venkatesh Choppellaz Gregory J. E. Rawlinsx November 17, 1993
	ftp://ftp.cs.indiana.edu/pub/techreports/TR387.ps.Z, 19931201 Backtracking and Probing Paul Walton Purdom, Jr., Indiana University G. Neil Haven, Indiana University Partial support provided by NSF Grant CCR 92-03942.
	ftp://ftp.cs.indiana.edu/pub/techreports/TR392.ps.Z, 19931215 indiana university computer science department technical report no. 392 An Introduction to Behavior Tables Kamlesh Rath, M. Esen Tuna, and Steven D. Johnson december 1993 An Introduction to Behavior Tables Kamlesh Rath, M. Esen Tuna, Steven D. Johnson Indiana University Computer Science Department
	ftp://ftp.cs.indiana.edu/pub/techreports/TR388.ps.Z, 19940103 Higher Order Logic Daniel Leivant Contents 1 Introduction : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2 2 The expressive power of second order Logic : : : : : : : : : : : 3 2.1 The language of second order logic : : : : : : : : : : : : : 3 2.2 Expressing size : : : : : : : : : : : : : : : :
	ftp://ftp.cs.indiana.edu/pub/techreports/TR390.ps.Z, 19940107 Dynamic Statistics of Sequential Prolog Ignacio Celis and Jonathan W. Mills Computer Science Dept. Indiana University Lindley Hall 215 Bloomington, IN 47405 e-mail: {celisi, jwmills}@cs.indiana.edu phone (812)-857-7038 Keywords: Implementations and Architectures
	ftp://ftp.cs.indiana.edu/pub/techreports/TR398.ps.Z, 19940223 indiana university computer science department technical report no. 398 Specification and Synthesis of Bounded Indirection Kamlesh Rath, M. Esen Tuna, and Steven D. Johnson february 1994 Specification and Synthesis of Bounded Indirection
	ftp://ftp.cs.indiana.edu/pub/techreports/TR397.ps.Z, 19940224 Maintaining Dynamic State: Deep, Shallow, and Parallel Christopher T. Haynes Indiana University 1 Richard M. Salter Oberlin College 2
	ftp://ftp.cs.indiana.edu/pub/techreports/TR349.ps.Z, 19940323 MERGING INTERACTIVE, MODULAR, AND OBJECT-ORIENTED PROGRAMMING Sho-Huan Simon Tung Submitted to the faculty of the Graduate School in partial fulfillment of the requirements for the degree Doctor of Philosophy in the Department of Computer Science Indiana University This material is based on work
	ftp://ftp.cs.indiana.edu/pub/techreports/TR400.ps.Z, 19940506 Don't Stop the BIBOP: Flexible and Efficient Storage Management for Dynamically-Typed Languages R. Kent Dybvig, David Eby, and Carl Bruggeman fdyb,deby,bruggemag@cs.indiana.edu Indiana University Computer Science Department Technical Report #400 March 1994 Copyright c 1994 R. Kent Dybvig, David Eby, and
	ftp://ftp.cs.indiana.edu/pub/techreports/TR393.ps.Z, 19940519 CIMGS: An Incomplete Orthogonal Factorization Preconditioner Xiaoge Wang Department of Computer Science Indiana University - Bloomington Kyle Gallivan Department of Electrical and Computer Engineering University of Illinois- Urbana Randall Bramley Department of Computer Science Indiana University -
	ftp://ftp.cs.indiana.edu/pub/techreports/TR395.ps.Z, 19940519 A Query Language for List-Based Complex Objects Latha S. Colby Lawrence V. Saxtony Dirk Van Gucht z May 1994 (revised)
	ftp://ftp.cs.indiana.edu/pub/techreports/TR401.ps.Z, 19940602 Uniprocessor Performance of a Reference-Counting Hardware Heap Technical Report 401 David S. Wisey, Brian Hecky, Caleb Hessy, Willie Hunty, and Eric Ostyz c 1994: Indiana University (all rights reserved) Bloomington, Indiana 47405-4101 USA dswise@iuvax.cs.indiana.edu May 1994
	ftp://ftp.cs.indiana.edu/pub/leake/p-92-01.ps.Z, 19940608 Proceedings of the Fourteenth Annual Conference of the Cognitive Science Society, 1992, pp. 313{318 Constructive Similarity Assessment: Using Stored Cases to Define New Situations David B. Leake Department of Computer Science Indiana University Bloomington, IN 47405 leake@cs.indiana.edu
	ftp://ftp.cs.indiana.edu/pub/techreports/TR415.ps.Z, 19940825 TECHNICAL REPORT NO. 415 A Data Model for Audio-Video Data Munish Gandhi gandhim@cs.indiana.edu Edward L. Robertson edrbtsn@cs.indiana.edu August 24, 1994 Computer Science Department, Indiana University, Bloomington, IN-47405. 1 Contents 1 Introduction 4 2 Algebra: Domain 6 2.1 Track Atom, TAD and Track
	ftp://ftp.cs.indiana.edu/pub/techreports/TR404.ps.Z, 19940825 TECHNICAL REPORT NO. 404 Leveled Entity Relationship Model Munish Gandhi gandhim@cs.indiana.edu Edward L. Robertson edrbtsn@cs.indiana.edu Dirk Van Gucht vgucht@cs.indiana.edu May 25, 1994 Computer Science Department, Indiana University, Bloomington, IN-47405. 1
	ftp://ftp.cs.indiana.edu/pub/techreports/TR413.ps.Z, 19940902 The Scheme Machine Robert G. Burger burger@cs.indiana.edu Indiana University Computer Science Department Technical Report #413 August 1994 The Scheme Machine Robert G. Burger Indiana University Computer Science Department Lindley Hall 215 Bloomington, Indiana 47405 burger@cs.indiana.edu Indiana
	ftp://ftp.cs.indiana.edu/pub/techreports/TR410c.ps.Z, 19940930 A ATB Control Software This appendix contains listings of the author's software for testing currentmode analog circuits on the ATB. xA.1 shows the low-level routines that manipulate the functional units of the ATB. xA.2 is ftntest, a (largish) program that offers a menu of functions for testing portions
	ftp://ftp.cs.indiana.edu/pub/techreports/TR410b.ps.Z, 19940930 Technical Report No. 410 Analog Test Board: Design and Operation R. A. Montante bobmon@cs.indiana.edu Computer Science Department Indiana University Bloomington, Indiana August 31, 1994 1 Contents 1 Introduction 4 2 Physical Design 5 2.1 Board Infrastructure : : : : : : : : : : : : : : : : : : : : : : :
	ftp://ftp.cs.indiana.edu/pub/techreports/TR416.ps.Z, 19941107 A Logical Formalization of Hardware Design Diagrams Kathi Fisler Department of Computer Science Lindley Hall 215 Indiana University Bloomington, IN 47401 kfisler@cs.indiana.edu
	ftp://ftp.cs.indiana.edu/pub/techreports/TR422b.ps.Z, 19950126 1 References Robert Bennett, Kelvin Bryant, Alan Sussman, Raja Das, and Joel Saltz. Jovian: A framework for optimizing parallel I/O. In Proceedings of the 1994 Scalable Parallel Libraries Conference, Oct 1994. Available on the WWW at http://www.cs.umd.edu/projects/hpsl/io/io.html . Francois
	ftp://ftp.cs.indiana.edu/pub/techreports/TR422a.ps.Z, 19950126 Page 1 pC++/streams: a Library for I/O on Complex Distributed Data-Structures Jacob Gotwals Suresh Srinivas Dennis Gannon Department of Computer Science, Lindley Hall 215, Indiana University, Bloomington, IN 47405. {jgotwals, ssriniva, gannon}@cs.indiana.edu
	ftp://ftp.cs.indiana.edu/pub/techreports/TR424.ps.Z, 19950206 PARALLEL DYNAMIC PROGRAMMING by Phillip Gnassi Bradford Submitted to the faculty of the Graduate School in partial fulfillment of the requirements for the degree Doctor of Philosophy in the Department of Computer Science Indiana University December 15, 1994 Accepted by the Graduate Faculty, Indiana
	ftp://ftp.cs.indiana.edu/pub/techreports/TR425.ps.Z, 19950223 Parallel Transport Approach to Curve Framing Andrew J. Hanson and Hui Ma Department of Computer Science Lindley Hall 215 Indiana University Bloomington, IN 47405 January 11, 1995
	ftp://ftp.cs.indiana.edu/pub/techreports/TR426.ps.Z, 19950301 Diagnosis of Ill-typed Programs Venkatesh Choppella and Christopher T. Haynes Indiana University, USA fchoppell,chaynesg@cs.indiana.edu
	ftp://ftp.cs.indiana.edu/pub/techreports/TR427.ps.Z, 19950310 Dynamic Interpretations of Constraint-Based Grammar Formalisms Lawrence S. Moss Mathematics and Computer Science Departments, Indiana University, Bloomington, IN 47405 USA. and David E. Johnson Mathematical Sciences Department, Thomas J. Watson Research Center, IBM Research Division, Yorktown Heights,
	ftp://ftp.cs.indiana.edu/pub/techreports/TR428.ps.Z, 19950403 Processing Queries Containing Generalized Quantifiers Sudhir Rao, Antonio Badia, and Dirk Van Gucht Indiana University
	ftp://ftp.cs.indiana.edu/pub/techreports/TR432.ps.Z, 19950503 A Canonical Form for Circuit Diagrams Kathi Fisler Department of Computer Science Lindley Hall 215 Indiana University Bloomington, IN 47405 kfisler@cs.indiana.edu May 1, 1995
	ftp://ftp.cs.indiana.edu/pub/techreports/TR374.ps.Z, 19950504 Universal Queries for Relational Query Languages Lawrence V. Saxton Department of Computer Science University of Regina Regina, SK S4S 0A2, Canada e-mail: saxton@cs.uregina.ca Dirk Van Gucht and Munish Gandhi Computer Science Department Indiana University Bloomington Indiana 47405 email:
	ftp://ftp.cs.indiana.edu/pub/techreports/TR434.ps.Z, 19950516 A Two-Pass Realistic Image Synthesis Method for Complex Scenes Kurt Zimmerman and Peter Shirley Department of Computer Science Indiana University Bloomington, IN 47405 Program of Computer Graphics Cornell University Ithaca, NY 14853
	ftp://ftp.cs.indiana.edu/pub/techreports/TR433.ps.Z, 19950522 Matrix Inversion using Quadtrees Implemented in Gofer 1 Technical Report 433 Jeremy D. Frens & David S. Wise 2 Computer Science Department Indiana University Bloomington, Indiana 47405 4101 jfrens@cs.indiana.edu May 1995 1 c 1994 by the authors. This document is made available by the authors as a means
	ftp://ftp.cs.indiana.edu/pub/techreports/TR321.ps.Z, 19950605 RTBA : A Generic Bit-Sliced Bus Architecture for DataPath Synthesis Kamlesh Rath Ignacio Celis Robert M. Wehrmeister Steven D. Johnson Computer Science Department Indiana University, Bloomington, IN 47405
	ftp://ftp.cs.indiana.edu/pub/techreports/TR435.ps.Z, 19950605 Indiana University The University Graduate School Pilot Project in Electronic Application Final Report Eric Jeschke Computer Science Department jeschke@cs.indiana.edu June 2, 1995 Contents 1 Introduction 1 1.1 History : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
	ftp://ftp.cs.indiana.edu/pub/techreports/TR418.ps.Z, 19950912 Undulant-Block Elimination and Integer-Preserving Matrix Inversion1 Technical Report 418 David S. Wise2 Computer Science Department Indiana University Bloomington, Indiana 47405 4101 dswise@cs.indiana.edu Revised: August 1995 1 c 1994,1995 by the author. This work has been submitted for publication;
	ftp://ftp.cs.indiana.edu/pub/techreports/TR441.ps.Z, 19950919 1 ISCAS-96 COVER SHEET: Title of Paper: Programmable VLSI Extended Analog Computer for Cyclotron Beam Control Initials and Family Names of All Authors: J. Mills Affiliations of Authors: Indiana University, Bloomington, IN, USA Presenting Author Family Name: Mills Corresponding Author First Name:
	ftp://ftp.cs.indiana.edu/pub/techreports/TR442.ps.Z, 19950928 Object Template Abstractions for Light-Weight Data-Parallelism Neelakantan Sundaresan Dennis Gannon nsundare@cs.indiana.edu gannon@cs.indiana.edu Computer Science Department 215 Lindley Hall Indiana University Bloomington, IN 47405
	ftp://ftp.cs.indiana.edu/pub/techreports/TR444.ps.Z, 19951117 On the Foundations of Corecursion Lawrence S. Moss Norman Dannery
	ftp://ftp.cs.indiana.edu/pub/techreports/TR447.ps.Z, 19960117 On Statistical Properties of Delta-Sigma-Modulated Sequences Eugene A. Sandlery, Dmitri A. Gusevz, Gregory Y. Milman, and Mikhail L. Podolsky\|
	ftp://ftp.cs.indiana.edu/pub/techreports/TR437.ps.Z, 19960129 Static and Dynamic Partitioning of Pointers as Links and Threads Technical Report 437 David S. Wise and Joshua Walgenbach Computer Science Department, Indiana University Bloomington, Indiana 47405{4101 USA dswise,jwalgenb@cs.indiana.edu
	ftp://ftp.cs.indiana.edu/pub/techreports/TR449.ps.Z, 19960202 Square Blocking for Matrix-Multiplication y Technical Report 449 David S. Wise and Jeremy D. Frens Computer Science Department, Indiana University Bloomington, Indiana 47405 4101, USA dswise, jfrens@cs.indiana.edu January 1996