CoRR, October 1998

• Lunjin Lu, John G. Cleary:
  On Dart-Zobel Algorithm for Testing Regular Type Inclusion. , (informal publication)
  [cs.LO/9810001]
• Lex Weaver, Chris Johnson:
  Pre-fetching tree-structured data in distributed memory. , (informal publication)
  [cs.DC/9810002]
• Andreas Siebert:
  A Linear Shift Invariant Multiscale Transform. , (informal publication)
  [cs.CV/9810003]
• Bruce R. Childers, James P. Cohoon, Jack W. Davidson, Peter Valle:
  The Design of EzWindows: A Graphics API for an Introductory Programming Course. , (informal publication)
  [cs.CY/9810004]
• Tuomas Sandholm, Kate Larson, Martin Andersson, Onn Shehory, Fernando Tohmé:
  Anytime Coalition Structure Generation with Worst Case Guarantees. , (informal publication)
  [cs.MA/9810005]
• Nick McKeown, Martin Izzard, Adisak Mekkittikul, Bill Ellersick, Mark Horowitz:
  The Tiny Tera: A Packet Switch Core. , (informal publication)
  [cs.NI/9810006]
• Olivier Devillers:
  Randomization yields simple O(n log star n) algorithms for difficult Omega(n) problems. , (informal publication)
  [cs.CG/9810007]
• Rob J. van Glabbeek:
  Axiomatizing Flat Iteration. , (informal publication)
  [cs.LO/9810008]
• Maurizio Pizzonia, Giuseppe Di Battista:
  Object-Oriented Design of Graph Oriented Data Structures. , (informal publication)
  [cs.SE/9810009]
• Todd L. Veldhuizen:
  C++ Templates as Partial Evaluation. , (informal publication)
  [cs.PL/9810010]
• Wolfram Hardt, Bernd Kleinjohann:
  Flysig: Dataflow Oriented Delay-Insensitive Processor for Rapid Prototyping of Signal Processing. , (informal publication)
  [cs.AR/9810011]
• Mark D. Roberts:
  Ultrametric Distance in Syntax. , (informal publication)
  [cs.CL/9810012]
• David R. Hanson:
  Early Experience with ASDL in lcc. , (informal publication)
  [cs.PL/9810013]
• Judith L. Klavans, Kathleen McKeown, Min-Yen Kan, Susan Lee:
  Resources for Evaluation of Summarization Techniques. , (informal publication)
  [cs.CL/9810014]
• Giorgio Satta, William Schuler:
  Restrictions on Tree Adjoining Languages. , (informal publication)
  [cs.CL/9810015]
• Ion Muslea:
  SYNERGY: A Linear Planner Based on Genetic Programming. , (informal publication)
  [cs.AI/9810016]
• Stephen L. Adler:
  General Theory of Image Normalization. , (informal publication)
  [cs.CV/9810017]
• Krzysztof R. Apt:
  A Proof Theoretic View of Constraint Programming. , (informal publication)
  [cs.AI/9810018]
• Robert E. Strom, Guruduth Banavar, Tushar Deepak Chandra, Marc Kaplan, Kevan Miller, Bodhi Mukherjee, Daniel C. Sturman, Michael Ward:
  Gryphon: An Information Flow Based Approach to Message Brokering. , (informal publication)
  [cs.DC/9810019]
• Joseph O'Rourke:
  Computational Geometry Column 33. , (informal publication)
  [cs.CG/9810020]
• Joseph O'Rourke:
  Computational Geometry Column 32. , (informal publication)
  [cs.CG/9810021]
• James K. Huggins:
  Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution. , (informal publication)
  [cs.SE/9810022]
• Yuri Gurevich, James K. Huggins:
  Equivalence is in the Eye of the Beholder. , (informal publication)
  [cs.SE/9810023]
• Yuri Gurevich, James K. Huggins:
  Evolving Algebras and Partial Evaluation. , (informal publication)
  [cs.SE/9810024]
• James K. Huggins:
  An Offline Partial Evaluator for Evolving Algebras. , (informal publication)
  [cs.SE/9810025]
• Yuri Gurevich, James K. Huggins:
  The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions. , (informal publication)
  [cs.SE/9810026]
• Graham N. C. Kirby, Ronald Morrison, David W. Stemple:
  Linguistic Reflection in Java. , (informal publication)
  [cs.PL/9810027]
• Pontus Svenson, Mats G. Nordahl:
  Relaxation in graph coloring and satisfiability problems. , (informal publication)
  [cond-mat/9810144]
• Matteo Beccaria, Carlo Presilla, Gian Fabrizio De Angelis, Giovanni Jona-Lasinio:
  An exact representation of the fermion dynamics in terms of Poisson processes and its connection with Monte Carlo algorithms. , (informal publication)
  [cond-mat/9810347]
• Todd L. Veldhuizen, Dennis Gannon:
  Active Libraries: Rethinking the roles of compilers and libraries. , (informal publication)
  [math.NA/9810022]