Shostak, Robert E. A practical decision procedure for arithmetic with function symbols. (English) Zbl 0496.03003 J. Assoc. Comput. Mach. 26, 351-360 (1979). MSC: 03B25 68Q60 PDF BibTeX XML Cite \textit{R. E. Shostak}, J. Assoc. Comput. Mach. 26, 351--360 (1979; Zbl 0496.03003) Full Text: DOI OpenURL
Werschulz, Arthur G. Maximal order and order of information for numerical quadrature. (English) Zbl 0445.65015 J. Assoc. Comput. Mach. 26, 527-537 (1979). MSC: 65D32 PDF BibTeX XML Cite \textit{A. G. Werschulz}, J. Assoc. Comput. Mach. 26, 527--537 (1979; Zbl 0445.65015) Full Text: DOI OpenURL
Johnson, Donald B.; Miller, Webb; Minnihan, Brian; Wrathall, Celia Reducibility among floating-point graphs. (English) Zbl 0441.65034 J. Assoc. Comput. Mach. 26, 739-760 (1979). MSC: 65G50 05C50 65F30 68R10 65F05 PDF BibTeX XML Cite \textit{D. B. Johnson} et al., J. Assoc. Comput. Mach. 26, 739--760 (1979; Zbl 0441.65034) Full Text: DOI OpenURL
Butcher, J. C. A transformed implicit Runge-Kutta method. (English) Zbl 0439.65057 J. Assoc. Comput. Mach. 26, 731-738 (1979). MSC: 65L05 PDF BibTeX XML Cite \textit{J. C. Butcher}, J. Assoc. Comput. Mach. 26, 731--738 (1979; Zbl 0439.65057) Full Text: DOI OpenURL
Skeel, Robert D. Scaling for numerical stability in Gaussian elimination. (English) Zbl 0435.65035 J. Assoc. Comput. Mach. 26, 494-526 (1979). MSC: 65F35 65F05 65G50 15A12 PDF BibTeX XML Cite \textit{R. D. Skeel}, J. Assoc. Comput. Mach. 26, 494--526 (1979; Zbl 0435.65035) Full Text: DOI OpenURL
Bustoz, Joaquin; Feldstein, Alan; Goodman, Richard; Linnainmaa, Seppo Improved trailing digits estimates applied to optimal computer arithmetic. (English) Zbl 0429.65038 J. Assoc. Comput. Mach. 26, 716-730 (1979). MSC: 65G50 68N99 PDF BibTeX XML Cite \textit{J. Bustoz} et al., J. Assoc. Comput. Mach. 26, 716--730 (1979; Zbl 0429.65038) Full Text: DOI OpenURL
Rosenberg, Arnold L. Encoding data structures in trees. (English) Zbl 0423.68003 J. Assoc. Comput. Mach. 26, 668-689 (1979). MSC: 68P05 68R10 PDF BibTeX XML Cite \textit{A. L. Rosenberg}, J. Assoc. Comput. Mach. 26, 668--689 (1979; Zbl 0423.68003) Full Text: DOI OpenURL
Yannakakis, Mihalis The effect of a connectivity requirement on the complexity of maximum subgraph problems. (English) Zbl 0421.68047 J. Assoc. Comput. Mach. 26, 618-630 (1979). MSC: 68Q25 05C99 PDF BibTeX XML Cite \textit{M. Yannakakis}, J. Assoc. Comput. Mach. 26, 618--630 (1979; Zbl 0421.68047) Full Text: DOI OpenURL
Milner, Robin Flowgraphs and flow algebras. (English) Zbl 0421.68025 J. Assoc. Comput. Mach. 26, 794-818 (1979). MSC: 68N25 68N01 68Q65 68Q60 PDF BibTeX XML Cite \textit{R. Milner}, J. Assoc. Comput. Mach. 26, 794--818 (1979; Zbl 0421.68025) Full Text: DOI OpenURL
Bhat, U. Narayan; Nance, Richard E. An evaluation of CPU efficiency under dynamic quantum allocation. (English) Zbl 0419.68054 J. Assoc. Comput. Mach. 26, 761-778 (1979). MSC: 68N25 PDF BibTeX XML Cite \textit{U. N. Bhat} and \textit{R. E. Nance}, J. Assoc. Comput. Mach. 26, 761--778 (1979; Zbl 0419.68054) Full Text: DOI Link OpenURL
Noetzel, Andrew S. A generalized queueing discipline for product form network solutions. (English) Zbl 0419.68051 J. Assoc. Comput. Mach. 26, 779-793 (1979). MSC: 68N25 60K25 68M20 90B22 PDF BibTeX XML Cite \textit{A. S. Noetzel}, J. Assoc. Comput. Mach. 26, 779--793 (1979; Zbl 0419.68051) Full Text: DOI OpenURL
Papadimitriou, Christos H. The serializability of concurrent database updates. (English) Zbl 0419.68036 J. Assoc. Comput. Mach. 26, 631-653 (1979). MSC: 68P05 68N25 68M20 68Q25 PDF BibTeX XML Cite \textit{C. H. Papadimitriou}, J. Assoc. Comput. Mach. 26, 631--653 (1979; Zbl 0419.68036) Full Text: DOI OpenURL
Mendelson, Haim; Yechiali, Uri Performance measures for ordered lists in random-access files. (English) Zbl 0419.68032 J. Assoc. Comput. Mach. 26, 654-667 (1979). MSC: 68P05 68P20 68N25 68R99 PDF BibTeX XML Cite \textit{H. Mendelson} and \textit{U. Yechiali}, J. Assoc. Comput. Mach. 26, 654--667 (1979; Zbl 0419.68032) Full Text: DOI OpenURL
Logrippo, Luigi Renamings, maximal parallelism, and space-time tradeoff in program schemata. (English) Zbl 0419.68021 J. Assoc. Comput. Mach. 26, 818-833 (1979). MSC: 68Q60 68N25 PDF BibTeX XML Cite \textit{L. Logrippo}, J. Assoc. Comput. Mach. 26, 818--833 (1979; Zbl 0419.68021) Full Text: DOI OpenURL
Gross, Jonathan L.; Rosen, Ronald H. A linear time planarity algorithm for 2-complexes. (English) Zbl 0413.68071 J. Assoc. Comput. Mach. 26, 611-617 (1979). MSC: 68R99 68Q25 68R10 57M20 PDF BibTeX XML Cite \textit{J. L. Gross} and \textit{R. H. Rosen}, J. Assoc. Comput. Mach. 26, 611--617 (1979; Zbl 0413.68071) Full Text: DOI OpenURL
Tarjan, Robert Endre Applications of path compression on balanced trees. (English) Zbl 0413.68063 J. Assoc. Comput. Mach. 26, 690-715 (1979). MSC: 68R10 68Q25 PDF BibTeX XML Cite \textit{R. E. Tarjan}, J. Assoc. Comput. Mach. 26, 690--715 (1979; Zbl 0413.68063) Full Text: DOI OpenURL
Beyer, T.; Jones, W.; Mitchell, S. Linear algorithms for isomorphisms of maximal outerplanar graphs. (English) Zbl 0413.68058 J. Assoc. Comput. Mach. 26, 603-610 (1979). MSC: 68R10 68W99 PDF BibTeX XML Cite \textit{T. Beyer} et al., J. Assoc. Comput. Mach. 26, 603--610 (1979; Zbl 0413.68058) Full Text: DOI OpenURL
Strong, H. R.; Markowsky, G.; Chandra, A. K. Search within a page. (English) Zbl 0412.68057 J. Assoc. Comput. Mach. 26, 457-482 (1979). MSC: 68R99 68P05 68Q25 PDF BibTeX XML Cite \textit{H. R. Strong} et al., J. Assoc. Comput. Mach. 26, 457--482 (1979; Zbl 0412.68057) Full Text: DOI OpenURL
Tai, Kuo-Chung The tree-to-tree correction problem. (English) Zbl 0409.68040 J. Assoc. Comput. Mach. 26, 422-433 (1979). MSC: 68R99 PDF BibTeX XML Cite \textit{K.-C. Tai}, J. Assoc. Comput. Mach. 26, 422--433 (1979; Zbl 0409.68040) Full Text: DOI OpenURL
Kedem, Zvi M. Combining dimensionality and rate of growth arguments for establishing lower bounds on the number of multiplications and divisions. (English) Zbl 0409.68022 J. Assoc. Comput. Mach. 26, 582-601 (1979). MSC: 68Q25 PDF BibTeX XML Cite \textit{Z. M. Kedem}, J. Assoc. Comput. Mach. 26, 582--601 (1979; Zbl 0409.68022) Full Text: DOI OpenURL
Gurari, Eitan M.; Ibarra, Oscar H. An NP-complete number-theoretic problem. (English) Zbl 0407.68053 J. Assoc. Comput. Mach. 26, 567-581 (1979). MSC: 68Q25 03D80 03D25 03B25 11U05 11D41 11D99 90C30 68Q05 90C10 PDF BibTeX XML Cite \textit{E. M. Gurari} and \textit{O. H. Ibarra}, J. Assoc. Comput. Mach. 26, 567--581 (1979; Zbl 0407.68053) Full Text: DOI OpenURL
Baker, Brenda S.; Kosaraju, S. Rao A comparison of multilevel break and next statements. (English) Zbl 0407.68007 J. Assoc. Comput. Mach. 26, 555-566 (1979). MSC: 68Q60 68N01 PDF BibTeX XML Cite \textit{B. S. Baker} and \textit{S. R. Kosaraju}, J. Assoc. Comput. Mach. 26, 555--566 (1979; Zbl 0407.68007) Full Text: DOI OpenURL
Frederickson, Greg N. Approximation algorithms for some postman problems. (English) Zbl 0405.90076 J. Assoc. Comput. Mach. 26, 538-554 (1979). MSC: 90C35 90C10 68Q25 PDF BibTeX XML Cite \textit{G. N. Frederickson}, J. Assoc. Comput. Mach. 26, 538--554 (1979; Zbl 0405.90076) Full Text: DOI OpenURL
Pippenger, Nicholas; Fischer, Michael J. Relations among complexity measures. (English) Zbl 0405.68041 J. Assoc. Comput. Mach. 26, 361-381 (1979). MSC: 68Q25 94C10 68Q05 68U20 PDF BibTeX XML Cite \textit{N. Pippenger} and \textit{M. J. Fischer}, J. Assoc. Comput. Mach. 26, 361--381 (1979; Zbl 0405.68041) Full Text: DOI OpenURL
Kacewicz, Boleslaw Integrals with a kernel in the solution of nonlinear equations in N dimensions. (English) Zbl 0405.65026 J. Assoc. Comput. Mach. 26, 239-249 (1979). MSC: 65H10 68Q25 PDF BibTeX XML Cite \textit{B. Kacewicz}, J. Assoc. Comput. Mach. 26, 239--249 (1979; Zbl 0405.65026) Full Text: DOI Link OpenURL
Galil, Zvi; Megiddo, Nimrod A fast selection algorithm and the problem of optimum distribution of effort. (English) Zbl 0404.90062 J. Assoc. Comput. Mach. 26, 58-64 (1979). MSC: 90C10 68Q25 PDF BibTeX XML Cite \textit{Z. Galil} and \textit{N. Megiddo}, J. Assoc. Comput. Mach. 26, 58--64 (1979; Zbl 0404.90062) Full Text: DOI OpenURL
Manacher, Glenn K. The Ford-Johnson sorting algorithm is not optimal. (English) Zbl 0404.68063 J. Assoc. Comput. Mach. 26, 441-456 (1979). MSC: 68P10 PDF BibTeX XML Cite \textit{G. K. Manacher}, J. Assoc. Comput. Mach. 26, 441--456 (1979; Zbl 0404.68063) Full Text: DOI OpenURL
Henschen, L. J. Theorem proving by covering expressions. (English) Zbl 0403.68079 J. Assoc. Comput. Mach. 26, 385-400 (1979). MSC: 68T15 03G05 PDF BibTeX XML Cite \textit{L. J. Henschen}, J. Assoc. Comput. Mach. 26, 385--400 (1979; Zbl 0403.68079) Full Text: DOI OpenURL
Cohen, Jacques; Hickey, Timothy Two algorithms for determining volumes of convex polyhedra. (English) Zbl 0403.68067 J. Assoc. Comput. Mach. 26, 401-414 (1979). MSC: 68R99 52Bxx 52-04 68Q60 65F99 PDF BibTeX XML Cite \textit{J. Cohen} and \textit{T. Hickey}, J. Assoc. Comput. Mach. 26, 401--414 (1979; Zbl 0403.68067) Full Text: DOI OpenURL
Lee, D. T.; Preparata, F. P. An optimal algorithm for finding the kernel of a polygon. (English) Zbl 0403.68051 J. Assoc. Comput. Mach. 26, 415-421 (1979). MSC: 68Q25 68R99 52A10 52-04 PDF BibTeX XML Cite \textit{D. T. Lee} and \textit{F. P. Preparata}, J. Assoc. Comput. Mach. 26, 415--421 (1979; Zbl 0403.68051) Full Text: DOI Link OpenURL
Manacher, Glenn K. Significant improvements to the Hwang-Lin merging algorithm. (English) Zbl 0403.68044 J. Assoc. Comput. Mach. 26, 434-440 (1979). MSC: 68W99 68P10 PDF BibTeX XML Cite \textit{G. K. Manacher}, J. Assoc. Comput. Mach. 26, 434--440 (1979; Zbl 0403.68044) Full Text: DOI OpenURL
Bui, T. D. Some A-stable and L-stable methods for the numerical integration of stiff ordinary differential equations. (English) Zbl 0403.65033 J. Assoc. Comput. Mach. 26, 483-493 (1979). MSC: 65L07 65L05 PDF BibTeX XML Cite \textit{T. D. Bui}, J. Assoc. Comput. Mach. 26, 483--493 (1979; Zbl 0403.65033) Full Text: DOI OpenURL
Traub, J. F.; Wozniakowski, H. Convergence and complexity of Newton iteration for operator equations. (English) Zbl 0403.65019 J. Assoc. Comput. Mach. 26, 250-258 (1979). MSC: 65J15 47J25 68Q25 PDF BibTeX XML Cite \textit{J. F. Traub} and \textit{H. Wozniakowski}, J. Assoc. Comput. Mach. 26, 250--258 (1979; Zbl 0403.65019) Full Text: DOI OpenURL
Lueker, George S.; Booth, Kellogg S. A linear time algorithm for deciding interval graph isomorphism. (English) Zbl 0402.68050 J. Assoc. Comput. Mach. 26, 183-195 (1979). MSC: 68R10 68Q25 05C99 PDF BibTeX XML Cite \textit{G. S. Lueker} and \textit{K. S. Booth}, J. Assoc. Comput. Mach. 26, 183--195 (1979; Zbl 0402.68050) Full Text: DOI Link OpenURL
Fussenegger, Frank; Gabow, Harold N. A counting approach to lower bounds for selection problems. (English) Zbl 0398.68018 J. Assoc. Comput. Mach. 26, 227-238 (1979). MSC: 68Q25 68P20 PDF BibTeX XML Cite \textit{F. Fussenegger} and \textit{H. N. Gabow}, J. Assoc. Comput. Mach. 26, 227--238 (1979; Zbl 0398.68018) Full Text: DOI OpenURL
Savitch, Walter J.; Stimson, Michael J. Time bounded random access machines with parallel processing. (English) Zbl 0398.68014 J. Assoc. Comput. Mach. 26, 103-118 (1979). MSC: 68Q25 68N25 68Q45 PDF BibTeX XML Cite \textit{W. J. Savitch} and \textit{M. J. Stimson}, J. Assoc. Comput. Mach. 26, 103--118 (1979; Zbl 0398.68014) Full Text: DOI OpenURL
Iglehart, Donald L.; Lewis, Peter A. W. Regenerative simulation with internal controls. (English) Zbl 0395.68084 J. Assoc. Comput. Mach. 26, 271-282 (1979). MSC: 68U20 68M20 68N25 PDF BibTeX XML Cite \textit{D. L. Iglehart} and \textit{P. A. W. Lewis}, J. Assoc. Comput. Mach. 26, 271--282 (1979; Zbl 0395.68084) Full Text: DOI OpenURL
Čulik, Karel II A purely homomorphic characterization of recursively enumerable sets. (English) Zbl 0395.68076 J. Assoc. Comput. Mach. 26, 345-350 (1979). MSC: 68Q45 03D25 PDF BibTeX XML Cite \textit{K. Čulik II}, J. Assoc. Comput. Mach. 26, 345--350 (1979; Zbl 0395.68076) Full Text: DOI OpenURL
Hwang, F. K. An O(n log n) algorithm for rectilinear minimal spanning trees. (English) Zbl 0395.68064 J. Assoc. Comput. Mach. 26, 177-182 (1979). MSC: 68R99 PDF BibTeX XML Cite \textit{F. K. Hwang}, J. Assoc. Comput. Mach. 26, 177--182 (1979; Zbl 0395.68064) Full Text: DOI OpenURL
Bolour, Azad Optimality properties of multiple-key hashing functions. (English) Zbl 0395.68060 J. Assoc. Comput. Mach. 26, 196-210 (1979). MSC: 68R99 68Q25 68P20 PDF BibTeX XML Cite \textit{A. Bolour}, J. Assoc. Comput. Mach. 26, 196--210 (1979; Zbl 0395.68060) Full Text: DOI OpenURL
Brown, Mark R.; Tarjan, Robert E. A fast merging algorithm. (English) Zbl 0395.68055 J. Assoc. Comput. Mach. 26, 211-226 (1979). MSC: 68P10 68Q25 PDF BibTeX XML Cite \textit{M. R. Brown} and \textit{R. E. Tarjan}, J. Assoc. Comput. Mach. 26, 211--226 (1979; Zbl 0395.68055) Full Text: DOI OpenURL
Rosen, Barry K. Data flow analysis for procedural languages. (English) Zbl 0395.68031 J. Assoc. Comput. Mach. 26, 322-344 (1979). MSC: 68N25 68Q60 68W99 PDF BibTeX XML Cite \textit{B. K. Rosen}, J. Assoc. Comput. Mach. 26, 322--344 (1979; Zbl 0395.68031) Full Text: DOI OpenURL
Milne, George; Milner, Robin Concurrent processes and their syntax. (English) Zbl 0395.68030 J. Assoc. Comput. Mach. 26, 302-321 (1979). MSC: 68N25 68Q60 68W99 PDF BibTeX XML Cite \textit{G. Milne} and \textit{R. Milner}, J. Assoc. Comput. Mach. 26, 302--321 (1979; Zbl 0395.68030) Full Text: DOI OpenURL
Gelenbe, Erol On the optimum checkpoint interval. (English) Zbl 0395.68024 J. Assoc. Comput. Mach. 26, 259-270 (1979). MSC: 68P05 68N25 68M20 68U20 PDF BibTeX XML Cite \textit{E. Gelenbe}, J. Assoc. Comput. Mach. 26, 259--270 (1979; Zbl 0395.68024) Full Text: DOI OpenURL
Kowaltowski, Tomasz Data structures and correctness of programs. (English) Zbl 0395.68018 J. Assoc. Comput. Mach. 26, 283-301 (1979). MSC: 68Q60 68P05 PDF BibTeX XML Cite \textit{T. Kowaltowski}, J. Assoc. Comput. Mach. 26, 283--301 (1979; Zbl 0395.68018) Full Text: DOI OpenURL
Fishman, George S.; Moore, Louis R. Estimating the mean of a correlated binary sequence with an application to discrete event simulation. (English) Zbl 0392.62078 J. Assoc. Comput. Mach. 26, 82-94 (1979). MSC: 62M99 62F10 60K05 PDF BibTeX XML Cite \textit{G. S. Fishman} and \textit{L. R. Moore}, J. Assoc. Comput. Mach. 26, 82--94 (1979; Zbl 0392.62078) Full Text: DOI Link OpenURL
Rodrigue, Garry H.; Madsen, Niel K.; Karush, Jack I. Odd-even reduction for banded linear equations. (English) Zbl 0389.65012 J. Assoc. Comput. Mach. 26, 72-81 (1979). MSC: 65F05 15-04 68N25 PDF BibTeX XML Cite \textit{G. H. Rodrigue} et al., J. Assoc. Comput. Mach. 26, 72--81 (1979; Zbl 0389.65012) Full Text: DOI OpenURL
Lemme, James M.; Rice, John R. Speedup in parallel algorithms for adaptive quadrature. (English) Zbl 0389.65009 J. Assoc. Comput. Mach. 26, 65-71 (1979). MSC: 65D32 68N25 PDF BibTeX XML Cite \textit{J. M. Lemme} and \textit{J. R. Rice}, J. Assoc. Comput. Mach. 26, 65--71 (1979; Zbl 0389.65009) Full Text: DOI OpenURL
Reiss, Steven P. Security in databases: A combinatorial study. (English) Zbl 0388.68087 J. Assoc. Comput. Mach. 26, 45-57 (1979). MSC: 68P20 PDF BibTeX XML Cite \textit{S. P. Reiss}, J. Assoc. Comput. Mach. 26, 45--57 (1979; Zbl 0388.68087) Full Text: DOI OpenURL
Gupta, Udaiprakash Bounds on storage for consecutive retrieval. (English) Zbl 0388.68086 J. Assoc. Comput. Mach. 26, 28-36 (1979). MSC: 68P20 68P05 PDF BibTeX XML Cite \textit{U. Gupta}, J. Assoc. Comput. Mach. 26, 28--36 (1979; Zbl 0388.68086) Full Text: DOI OpenURL
Papadimitriou, Christos H. Optimality of the fast Fourier transform. (English) Zbl 0388.68055 J. Assoc. Comput. Mach. 26, 95-102 (1979). MSC: 68Q25 68R10 PDF BibTeX XML Cite \textit{C. H. Papadimitriou}, J. Assoc. Comput. Mach. 26, 95--102 (1979; Zbl 0388.68055) Full Text: DOI OpenURL
Parchmann, Rainer Control system model for critically timed sources. (English) Zbl 0388.68021 J. Assoc. Comput. Mach. 26, 1-5 (1979). MSC: 68N25 PDF BibTeX XML Cite \textit{R. Parchmann}, J. Assoc. Comput. Mach. 26, 1--5 (1979; Zbl 0388.68021) Full Text: DOI OpenURL
Mendelzon, Alberto O. On axiomatizing multivalued dependencies in relational databases. (English) Zbl 0388.68017 J. Assoc. Comput. Mach. 26, 37-44 (1979). MSC: 68P05 68P20 PDF BibTeX XML Cite \textit{A. O. Mendelzon}, J. Assoc. Comput. Mach. 26, 37--44 (1979; Zbl 0388.68017) Full Text: DOI OpenURL
Berry, Gerard; Levy, Jean-Jacques Minimal and optimal computations of recursive programs. (English) Zbl 0388.68012 J. Assoc. Comput. Mach. 26, 148-175 (1979). MSC: 68Q60 03B40 68Q55 68N20 PDF BibTeX XML Cite \textit{G. Berry} and \textit{J.-J. Levy}, J. Assoc. Comput. Mach. 26, 148--175 (1979; Zbl 0388.68012) Full Text: DOI OpenURL
Clarke, Edmund Melson jun. Programming language constructs for which it is impossible to obtain good Hoare axiom systems. (English) Zbl 0388.68008 J. Assoc. Comput. Mach. 26, 129-147 (1979). MSC: 68Q60 68W99 03D60 PDF BibTeX XML Cite \textit{E. M. Clarke jun.}, J. Assoc. Comput. Mach. 26, 129--147 (1979; Zbl 0388.68008) Full Text: DOI OpenURL
Cherniavsky, John C.; Kamin, Samuel N. A complete and consistent Hoare axiomatics for a simple programming language. (English) Zbl 0388.68007 J. Assoc. Comput. Mach. 26, 119-128 (1979). MSC: 68Q60 68W99 68Q25 PDF BibTeX XML Cite \textit{J. C. Cherniavsky} and \textit{S. N. Kamin}, J. Assoc. Comput. Mach. 26, 119--128 (1979; Zbl 0388.68007) Full Text: DOI OpenURL
Smith, Alan Jay Characterizing the storage process and its effect on the update of main memory by write through. (English) Zbl 0387.68016 J. Assoc. Comput. Mach. 26, 6-27 (1979). MSC: 68N25 68M20 PDF BibTeX XML Cite \textit{A. J. Smith}, J. Assoc. Comput. Mach. 26, 6--27 (1979; Zbl 0387.68016) Full Text: DOI OpenURL