Stop the war!
Остановите войну!
for scientists:
default search action
CoRR, October 1998
- Lunjin Lu, John G. Cleary:
On Dart-Zobel Algorithm for Testing Regular Type Inclusion. - Lex Weaver, Chris W. Johnson:
Pre-fetching tree-structured data in distributed memory. - Andreas Siebert:
A Linear Shift Invariant Multiscale Transform. - Bruce R. Childers, James P. Cohoon, Jack W. Davidson, Peter Valle:
The Design of EzWindows: A Graphics API for an Introductory Programming Course. - Tuomas Sandholm, Kate Larson, Martin Andersson, Onn Shehory, Fernando Tohmé:
Anytime Coalition Structure Generation with Worst Case Guarantees. - Nick McKeown, Martin Izzard, Adisak Mekkittikul, Bill Ellersick, Mark Horowitz:
The Tiny Tera: A Packet Switch Core. - Olivier Devillers:
Randomization yields simple O(n log star n) algorithms for difficult Omega(n) problems. - Rob J. van Glabbeek:
Axiomatizing Flat Iteration. - Maurizio Pizzonia, Giuseppe Di Battista:
Object-Oriented Design of Graph Oriented Data Structures. - Todd L. Veldhuizen:
C++ Templates as Partial Evaluation. - Wolfram Hardt, Bernd Kleinjohann:
Flysig: Dataflow Oriented Delay-Insensitive Processor for Rapid Prototyping of Signal Processing. - Mark D. Roberts:
Ultrametric Distance in Syntax. - David R. Hanson:
Early Experience with ASDL in lcc. - Judith L. Klavans, Kathleen R. McKeown, Min-Yen Kan, Susan Lee:
Resources for Evaluation of Summarization Techniques. - Giorgio Satta, William Schuler:
Restrictions on Tree Adjoining Languages. - Ion Muslea:
SYNERGY: A Linear Planner Based on Genetic Programming. - Stephen L. Adler:
General Theory of Image Normalization. - Krzysztof R. Apt:
A Proof Theoretic View of Constraint Programming. - Robert E. Strom, Guruduth Banavar, Tushar Deepak Chandra, Marc A. Kaplan, Kevan Miller, Bodhi Mukherjee, Daniel C. Sturman, Michael Ward:
Gryphon: An Information Flow Based Approach to Message Brokering. - Joseph O'Rourke:
Computational Geometry Column 33. - Joseph O'Rourke:
Computational Geometry Column 32. - James K. Huggins:
Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution. - Yuri Gurevich, James K. Huggins:
Equivalence is in the Eye of the Beholder. - Yuri Gurevich, James K. Huggins:
Evolving Algebras and Partial Evaluation. - James K. Huggins:
An Offline Partial Evaluator for Evolving Algebras. - Yuri Gurevich, James K. Huggins:
The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions. - Graham N. C. Kirby, Ronald Morrison, David W. Stemple:
Linguistic Reflection in Java. - Pontus Svenson, Mats G. Nordahl:
Relaxation in graph coloring and satisfiability problems. - 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. - Todd L. Veldhuizen, Dennis Gannon:
Active Libraries: Rethinking the roles of compilers and libraries.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.