Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarJournal of the ACM, Volume 27, 1980
Volume 27, Number 1, January 1980
Andrzej Proskurowski:
On the Generation of Binary Trees. 1-2Marvin H. Solomon, Raphael A. Finkel:
A Note on Enumerating Binary Trees. 3-5David Nassimi, Sartaj Sahni:
An optimal routing algorithm for mesh-connected Parallel computers. 6-29Krzysztof Pawlikowski:
Message Waiting Time in a Packet Switching System. 30-41G. Boyd Swartz:
Polling in a Loop System. 42-59Peter B. Henderson, Yechezkel Zalcstein:
Synchronization Problems Solvable by Generalized PV Systems. 60-71Abraham Silberschatz, Zvi M. Kedem:
Consistency in Hierarchical Database Systems. 72-80Richard J. Lipton, Arnold L. Rosenberg, Andrew Chi-Chih Yao:
External Hashing Schemes for Collections of Data Structures. 81-95Joost Engelfriet, Erik Meineche Schmidt, Jan van Leeuwen:
Stack Machines and Classes of Nonnested Macro Languages. 96-117Ravindran Kannan:
A Polynomial Algorithm for the Two-Variable Integer Programming Problem. 118-122Richard A. DeMillo, Stanley C. Eisenstat, Richard J. Lipton:
Space-Time Trade-Offs in Structured Programming: An Improved Combinatorial Embedding Theorem. 123-127Marc A. Kaplan, Jeffrey D. Ullman:
A Scheme for the Automatic Inference of Variable Types. 128-145Bhaskaram Prabhala, Ravi Sethi:
Efficient Computation of Expressions with Common Subexpressions. 146-163Mitchell Wand:
Continuation-Based Program Transformation Strategies. 164-180Edward A. Bender:
The Number of Fanout-Free Functions with Various Gates. 181-190Norihisa Suzuki, David Jefferson:
Verification Decidability of Presburger Array Programs. 191-205
Volume 27, Number 2, April 1980
Andrew Chi-Chih Yao:
New Algorithms for Bin Packing. 207-227Marshall C. Pease, Robert E. Shostak, Leslie Lamport:
Reaching Agreement in the Presence of Faults. 228-234Raymond Reiter:
Equality and Domain Closure in First-Order Databases. 235-249Yehoshua Sagiv:
An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic. 250-262Grzegorz W. Wasilkowski:
Can Any Stationary Iteration Using Linear Information Be Globally Convergent?. 263-269Tiko Kameda:
Testing Deadlock-Freedom of Computer Systems. 270-280We-Min Chow:
The Cycle Time Distribution of Exponential Cyclic Queues. 281-286Teofilo F. Gonzalez, Donald B. Johnson:
A New Algorithm for Preemptive Scheduling of Trees. 287-312Martin Reiser, Stephen S. Lavenberg:
Mean-Value Analysis of Closed Multichain Queuing Networks. 313-322Donald F. Towsley:
Queuing Network Models with State-Dependent Routing. 323-337Ramachandran Krishnaswamy, Arthur B. Pyster:
On the Correctness of Semantic-Syntax-Directed Translations. 338-355Greg Nelson, Derek C. Oppen:
Fast Decision Procedures Based on Congruence Closure. 356-364Stephen A. Ward, Robert H. Halstead Jr.:
A Syntactic Theory of Message Passing. 365-383Harold Abelson:
Lower Bounds on Information Transfer in Distributed Computations. 384-392David Lichtenstein, Michael Sipser:
GO Is Polynomial-Space Hard. 393-401Rainer Parchmann:
Corrigendum: "Control System Model for Critically Timed Success". 402
Volume 27, Number 3, July 1980
Derek C. Oppen:
Reasoning About Recursively Defined Data Structures. 403-411Doris Altenkamp, Kurt Mehlhorn:
Codes: Unequal Probabilities, Unequal Letter Cost. 412-427Ronald L. Graham, Andrew Chi-Chih Yao, F. Frances Yao:
Information Bounds Are Weak in the Shortest Distance Problem. 428-444Yossi Shiloach:
A Polynomial Solution to the Undirected Two Paths Problem. 445-456Kishor S. Trivedi, Robert A. Wagner, Timothy M. Sigmon:
Optimal Selection of CPU Speed, Device Capacities, and File Assignments. 457-473Haim Mendelson, Uri Yechiali:
A New Approach to the Analysis of Linear Probing Schemes. 474-483Fred G. Abramson, Yuri Breitbart, Forbes D. Lewis:
Complex Properties of Grammars. 484-498Joost Engelfriet, Grzegorz Rozenberg:
Fixed Point Languages, Equality Languages, and Representation of Recursively Enumerable Languages. 499-518Guy Fayolle, Isi Mitrani, R. Iasnogorodski:
Sharing a Processor Among Many Job Classes. 519-532Christos H. Papadimitriou, Paris C. Kanellakis:
Flowshop scheduling with limited temporary storage. 533-549Sartaj Sahni, Yookun Cho:
Scheduling Independent Tasks with Due Times on a Uniform Processor System. 550-563Carlo Ghezzi, Dino Mandrioli:
Augmenting Parsers to Support Incrementality. 564-579Ravi Sethi, Adrian Tang:
Constructing Call-by-Value Continuation Semantics. 580-597
Volume 27, Number 4, October 1980
Alan R. Aronson, Barry E. Jacobs, Jack Minker:
A Note on Fuzzy Deduction. 599-603D. T. Lee:
Two-Dimensional Voronoi Diagrams in the Lp-Metric. 604-618Shuji Tsukiyama, Isao Shirakawa, Hiroshi Ozaki, Hiromu Ariyoshi:
An Algorithm to Enumerate All Cutsets of a Graph in Linear Time per Cutset. 619-632Yehoshua Sagiv, Mihalis Yannakakis:
Equivalences Among Relational Expressions with the Union and Difference Operators. 633-655Andrzej Ehrenfeucht, Grzegorz Rozenberg:
The Sequence Equivalence Problem is Decidable for 0S Systems. 656-663David Maier:
Minimum Covers in Relational Database Model. 664-674Sheila A. Greibach, Emily P. Friedman:
Superdeterministic PDAs: A Subcase with a Decidable Inclusion problem. 675-700Jacob T. Schwartz:
Fast Probabilistic Algorithms for Verification of Polynomial Identities. 701-717Marshall L. Fisher, Dorit S. Hochbaum:
Database Location in Computer Networks. 718-735K. G. Ramakrishnan:
Solving Two-Commodity Transportation Problems with Coupling Constraints. 736-757Peter J. Downey, Ravi Sethi, Robert Endre Tarjan:
Variations on the Common Subexpression Problem. 758-771Jean-Claude Raoult, Jean Vuillemin:
Operational and Semantic Equivalence Between Recursive Programs. 772-796Gérard P. Huet:
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems. 797-821Joseph JáJá:
Computations of Bilinear Forms over Finite Fields. 822-830Richard E. Ladner, Michael J. Fischer:
Parallel Prefix Computation. 831-838Rüdiger Reischuk:
Improved Bounds on the Problem of Time-Space Trade-Off in the Pebble Game. 839-849
last updated on 2019-08-23 23:04 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
