Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of the ACM, Volume 26, 1979
Volume 26, Number 1, January 1979
- Rainer Parchmann:
Control System Model for Critically Timed Sources. 1-5 - Alan Jay Smith:
Characterizing the Storage Process and Its Effect on the Update of Main Memory by Write Through. 6-27 - Udaiprakash Gupta:
Bounds on Storage for Consecutive Retrieval. 28-36 - Alberto O. Mendelzon:
On Axiomatizing Multivalued Dependencies in Relational Databases. 37-44 - Steven P. Reiss:
Security in Databases: A Combinatorial Study. 45-57 - Zvi Galil, Nimrod Megiddo:
A Fast Selection Algorithm and the Problem of Optimum Distribution of Effort. 58-64 - James M. Lemme, John R. Rice:
Speedup in Parallel Algorithms for Adaptive Quadrature. 65-71 - Garry H. Rodrigue, Niel K. Madsen, Jack I. Karush:
Odd-Even Reduction for Banded Linear Equations. 72-81 - George S. Fishman, Louis R. Moore:
Estimating the Mean of a Correlated Binary Sequence with an Application to Discrete Event Simulation. 82-94 - Christos H. Papadimitriou:
Optimality of the Fast Fourier transform. 95-102 - Walter J. Savitch, Michael J. Stimson:
Time Bounded Random Access Machines with Parallel Processing. 103-118 - John C. Cherniavsky, Samuel N. Kamin:
A Complete and Consistent Hoare Axiomatics for a Simple Programming Language. 119-128 - Edmund M. Clarke:
Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems. 129-147 - Gérard Berry, Jean-Jacques Lévy:
Minimal and Optimal Computations of Recursive Programs. 148-175
Volume 26, Number 2, April 1979
- Frank K. Hwang:
An O(n log n) Algorithm for Rectilinear Minimal Spanning Trees. 177-182 - George S. Lueker, Kellogg S. Booth:
A Linear Time Algorithm for Deciding Interval Graph Isomorphism. 183-195 - Azad Bolour:
Optimality Properties of Multiple-Key Hashing Functions. 196-210 - Mark R. Brown, Robert Endre Tarjan:
A Fast Merging Algorithm. 211-226 - Frank Fussenegger, Harold N. Gabow:
A Counting Approach to Lower Bounds for Selection Problems. 227-238 - Boleslaw Z. Kacewicz
:
Integrals with a Kernel in the Solution of Nonlinear Equations in N Dimensions. 239-249 - Joseph F. Traub, Henryk Wozniakowski:
Convergence and Complexity of Newton Iteration for Operator Equations. 250-258 - Erol Gelenbe:
On the Optimum Checkpoint Interval. 259-270 - Donald L. Iglehart, Peter A. W. Lewis:
Regenerative Simulation with Internal Controls. 271-282 - Tomasz Kowaltowski:
Data Structures and Correctness of Programs. 283-301 - George J. Milne, Robin Milner:
Concurrent Processes and Their Syntax. 302-321 - Barry K. Rosen:
Data Flow Analysis for Procedural Languages. 322-344 - Karel Culík II:
A Purely Homomorphic Characterization of Recursively Enumerable Sets. 345-350 - Robert E. Shostak:
A Practical Decision Procedure for Arithmetic with Function Symbols. 351-360 - Nicholas Pippenger, Michael J. Fischer:
Relations Among Complexity Measures. 361-381
Volume 26, Number 3, July 1979
- Lawrence J. Henschen:
Theorem Proving by Covering Expressions. 385-400 - Jacques Cohen, Timothy J. Hickey:
Two Algorithms for Determining Volumes of Convex Polyhedra. 401-414 - D. T. Lee, Franco P. Preparata:
An Optimal Algorithm for Finding the Kernel of a Polygon. 415-421 - Kuo-Chung Tai:
The Tree-to-Tree Correction Problem. 422-433 - Glenn K. Manacher:
Significant Improvements to the Hwang-Lin Merging Algorithm. 434-440 - Glenn K. Manacher:
The Ford-Johnson Sorting Algorithm Is Not Optimal. 441-456 - H. Raymond Strong, George Markowsky, Ashok K. Chandra:
Search within a Page. 457-482 - Tien Dai Bui:
Some A-Stable and L-Stable Methods for the Numerical Integration of Stiff Ordinary Differential Equations. 483-493 - Robert D. Skeel:
Scaling for Numerical Stability in Gaussian Elimination. 494-526 - Arthur G. Werschulz:
Maximal Order and Order of Information for Numerical Quadrature. 527-537 - Greg N. Frederickson:
Approximation Algorithms for Some Postman Problems. 538-554 - Brenda S. Baker, S. Rao Kosaraju:
A Comparison of Multilevel break and next Statements. 555-566 - Eitan M. Gurari, Oscar H. Ibarra:
An NP-Complete Number-Theoretic Problem. 567-581 - Zvi M. Kedem:
Combining Dimensionality and Rate of Growth Arguments for Establishing Lower Bounds on the Number of Multiplications and Divisions. 582-601
Volume 26, Number 4, October 1979
- Terry Beyer, W. Jones, Sandra L. Mitchell:
Linear Algorithms for Isomorphism of Maximal Outerplanar Graphs. 603-610 - Jonathan L. Gross, Ronald H. Rosen:
A Linear Time Planarity Algorithm for 2-Complexes. 611-617 - Mihalis Yannakakis:
The Effect of a Connectivity Requirement on the Complexity of Maximum Subgraph Problems. 618-630 - Christos H. Papadimitriou:
The serializability of concurrent database updates. 631-653 - Haim Mendelson, Uri Yechiali:
Performance Measures for Ordered Lists in Random-Access Files. 654-667 - Arnold L. Rosenberg:
Encoding Data Structures in Trees. 668-689 - Robert Endre Tarjan:
Applications of Path Compression on Balanced Trees. 690-715 - Joaquín Bustoz, Alan Feldstein, Richard Goodman, Seppo Linnainmaa:
Improved Trailing Digits Estimates Applied to Optimal Computer Arithmetic. 716-730 - John C. Butcher:
A Transformed implicit Runge-Kutta Method. 731-738 - Donald B. Johnson, Webb Miller, Brian Minnihan, Celia Wrathall:
Reducibility Among Floating-Point Graphs. 739-760 - U. Narayan Bhat, Richard E. Nance:
An Evaluation of CPU Efficiency Under Dynamic Quantum Allocation. 761-778 - Andrew S. Noetzel:
A Generalized Queueing Discipline for Product Form Network Solutions. 779-793 - Robin Milner:
Flowgraphs and Flow Algebras. 794-818 - Luigi Logrippo:
Renamings, Maximal Parallelism, and Space-Time Tradeoff in Program Schemata. 819-833
a service of 
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.
last updated on 2024-04-22 20:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
