researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal
Journal: Communications of the ACM
Home
Index
Info
Issue
Volume
21
, Issue
7
526
--
539
David L. Waltz
.
An English Language Query Answering System for a Large Relational Data Base
540
--
544
Michael L. Fredman
,
Bruce W. Weide
.
On the Complexity of Computing the Measure of U[ai, bi]
544
--
549
Francis Y. L. Chin
.
An O(n) Algorithm for Determining a Near-Optimal Computation Order of Matrix Chain Products
550
--
553
Yehoshua Perl
,
Alon Itai
,
Haim Avni
.
Interpolation Search - A Log Log N Search
554
--
557
Constantine Halatsis
,
George Philokyprou
.
Pseudochaining in Hash Tables
558
--
565
Leslie Lamport
.
Time, Clocks, and the Ordering of Events in a Distributed System
565
--
569
Henry G. Baker
.
Shallow Binding in LISP 1.5
570
--
582
Hanan Samet
.
Proving the Correctness of Heuristically Optimized Code
583
--
585
Robert E. Shostak
.
An Algorithm for Reasoning About Equality
586
--
591
Rahul Chattergy
,
Udo W. Pooch
.
Analysis of the Availability of Computer Systems Using Computer-Aided Algebra
592
--
0
Arne Maus
.
Interlude on signals and semephores revisited
592
--
0
Niklaus Wirth
.
Interlude on signals and semphores revisited. author's response
592
--
593
Duane Sand
.
Thoughtless programming
593
--
0
Percy Tzelnic
.
On LRU stack model suitability
593
--
0
Marc A. Auslander
.
Thoughtless programming? author's response
594
--
0
Gerald Held
,
Michael Stonebraker
.
On B-trees Re-examined - Authors' Response
594
--
0
Rollins Turner
.
On LRU stack model suitability. author's response
594
--
0
Lawrence Snyder
.
On B-trees Re-examined