Browse

ftp://ftp.cs.sunysb.edu (122)

	ftp://ftp.cs.sunysb.edu/pub/TechReports/stark/dfcalc.ps.Z, 19920326 A Calculus of Dataflow Networks (Extended Abstract) Eugene W. Stark Department of Computer Science State University of New York at Stony Brook Stony Brook, NY 11794 USAy
	ftp://ftp.cs.sunysb.edu/pub/TechReports/ramakrishnan/AdaptivePatternMatching.ps.Z, 19920504 Adaptive Pattern Matching R.C. Sekary Bellcore, Rm 2A-274 445 South Street Morristown, NJ 07962. sekar@thumper.bellcore.com. R. Ramesh Dept. of Computer Science University of Texas at Dallas Richardson, TX 77083 ramesh@utdallas.edu I.V. Ramakrishnan Dept. of Computer Science SUNY at Stony Brook Stony
	ftp://ftp.cs.sunysb.edu/pub/TechReports/stark/relations.ps.Z, 19920615 On the Relations Computable by a Class of Concurrent Automata Eugene W. Stark Department of Computer Science State University of New York at Stony Brook Stony Brook, NY 11794 USA
	ftp://ftp.cs.sunysb.edu/pub/TechReports/stark/residuals.ps.Z, 19920615 Computations, Residuals, and the Power of Indeterminacy Prakash Panangaden Department of Computer Science Cornell University Ithaca, NY 14853 USA Eugene W. Starky Department of Computer Science State University of New York at Stony Brook Stony Brook, NY 11794 USA
	ftp://ftp.cs.sunysb.edu/pub/TechReports/stark/fibrations.ps.Z, 19920615 Dataflow Networks are Fibrations Eugene W. Stark Department of Computer Science State University of New York at Stony Brook Stony Brook, NY 11794 USA (stark@cs.sunysb.edu)
	ftp://ftp.cs.sunysb.edu/pub/TechReports/stark/stability.ps.Z, 19920615 Stability and Sequentiality in Dataflow Networks Prakash Panangaden Vasant Shanbhogue Department of Computer Science Cornell University Ithaca, NY 14853 USA Eugene W. Starky Department of Computer Science State University of New York at Stony Brook Stony Brook, NY 11794 USA November 17, 1989
	ftp://ftp.cs.sunysb.edu/pub/TechReports/stark/prolog.ps.Z, 19920615 Fully Distributed, AND/OR Parallel Execution of Logic Programs Prabhakaran Raman Eugene W. Stark TR-88/02 Department of Computer Science State University of New York at Stony Brook Stony Brook, NY 11794 USA E-mail : raman@sbcs.sunysb.edu February 13, 1988
	ftp://ftp.cs.sunysb.edu/pub/TechReports/stark/spans.ps.Z, 19920615 Compositional Relational Semantics for Indeterminate Dataflow Networks Eugene W. Stark Department of Computer Science State University of New York at Stony Brook Stony Brook, NY 11794 USA
	ftp://ftp.cs.sunysb.edu/pub/TechReports/stark/ioauto.ps.Z, 19920615 A Proof of the Kahn Principle for Input/Output Automata Nancy A. Lynch M.I.T. Laboratory for Computer Science 545 Technology Square Cambridge, MA 02139 USA Eugene W. Stark Department of Computer Science State University of New York at Stony Brook Stony Brook, NY 11794 USA June 12, 1988 1 Proposed
	ftp://ftp.cs.sunysb.edu/pub/TechReports/stark/gkp.ps.Z, 19920615 A Simple Generalization of Kahn's Principle to Indeterminate Dataflow Networks Eugene W. Stark Department of Computer Science State University of New York at Stony Brook Stony Brook, NY 11794 USA July 31, 1990
	ftp://ftp.cs.sunysb.edu/pub/TechReports/stark/connections.ps.Z, 19920615 Connections between a Concrete and an
	ftp://ftp.cs.sunysb.edu/pub/TechReports/stark/cts.ps.Z, 19920615 Concurrent Transition Systems Eugene W. Stark State University of New York at Stony Brook Stony Brook, NY 11794 July 24, 1987
	ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/inheritance.ps.Z, 19920904 A Theory of Nonmonotonic Inheritance Based on Annotated Logic Krishnaprasad Thirunarayan Department of Computer Science and Engineering Wright State University Dayton, Ohio 45435 Michael Kifery Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794 September 2, 1992
	ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/superfiniteness.ps.Z, 19920930 On the Decidability and Axiomatization of Query Finiteness in Deductive Databases Michael Kifery Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794 email: kifer@cs.sunysb.edu September 30, 1992
	ftp://ftp.cs.sunysb.edu/pub/TechReports/ramakrishnan/Determinacy.ps.Z, 19921208 Extracting Determinacy in Logic Programs Steven Dawson C.R. Ramakrishnan I.V. Ramakrishnan Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794-4400 R. C. Sekar Bellcore 445 South Street Morristown, NJ 07942 E-mail: fsdawson, cram, ramg@cs.sunysb.edu, sekar@thumper.bellcore.com
	ftp://ftp.cs.sunysb.edu/pub/TechReports/chiueh/TR4.ps.Z, 19930605 A Vector Memory System Based on Wafer-Scale Integrated Memory Arrays 1. Introduction Vector processing has been the most successful computation model in traditional supercomputers and mainframe computers. There are two mechanisms through which vector machines achieve higher performance than scalar
	ftp://ftp.cs.sunysb.edu/pub/TechReports/smolka/ProbAlgs.ps.Z, 19930908 On Randomization in Sequential and Distributed Algorithms Rajiv Gupta Scott A. Smolka1 Shaji Bhaskar GE Corporate R&D Dept. of Computer Science Bell Northern Research KW-C313, P.O. Box 8 SUNY at Stony Brook 35 Davis Drive Schenectady, NY 12301 Stony Brook, NY 11794 Res. Triangle Pk, NC 27709
	ftp://ftp.cs.sunysb.edu/pub/TechReports/warren/auxiliary/xsb-benches.ps.Z, 19930928 A Summary of XSB Performance Terrance Swift David S. Warren September 10, 1993
	ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/dbpl93.ps.Z, 19931005 Database Programming in Transaction Logic Anthony J. Bonner University of Toronto Department of Computer Science Toronto, Ontario M5S 1A4, Canada bonner@db.toronto.edu Michael Kifery SUNY at Stony Brook Department of Computer Science Stony Brook, NY 11790, U.S.A. kifer@cs.sunysb.edu Mariano Consens
	ftp://ftp.cs.sunysb.edu/pub/TechReports/chiueh/TR2.ps.Z, 19931011 A Survey of Near-Line Storage Technologies: Devices and Systems Chitra Venkatramani Tzi-cker Chiueh Department of Computer Science SUNY Stony Brook, NY 11794-4400 fchiueh, chitrag@cs.sunysb.edu Experimental Computer Systems Laboratory, TR #2 October 8, 1993
	ftp://ftp.cs.sunysb.edu/pub/TechReports/warren/auxiliary/xsb_overview_old.ps.Z, 19931102 XSB: An Overview of its Use and Implementation Konstantinos Sagonas Terrance Swift David S. Warren October 22, 1993
	ftp://ftp.cs.sunysb.edu/pub/TechReports/warren/slg-impl.ps.Z, 19931119 Efficient Top-Down Computation of Queries under the Well-Founded Semantics Weidong Chen Computer Science and Engineering Southern Methodist University Dallas, TX 75275-0122 Terrance Swift David S. Warren y Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794-4400 August 17, 1993
	ftp://ftp.cs.sunysb.edu/pub/TechReports/warren/slg-stable.ps.Z, 19931129 Computation of Stable Models and its Integration with Logical Query Processing Weidong Chen Computer Science and Engineering Southern Methodist University Dallas, TX 75275-0122 David Scott Warren y Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794-4400 November 22, 1993
	ftp://ftp.cs.sunysb.edu/pub/TechReports/chiueh/TR5.ps.Z, 19931201 Papyrus: A History-Based VLSI Design Process Management System Tzi-cker Chiueh Randy Katz Computer Science Department State University of New York at Stony Brook Stony Brook, NY 11794-4400 chiueh@cs.sunysb.edu
	ftp://ftp.cs.sunysb.edu/pub/TechReports/warren/xsb-ddbengine.ps.Z, 19931208 XSB as an Efficient Deductive Database Engine Konstantinos Sagonas Terrance Swift David S. Warren Department of Computer Science State University of New York at Stony Brook Stony Brook, NY 11794-4400 fkostis, tswift, warreng@cs.sunysb.edu
	ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/types.ps.Z, 19931220 Polymorphic Types in Higher-Order Logic Programming Weidong Chen Computer Science and Engineering Southern Methodist University Dallas, Texas 75275-0122, U.S.A. wchen@seas.smu.edu Michael Kifery Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794-4400, U.S.A. kifer@cs.sunysb.edu
	ftp://ftp.cs.sunysb.edu/pub/TechReports/warren/cctis.ps.Z, 19940125 CCTIS: An Expert Transactions Processing System Terrance Swift Calvin C. Henderson y Richard Holberger z John Murphy x Edward Neham { January 17, 1994
	ftp://ftp.cs.sunysb.edu/pub/TechReports/chiueh/TR1.ps.Z, 19940128 A Generational Approach to Software-Controlled Multiprocessor Cache Coherence Tzi-cker Chiueh Computer Science Department State University of New York at Stony Brook Stony Brook, NY 11794 chiueh@cs.sunysb.edu
	ftp://ftp.cs.sunysb.edu/pub/TechReports/chiueh/TR7.ps.Z, 19940310 Content-Based Image Indexing Tzi-cker Chiueh1 Computer Science Department State University of New York at Stony Brook Stony Brook, NY 11794-4400 chiueh@cs.sunysb.edu March 7, 1994
	ftp://ftp.cs.sunysb.edu/pub/TechReports/chiueh/TR3.ps.Z, 19940310 Trail: A Track-based Logging Disk Architecture for Very Fast Writes Tzi-cker Chiueh Experimental Computer Systems Laboratory Computer Science Department State University of New York Stony Brook, NY 11794-4400
	ftp://ftp.cs.sunysb.edu/pub/TechReports/chiueh/TR6.ps.Z, 19940310 Supporting Real-Time Traffic on Ethernet Tzi-cker Chiueh Chitra Venkatramani Computer Science Department State University of New York at Stony Brook Stony Brook, NY 11794-4400 fchiueh, chitrag@cs.sunysb.edu March 6, 1994
	ftp://ftp.cs.sunysb.edu/pub/TechReports/chiueh/TR8.ps.Z, 19940328 Multi-Resolution Video Representation for Parallel Disk Arrays
	ftp://ftp.cs.sunysb.edu/pub/TechReports/wittie/mascot94.ps.Z, 19940401 Appeared in MASCOT 1994 Analysis of Memory and Time Savings using EC/DSIM Gudjon Hermannsson Ai Li Larry Wittie Computer Science, SUNY Computer Science, U. of Victoria Computer Science, SUNY Stony Brook NY 11794 Victoria, B.C., Canada V8W 3P6 Stony Brook NY 11794
	ftp://ftp.cs.sunysb.edu/pub/TechReports/wittie/hicss94.sync.ps.Z, 19940401 Appeared in HICSS 1994 Fast Locks in Distributed Shared Memory Systems Gudjon Hermannsson Larry Wittie Computer Science Department, SUNY Stony Brook, NY 11794-4400
	ftp://ftp.cs.sunysb.edu/pub/TechReports/wittie/hicss94.EC.ps.Z, 19940401 Appeared in HICSS 1994 EC/DSIM: A Frontend and Simulator for Huge Parallel Systems Gudjon Hermannsson Ai Li Larry Wittie Computer Science, SUNY Computer Science, U. of Victoria Computer Science, SUNY Stony Brook NY 11794 Victoria, B.C., Canada V8W 3P6 Stony Brook NY 11794
	ftp://ftp.cs.sunysb.edu/pub/TechReports/warren/xsb-slgwam.ps.Z, 19940412 An Abstract Machine for SLG Resolution Terrance Swift Department of Computer Science University at Stony Brook Stony Brook, NY 11794-4400 Tel: 516-632-9087 Fax: 516-632-8334 tswift@cs.sunysb.edu David S. Warren Department of Computer Science University at Stony Brook Stony Brook, NY 11794-4400 Tel:
	ftp://ftp.cs.sunysb.edu/pub/TechReports/ramakrishnan/Framework.ps.Z, 19940419 A Symbolic Constraint Solving Framework for Analysis of Logic Programs C.R. Ramakrishnan, I.V. Ramakrishnan and R.C. Sekar1 TR # 94-03 April 1994
	ftp://ftp.cs.sunysb.edu/pub/TechReports/ramakrishnan/Equals_lfp92.ps.Z, 19940602 Fast Parallel Implementation of Lazy Languages { The EQUALS Experience O. Kaser S. Pawagi C.R. Ramakrishnan I.V. Ramakrishnan Department of Computer Science SUNY at Stony Brook, NY 11794. fowen, shaunak, cram, ramg@cs.sunysb.edu R.C. Sekar Bellcore, 445 South Street Morristown, NJ 07962.
	ftp://ftp.cs.sunysb.edu/pub/TechReports/wittie/dcs94.ps.Z, 19940622 Optimistic Synchronization in Distributed Shared Memory Gudjon Hermannsson Larry Wittie Renaissance Technologies Corp. Computer Science Department, SUNY Stony Brook, NY 11790 Stony Brook, NY 11794-4400
	ftp://ftp.cs.sunysb.edu/pub/TechReports/stark/probioauto.ps.Z, 19940624 Composition and Behaviors of Probabilistic I/O Automata Sue-Hwey Wu , Scott A. Smolka , Eugene W. Stark Department of Computer Science State University of New York at Stony Brook Stony Brook, NY 11794 USA
	ftp://ftp.cs.sunysb.edu/pub/TechReports/stark/dfalg.ps.Z, 19940702 An Algebra of Dataflow Networks Eugene W. STARK Department of Computer Science State University of New York at Stony Brook Stony Brook, NY 11794-4400 USAy
	ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/sorts.ps.Z, 19940719 Sorted HiLog: Sorts in Higher-Order Logic Data Languages Weidong Chen Computer Science and Engineering Southern Methodist University Dallas, Texas 75275-0122, U.S.A. wchen@seas.smu.edu Michael Kifery Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794-4400, U.S.A.
	ftp://ftp.cs.sunysb.edu/pub/TechReports/warren/slg_full.ps.Z, 19940801 Towards Effective Evaluation of General Logic Programs Weidong Chen Computer Science and Engineering Southern Methodist University Dallas, TX 75275-0122 David S. Warreny Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794-4400 April 5, 1993
	ftp://ftp.cs.sunysb.edu/pub/TechReports/smolka/pccs.ps.Z, 19940815 Algebraic Reasoning for Probabilistic Concurrent Systems Alessandro Giacalone Chi-Chang Jou Scott A. Smolka Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794{4400 U.S.A. email: cjou@sbcs.sunysb.edu, sas@sbcs.sunysb.edu August 9, 1994
	ftp://ftp.cs.sunysb.edu/pub/TechReports/smolka/uselton.smolka/stacs93.ps.Z, 19940817 Structured Operational Semantics for Concurrency and Hierarchy Andrew C. Uselton uselton@cs.sunysb.edu
	ftp://ftp.cs.sunysb.edu/pub/TechReports/warren/xsb-trie.ps.Z, 19940902 Dynamic Argument Reduction for In-memory Data Queries Prasad Rao I.V. Ramakrishnan Terrance Swift David S. Warren Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794-4400 fprasad,ram,tswift.warreng@sbcs.sunysb.edu March 27, 1994
	ftp://ftp.cs.sunysb.edu/pub/TechReports/ramakrishnan/Equals_pasco94.ps.Z, 19940916 Proceedings of PASCO'94 c 1994 by World Scientific Publishing Company A High Performance Runtime System for Parallel Evaluation of Lazy Languages Owen Kaser Dept. of MSCS, UNB at Saint John, Saint John, NB, Canada owen@unbsj.ca C.R. Ramakrishnany Dept. of Comp. Science, SUNY at Stony Brook, Stony Brook,
	ftp://ftp.cs.sunysb.edu/pub/TechReports/ramakrishnan/Factoring.ps.Z, 19940918 Unification Factoring for Efficient Execution of Logic Programs S. Dawson C.R. Ramakrishnan I.V. Ramakrishnan K. Sagonas S. Skiena T. Swift D.S. Warren Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794-4400
	ftp://ftp.cs.sunysb.edu/pub/TechReports/chiueh/TR9.ps.Z, 19940921 Sunder: A Programmable Hardware Prefetch Architecture for Numerical Loops Tzi-cker Chiueh Computer Science Department State University of New York at Stony Brook Stony Brook, NY 11794-4400 chiueh@cs.sunysb.edu
	ftp://ftp.cs.sunysb.edu/pub/TechReports/smolka/cav94.ps.Z, 19941018 Incremental Model Checking in the Modal Mu-Calculus Oleg V. Sokolsky Scott A. Smolka Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794-4400 foleg,sasg@sbcs.sunysb.edu
	ftp://ftp.cs.sunysb.edu/pub/TechReports/smolka/lics94.ps.Z, 19941018 On the Parallel Complexity of Model Checking in the Modal Mu-Calculus Shipei Zhang, Oleg Sokolsky, Scott A. Smolka Department of Computer Science State University of New York at Stony Brook Stony Brook, NY 11794 USA
	ftp://ftp.cs.sunysb.edu/pub/TechReports/smolka/factory.ps.Z, 19941018 DIMACS Series in Discrete Mathematics and Theoretical Computer Science Volume 00, 0000 The Concurrency Factory { Practical Tools for Specification, Simulation, Verification, and Implementation of Concurrent Systems R. CLEAVELAND, J. N. GADA, P. M. LEWIS, S. A. SMOLKA, O. SOKOLSKY, AND S. ZHANG
	ftp://ftp.cs.sunysb.edu/pub/TechReports/warren/par-table.ps.Z, 19941028 Parallelizing Tabled Evaluations Extended Abstract Juliana Freire , Rui Hu y, Terrance Swift, David S. Warren z Department of Computer Science State University of New York at Stony Brook Stony Brook, NY 11794-4400 Email: fjuliana,ruihu,tswift,warreng@cs.sunysb.edu Phone: (516) 632-8470
	ftp://ftp.cs.sunysb.edu/pub/TechReports/chiueh/TR10.ps.Z, 19941108 Scheduling for Broadcast-based File Systems Tzi-cker Chiueh Computer Science Department State University of New York at Stony Brook Stony Brook, NY 11794-4400 chiueh@cs.sunysb.edu November 8, 1994
	ftp://ftp.cs.sunysb.edu/pub/TechReports/stark/focus.ps.Z, 19941122 Operational Semantics of a Focusing Debugger (Full version) Karen L. Bernstein, Eugene W. Stark Department of Computer Science State University of New York at Stony Brook Stony Brook, NY 11794-4400 USA November 19, 1994
	ftp://ftp.cs.sunysb.edu/pub/TechReports/smolka/priority.ps.Z, 19941201 Priority as Extremal Probability Scott A. Smolkay Bernhard Steffen Department of Computer Science Lehrstuhl f ur Informatik II SUNY at Stony Brook RWTH Aachen Stony Brook, NY 11794-4400 5100 Aachen USA Germany sas@cs.sunysb.edu bus@zeus.informatik.rwth-aachen.de
	ftp://ftp.cs.sunysb.edu/pub/TechReports/ramakrishnan/Storm.ps.Z, 19941229 STORM: A Many-to-One Associative-Commutative Matcher Ta Chen 1 and Siva Anantharaman 2 1 Department of Computer Science SUNY at Stony Brook, Stony Brook, NY 11794 (U.S.A.) e-mail: tchen@cs.sunysb.edu 2 D epartement d'Informatique LIFO, Universit e d'Orl eans, 45067-Orl eans C edex 02 (France) e-mail:
	ftp://ftp.cs.sunysb.edu/pub/TechReports/ramakrishnan/ACPerf.ps.Z, 19941229 Experiments with Associative-Commutative Discrimination Nets Ta Chen and I.V. Ramakrishnan Siva Anantharaman and Jacques Chabiny Department of Computer Science De partement d'Informatique SUNY at Stony Brook LIFO, Universite d'Orle ans Stony Brook, NY 11794 (U.S.A) 45067-Orle ans Ce dex 02 (France)
	ftp://ftp.cs.sunysb.edu/pub/TechReports/smolka/uselton.smolka/concur94.ps.Z, 19950111 A Compositional Semantics for Statecharts using Labeled Transition Systems Andrew C. Uselton and Scott A. Smolka Department of Computer Science State University of New York at Stony Brook Stony Brook, NY 11794 USA We characterize the statecharts step semantics of Pnueli and Shalev as a mapping from an
	ftp://ftp.cs.sunysb.edu/pub/TechReports/smolka/uselton.smolka/uselton.prelim.ps.Z, 19950111 What is in a Statechart: On the Semantics of Steps Andrew C. Uselton Department of Computer Science State University of New York at Stony Brook Stony Brook, NY 11794-4400, USAy November 10, 1994 1 Introduction Statecharts is a highly structured and economical description language for complex,
	ftp://ftp.cs.sunysb.edu/pub/TechReports/smolka/uselton.smolka/procomet94.ps.Z, 19950111 267 A Process Algebraic Semantics for Statecharts via State Refinement Andrew C. Uselton and Scott A. Smolka Department of Computer Science SUNY at Stony Brook, Stony Brook, NY 11794-4400, USA e-mail: fuselton,sasg@cs.sunysb.edu We give a formal semantics for statecharts via a translation into a process
	ftp://ftp.cs.sunysb.edu/pub/TechReports/smolka/uselton.smolka/napaw93.ps.Z, 19950111 State Refinement in Process Algebra (Extended Abstract) Andrew C. Uselton and Scott A. Smolka Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794-4400, USA fuselton,sasg@cs.sunysb.edu
	ftp://ftp.cs.sunysb.edu/pub/TechReports/warren/hilog_compilation.ps.gz, 19950207 Efficient Execution of HiLog in WAM-based Prolog implementations Konstantinos Sagonas David S. Warren Department of Computer Science State University of New York at Stony Brook Stony Brook, NY 11794-4400 fkostis,warreng@cs.sunysb.edu
	ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/types-abstract.ps.Z, 19950420 Polymorphic Types in Higher-Order Logic Programming Weidong Chen Computer Science and Engineering Southern Methodist University Dallas, Texas 75275-0122, U.S.A. wchen@seas.smu.edu Michael Kifery Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794-4400, U.S.A. kifer@cs.sunysb.edu
	ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/flogic-abstract.ps.Z, 19950420 Logical Foundations of Object-Oriented and Frame-Based Languages Michael Kifer Georg Lausen y James Wu z
	ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/transaction-logic-abstract.ps.Z, 19950420 Transaction Logic Programming (or, A Logic of Procedural and Declarative Knowledge) Anthony J. Bonnery Department of Computer Science University of Toronto Toronto, Ontario M5S 1A4, Canada bonner@db.toronto.edu Michael Kiferz Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11790,
	ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/concurrent-trans-logic-abstract.ps.Z, 19950420 Concurrent Transaction Logic: Semantics and Proof Theory Anthony J. Bonner Department of Computer Science University of Toronto Toronto, Ontario M5S 1A4, Canada bonner@db.toronto.edu ++1-416-978-7441 (phone) ++1-416-978-1676 (fax) Michael Kifery Department of Computer Science SUNY at Stony Brook Stony
	ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/sorts-abstract.ps.Z, 19950420 Sorted HiLog: Sorts in Higher-Order Logic Data Languages Weidong Chen Computer Science and Engineering Southern Methodist University Dallas, Texas 75275-0122, U.S.A. wchen@seas.smu.edu Michael Kifery Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794-4400, U.S.A.
	ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/superfiniteness-abstract.ps.Z, 19950421 On the Decidability and Axiomatization of Query Finiteness in Deductive Databases Michael Kifery Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794 kifer@cs.sunysb.edu March 11, 1995
	ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/hilog-abstract.ps.Z, 19950421 HiLog: A Foundation for Higher-Order Logic Programming Weidong Cheny Michael Kiferz David S. Warren Department of Computer Science State University of New York at Stony Brook Stony Brook, NY 11794
	ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/inheritance-abstract.ps.Z, 19950421 A Theory of Nonmonotonic Inheritance Based on Annotated Logic Krishnaprasad Thirunarayan Department of Computer Science and Engineering Wright State University Dayton, Ohio 45435 Michael Kifery Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794 April 20, 1995
	ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/xsql-abstract.ps.Z, 19950421 Querying Object-Oriented Databases SQL-style Michael Kifery Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794 kifer@cs.sunysb.edu Yehoshua Sagivz Department of Computer Science The Hebrew University Jerusalem 91904, Israel sagiv@cs.huji.ac.il Won Kim UniSQL, Inc. 9390 Research
	ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/galp-abstract.ps.Z, 19950421 Theory of Generalized Annotated Logic Programming and its Applications Michael Kifery Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794. E-Mail: kifer@cs.sunysb.edu V.S. Subrahmanian Department of Computer Science University of Maryland College Park, Maryland 20742. E-Mail:
	ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/flogic.ps.Z, 19950610 Logical Foundations of Object-Oriented and Frame-Based Languages Michael Kifer Georg Lausen y James Wu z
	ftp://ftp.cs.sunysb.edu/pub/TechReports/smolka/priority/joseph.ps, 19950701 DEPARTMENT OF COMPUTER SCIENCE PROFESSOR M. JOSEPH MSc PhD 2 DEPARTMENT OF COMPUTER SCIENCE PROFESSOR M. JOSEPH MSc PhD UNIVERSITY OF WARWICK 29 June 1995 Personally, Tomasz is extremely helpful, reliable and conscientious. He has no hesitation in taking on hard work and he is very persevering: I have
	ftp://ftp.cs.sunysb.edu/pub/TechReports/smolka/priority/priority.ps, 19950706 Priority as Extremal Probability Scott A. Smolkay Bernhard Steffen Department of Computer Science Fakult at f ur Mathematik und Informatik SUNY at Stony Brook Universit at Passau Stony Brook, NY 11794-4400 94030 Passau USA Germany sas@cs.sunysb.edu steffen@fmi.uni-passau.de July 6, 1995
	ftp://ftp.cs.sunysb.edu/pub/TechReports/smolka/cram.ps.gz, 19950803 A Symbolic Constraint Solving Framework for Analysis of Logic Programs C.R. Ramakrishnan I.V. Ramakrishnan R.C. Sekar cram@cs.sunysb.edu ram@cs.sunysb.edu sekar@bellcore.com Dept. of Computer Science Bellcore SUNY at Stony Brook 445, South Street Stony Brook, NY 11794-4400. Morristown, NJ 07960.
	ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/trans-log-tcs.ps.Z, 19950809 An Overview of Transaction Logic Anthony J. Bonner Computer Systems Research Institute and Computer Science Department University of Toronto Toronto, Ontario M5S 1A4, Canada bonner@db.toronto.edu Michael Kifery Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794-4400, U.S.A.
	ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/iclp93.ps.Z, 19950809 Transaction Logic Programming Anthony J. Bonnery Department of Computer Science University of Toronto Toronto, Ontario M5S 1A4, Canada bonner@db.toronto.edu Michael Kiferz Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11790, U.S.A. kifer@cs.sunysb.edu
	ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/tpc.ps.Z, 19950809 A First-Order Theory of Types and Polymorphism in Logic Programming Michael Kifer Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794 kifer@cs.sunysb.edu James Wu Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794 wujwo@cs.sunysb.edu Technical Report #90/23
	ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/galp.ps.Z, 19950809 Theory of Generalized Annotated Logic Programming and its Applications Michael Kifery Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794. E-Mail: kifer@cs.sunysb.edu V.S. Subrahmanian Department of Computer Science University of Maryland College Park, Maryland 20742. E-Mail:
	ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/hilog.ps.Z, 19950809 HiLog: A Foundation for Higher-Order Logic Programming Weidong Cheny Michael Kiferz David S. Warren Department of Computer Science State University of New York at Stony Brook Stony Brook, NY 11794
	ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/xsql.ps.Z, 19950809 Querying Object-Oriented Databases Michael Kifery Department of Computer Science University of Toronto Toronto, Ontario M5S 1A4, Canada kifer@cs.sunysb.edu Won Kim UniSQL, Inc. 9390 Research Blvd. Austin, TX 78759, U.S.A. execu!sequoia!unisql!kim@cs.utexas.edu Yehoshua Sagiv Department of Computer
	ftp://ftp.cs.sunysb.edu/pub/TechReports/chiueh/TR16.ps.Z, 19950811 Design and Implementation of the Stony Brook Video Server Tzi-cker Chiueh Chitra Venkatramani Michael Vernick Computer Science Department State University of New York at Stony Brook Stony Brook, NY 11794-4400 fchiueh, chitra, vernickg@cs.sunysb.edu August 11, 1995
	ftp://ftp.cs.sunysb.edu/pub/TechReports/chiueh/TR17.ps.Z, 19950811 Efficient Implementation Techniques for Prime-Degree Interleaved Memory Systems Tzi-cker Chiueh Manish Verma Sanjay Padubidri Computer Science Department State University of New York at Stony Brook Stony Brook, NY 11794-4400 chiueh, manish, sanjaypa@cs.sunysb.edu July 26, 1995
	ftp://ftp.cs.sunysb.edu/pub/TechReports/chiueh/TR12.ps.Z, 19950811 Performance Optimization for Parallel Tape Arrays Tzi-cker Chiueh Computer Science Department State University of New York at Stony Brook Stony Brook, NY 11794-4400 chiueh@cs.sunysb.edu
	ftp://ftp.cs.sunysb.edu/pub/TechReports/chiueh/TR13.ps.Z, 19950811 Design, Implementation, and Evaluation of a Software-based Real-Time Ethernet Protocol Chitra Venkatramani Tzi-cker Chiueh Department of Computer Science State University of New York at Stony Brook email : fchitra, chiuehg@cs.sunysb.edu
	ftp://ftp.cs.sunysb.edu/pub/TechReports/chiueh/TR14.ps.Z, 19950811 SBMosaic: An Asynchronous Internet Resource Browser Tzi-cker Chiueh Chao-Huang Lin Computer Science Department State University of New York at Stony Brook Stony Brook, NY 11794-4400 fchiueh, cling@cs.sunysb.edu 516-632-8448 (Phone) -8334(Fax)
	ftp://ftp.cs.sunysb.edu/pub/TechReports/chiueh/TR18.ps.Z, 19950920 A Periodic Broadcasting Approach to Video-on-Demand Service Tzi-cker Chiueh Chung-ho Lu1 Computer Science Department State University of New York at Stony Brook Stony Brook, NY 11794-4400 chiueh@cs.sunysb.edu
	ftp://ftp.cs.sunysb.edu/pub/TechReports/chiueh/TR19.ps.Z, 19950926 Distributed Systems Support for Networked Games Tzi-cker Chiueh Computer Science Department State University of New York at Stony Brook Stony Brook, NY 11794-4400 chiueh@cs.sunysb.edu
	ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/transaction-logic.ps.Z, 19951117 Transaction Logic Programming (or, A Logic of Procedural and Declarative Knowledge) Anthony J. Bonnery Department of Computer Science University of Toronto Toronto, Ontario M5S 1A4, Canada bonner@db.toronto.edu Michael Kiferz Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11790,
	ftp://ftp.cs.sunysb.edu/pub/TechReports/chiueh/TR21.ps.Z, 19951126 Submitted to FTCS-26, REGULAR PAPER Efficient Checkpoint Mechanisms for Massively Parallel Machines Tzi-cker Chiueh1 Peitao Deng2 Computer Science Department State University of New York at Stony Brook Stony Brook, NY 11794-4400 chiueh@cs.sunysb.edu 516-632-8449 (phone) -8334(fax)
	ftp://ftp.cs.sunysb.edu/pub/TechReports/chiueh/TR15.ps.Z, 19951126 Burst Handling of Digital Video Traffic Tzi-cker Chiueh Li-chun Wang1 Computer Science Department State University of New York at Stony Brook Stony Brook, NY 11794-4400 chiueh@cs.sunysb.edu November 22, 1995
	ftp://ftp.cs.sunysb.edu/pub/TechReports/chiueh/TR22.ps.Z, 19951201 Cache Tag Renaming Tzi-cker Chiueh Sanjay Padubidri Computer Science Department State University of New York at Stony Brook Stony Brook, NY 11794-4400 fchiueh, sanjaypag@cs.sunysb.edu November 30, 1995
	ftp://ftp.cs.sunysb.edu/pub/TechReports/chiueh/TR23.ps.Z, 19951201 Implementation and Performance Evaluation of Locust Manish Verma Allen Ballman Tzi-cker Chiueh Computer Science Department State University of New York at Stony Brook Stony Brook, NY 11794-4400 fmanish, ballman, chiuehg@cs.sunysb.edu November 30, 1995
	ftp://ftp.cs.sunysb.edu/pub/TechReports/smolka/cav95.ps.Z, 19951206 Local Model Checking for Real-Time Systems (Extended Abstract) Oleg V. Sokolsky Scott A. Smolka Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794-4400 foleg,sasg@cs.sunysb.edu
	ftp://ftp.cs.sunysb.edu/pub/TechReports/wittie/newcom94.ps.Z, 19951208 Analysis and Transformations of Parallel Programs for Fast Data Sharing Ai Liy Gudjon Hermannsson and Larry Wittie Dept. of Computer Science Dept. of Computer Science University of Victoria SUNY at Stony Brook Victoria, B.C. Stony Brook NY 11794 Canada V8W 3P6 U.S.A. Feb. 3, 1994 This research has been
	ftp://ftp.cs.sunysb.edu/pub/TechReports/wittie/Siam94ext.Perf.Model.Eagsh.DMS.ps, 19951211 Performance Modeling of Eagersharing Distributed Memory Systems Ai Liy Gudjon Hermannsson and Larry Wittie Dept. of Computer Science Dept. of Computer Science University of Victoria SUNY at Stony Brook Victoria, B.C. Stony Brook NY 11794 Canada V8W 3P6 U.S.A. October 21, 1993 This research has been
	ftp://ftp.cs.sunysb.edu/pub/TechReports/wittie/Thesis93.Gudjon.Hermannsson.ps, 19951211 EFFICIENT REMOTE ACCESSES AND SYNCHRONIZATIONS FOR DISTRIBUTED SHARED MEMORY COMPUTERS a dissertation presented by Gudjon Hermannsson to The Graduate School in partial fulfillment of the requirements for the degree of doctor of philosophy in computer science State University of New York at Stony Brook
	ftp://ftp.cs.sunysb.edu/pub/TechReports/wittie/Icycs93extTR9220.EagerDatSh.DM.ps, 19951211 Eager Data Sharing in Distributed Memories Ai Li and Larry Wittie TR # 92/20 Computer Science Department, SUNY Stony Brook, NY 11794-4400 E-mail: ali@sbcs.sunysb.edu Tel: (516)-632-2210 November 25, 1992 This research has been supported in part by Department of Energy/Superconducting Super Collider
	ftp://ftp.cs.sunysb.edu/pub/TechReports/wittie/Ppc92ext.EagerShar.EffMass.Par.ps, 19951211 Extended version of Parallel Processing Conf. 1992 paper and revised version of Stony Brook TR # 92/01 Eager Sharing for Efficient Massive Parallelism Larry D. Wittie, Gudjon Hermannsson, and Ai Li Computer Science Department, SUNY Stony Brook NY 11794-4400
	ftp://ftp.cs.sunysb.edu/pub/TechReports/wittie/Thesis93.Ai.Li.Chap3.Perf.An.ps, 19951211 PROGRAMMING TECHNIQUES FOR EAGERSHARING DISTRIBUTED MEMORY SYSTEMS a dissertation presented by Ai Li to The Graduate School in partial fulfillment of the requirements for the degree of doctor of philosophy in computer science State University of New York at Stony Brook August 1993 c Copyright 1993 by Ai
	ftp://ftp.cs.sunysb.edu/pub/TechReports/wittie/Siam93.9301.Eval.DSM.ParNumApp.ps, 19951211 Evaluating Distributed Shared Memory for Parallel Numerical Applications Larry Wittie , Gudjon Hermannsson, and Ai Li TR # 93/01 January 1993 To appear in Sixth SIAM Conference on Parallel Processing for Scientific Computing March 1993 This research has been supported in part by Department of
	ftp://ftp.cs.sunysb.edu/pub/TechReports/wittie/Proud.proposal.ps, 19951211 P R O U D Parallel Resources On Users' Desks A PROPOSAL FOR ARESEARCH INFRASTRUCTUREGRANT STATE UNIVERSITY OF NEW YORK AT STONY BROOK 1 PROUD: Parallel Resources On Users' Desks Computer Science Department State University of New York at Stony Brook 1 Table of Contents Contents 1 Table of Contents 2 2
	ftp://ftp.cs.sunysb.edu/pub/TechReports/wittie/Hpdc94.Prg.Anal.TransFastDatSh.ps, 19951211 Program Analysis and Transformations for Fast Data Sharing Ai Li Gudjon Hermannsson Larry Wittie Computer Science, U. of Victoria Renaissance Technologies Co. Computer Science, SUNY Victoria, B.C., Canada V8W 3P6 Stony Brook, NY 11790 Stony Brook, NY 11794
	ftp://ftp.cs.sunysb.edu/pub/TechReports/wittie/Thesis93.Ai.Li.ps, 19951211 PROGRAMMING TECHNIQUES FOR EAGERSHARING DISTRIBUTED MEMORY SYSTEMS a dissertation presented by Ai Li to The Graduate School in partial fulfillment of the requirements for the degree of doctor of philosophy in computer science State University of New York at Stony Brook August 1993 c Copyright 1993 by Ai
	ftp://ftp.cs.sunysb.edu/pub/TechReports/swift/plilp95.ps.Z, 19960204 Exploiting Parallelism in Tabled Evaluations Juliana Freire, Rui Hu, Terrance Swift, David S. Warren Department of Computer Science State University of New York at Stony Brook Stony Brook, NY 11794-4400 Email: fjuliana,ruihu,tswift,warreng@cs.sunysb.edu
	ftp://ftp.cs.sunysb.edu/pub/TechReports/swift/auxiliary/outdated/xsb-perf.ps.Z, 19960204 Performance of Sequential SLG Evaluation Terrance Swift Computer Science Department University at Stony Brook Stony Brook, NY 11794-4400 tswift@cs.sunysb.edu David S. Warren Department of Computer Science University at Stony Brook Stony Brook, NY 11794-4400 Tel: 516-632-8454 Fax: 516-632-8334
	ftp://ftp.cs.sunysb.edu/pub/TechReports/swift/limit.ps.Z, 19960204 The Limits of Fixed-Order Computation Draft Konstantinos Sagonas Terrance Swift David S. Warren Department of Computer Science State University of New York at Stony Brook Stony Brook, NY 11794-4400 fkostis,tswift,warreng@cs.sunysb.edu
	ftp://ftp.cs.sunysb.edu/pub/TechReports/swift/auxiliary/outdated/xsb-impl_old.ps.Z, 19960204 Efficiently Implementing SLG Resolution: Terrance Swift David S. Warren January 25, 1994
	ftp://ftp.cs.sunysb.edu/pub/TechReports/swift/auxiliary/iclp95wkshp.ps.Z, 19960204 Dynamic Argument Reduction for In-memory Data Queries Prasad Rao I.V. Ramakrishnan Terrance Swift David S. Warren Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794-4400 fprasad,ram,tswift.warreng@sbcs.sunysb.edu March 27, 1994
	ftp://ftp.cs.sunysb.edu/pub/TechReports/swift/slgwam-wfs.ps.Z, 19960210 An Abstract Machine for Computing the Well-Founded Semantics Konstantinos Sagonas Terrance Swift David S. Warren Department of Computer Science University at Stony Brook Stony Brook, NY 11794-4400 fkostis,tswift,warreng@cs.sunysb.edu
	ftp://ftp.cs.sunysb.edu/pub/TechReports/smolka/034.ps, 19960322 Understanding Mobile Agents via a non-interleaving semantics for Facile Roberta Borgia, Pierpaolo Degano and Corrado Priami Dipartimento di Informatica, Universit a di Pisa Corso Italia, 40, I-56125 Pisa, Italy {fdegano,priamig@di.unipi.it Lone Leth and Bent Thomsen European Computer-Industry Research
	ftp://ftp.cs.sunysb.edu/pub/TechReports/smolka/031.ps, 19960331 Process Spaces Radu Negulescu Department of Computer Science University of Waterloo Waterloo, Ontario, Canada N2L 3G1 radu@maveric.uwaterloo.ca
	ftp://ftp.cs.sunysb.edu/pub/TechReports/chiueh/TR20.ps.Z, 19960521 Design, Implementation, and Evaluation of a Parallel Image Shape Indexer Tzi-cker Chiueh Dimitris Margaritis Srinidhi Varadarajan Computer Science Department State University of New York at Stony Brook Stony Brook, NY 11794-4400 fchiueh, dmarg, srinidhig@cs.sunysb.edu
	ftp://ftp.cs.sunysb.edu/pub/TechReports/chiueh/TR24.ps.Z, 19960521 Performance Evaluation of the Stony Brook Video Server Michael Vernick Tzi-cker Chiueh Chitra Venkatramani Computer Science Department State University of New York at Stony Brook Stony Brook, NY 11794-4400 fvernick, chiueh, chitrag@cs.sunysb.edu
	ftp://ftp.cs.sunysb.edu/pub/TechReports/chiueh/TR26.ps.Z, 19960524 Real-Time Gateway for Multi-Segment Ethernet Chitra Venkatramani Tzi-cker Chiueh Computer Science Department State University of New York at Stony Brook Stony Brook, NY 11794-4400 May 24, 1996
	ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/concurrent-trans-logic.ps.Z, 19960722 Concurrency and Communication in Transaction Logic Anthony J. Bonner University of Toronto, Canada. bonner@db.toronto.edu Michael Kifer SUNY at Stony Brook, U.S.A. kifer@cs.sunysb.edu
	ftp://ftp.cs.sunysb.edu/pub/TechReports/smolka/sdcr.ps.Z, 19961021 Strategic Directions in Computing Research Concurrency Working Group Report Edited by: Rance Cleaveland Scott A. Smolka Department of Computer Science Department of Computer Science North Carolina State University State University of New York at Stony Brook Raleigh, NC 27695-8206 Stony Brook, NY
	ftp://ftp.cs.sunysb.edu/pub/TechReports/smolka/xmc.ps.Z, 19970126 Submission for CAV '97, Category A Efficient Model Checking Using Tabled Resolution Y.S. Ramakrishna, C.R. Ramakrishnan, I.V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David S. Warren Department of Computer Science SUNY at Stony Brook Stony Brook, NY
	ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/tr-for-wf.ps.Z, 19971024 Transaction Logic for the Busy Workflow Professional Michael Kifer Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794-4400 1 Introduction Transaction Logic was designed to account in a clean, declarative way for many update-related phenomena in databases, logic programming, and AI.
	ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/wf-analysis.ps, 19980209 Logic Based Modeling and Analysis of Workflows (Extended Abstract) Hasan Davulcu Michael Kifer C.R. Ramakrishnan I.V. Ramakrishnan Department of Computer Science SUNY at Stony Brook, Stony Brook, NY 11794-4400 fdavulcu,kifer,cram,ramg@cs.sunysb.edu To appear in PODS-98 June 1998, Seattle, Washington