Shostak, Robert E. On the SUP-INF method for proving Presburger formulas. (English) Zbl 0423.68052 J. Assoc. Comput. Mach. 24, 529-543 (1977). MSC: 68T15 90C05 PDFBibTeX XMLCite \textit{R. E. Shostak}, J. Assoc. Comput. Mach. 24, 529--543 (1977; Zbl 0423.68052) Full Text: DOI
Kinariwala, Bharat; Rao, A. G. Flow switching approach to the maximum flow problem: I. (English) Zbl 0413.90077 J. Assoc. Comput. Mach. 24, 630-645 (1977). MSC: 90C35 90B10 05C35 05C38 65K05 PDFBibTeX XMLCite \textit{B. Kinariwala} and \textit{A. G. Rao}, J. Assoc. Comput. Mach. 24, 630--645 (1977; Zbl 0413.90077) Full Text: DOI
Kumar Das, Shawpawn A machine representation of finite \(T_0\) topologies. (English) Zbl 0413.54022 J. Assoc. Comput. Mach. 24, 676-692 (1977). MSC: 54D10 54-04 PDFBibTeX XMLCite \textit{S. Kumar Das}, J. Assoc. Comput. Mach. 24, 676--692 (1977; Zbl 0413.54022) Full Text: DOI
Sahasrabudhe, S. C.; Kulkarni, A. D. On solving Fredholm integral equations of the first kind. (English) Zbl 0409.65054 J. Assoc. Comput. Mach. 24, 624-629 (1977). MSC: 65R20 45B05 65C20 PDFBibTeX XMLCite \textit{S. C. Sahasrabudhe} and \textit{A. D. Kulkarni}, J. Assoc. Comput. Mach. 24, 624--629 (1977; Zbl 0409.65054) Full Text: DOI
Blake, Ian F.; Konheim, Alan G. Big buckets are (are not) better|. (English) Zbl 0408.68061 J. Assoc. Comput. Mach. 24, 591-606 (1977). MSC: 68R99 68P20 05A10 PDFBibTeX XMLCite \textit{I. F. Blake} and \textit{A. G. Konheim}, J. Assoc. Comput. Mach. 24, 591--606 (1977; Zbl 0408.68061) Full Text: DOI
DeMillo, R. A.; Vairavan, K.; Sycara-Cyranski, E. A study of schedules as models of synchronous parallel computation. (English) Zbl 0403.68027 J. Assoc. Comput. Mach. 24, 544-565 (1977). MSC: 68N25 68Q60 68M20 PDFBibTeX XMLCite \textit{R. A. DeMillo} et al., J. Assoc. Comput. Mach. 24, 544--565 (1977; Zbl 0403.68027) Full Text: DOI
Hirschberg, Daniel S. Algorithms for the longest common subsequence problem. (English) Zbl 0402.68041 J. Assoc. Comput. Mach. 24, 664-675 (1977). MSC: 68Q25 68W99 PDFBibTeX XMLCite \textit{D. S. Hirschberg}, J. Assoc. Comput. Mach. 24, 664--675 (1977; Zbl 0402.68041) Full Text: DOI
Yu, C. T.; Luk, W. S. Analysis of effectiveness of retrieval in clustered files. (English) Zbl 0401.68077 J. Assoc. Comput. Mach. 24, 607-622 (1977). MSC: 68P20 PDFBibTeX XMLCite \textit{C. T. Yu} and \textit{W. S. Luk}, J. Assoc. Comput. Mach. 24, 607--622 (1977; Zbl 0401.68077) Full Text: DOI
Lynch, Nancy Log space recognition and translation of parenthesis languages. (English) Zbl 0401.68051 J. Assoc. Comput. Mach. 24, 583-590 (1977). MSC: 68Q45 68Q25 PDFBibTeX XMLCite \textit{N. Lynch}, J. Assoc. Comput. Mach. 24, 583--590 (1977; Zbl 0401.68051) Full Text: DOI
Young, Paul Optimization among provably equivalent programs. (English) Zbl 0401.68016 J. Assoc. Comput. Mach. 24, 693-700 (1977). MSC: 68Q25 68Q60 PDFBibTeX XMLCite \textit{P. Young}, J. Assoc. Comput. Mach. 24, 693--700 (1977; Zbl 0401.68016) Full Text: DOI Link
Maekawa, Mamoru Queueing models for computer systems connected by a communication line. (English) Zbl 0401.68015 J. Assoc. Comput. Mach. 24, 566-582 (1977). MSC: 68M20 68N99 PDFBibTeX XMLCite \textit{M. Maekawa}, J. Assoc. Comput. Mach. 24, 566--582 (1977; Zbl 0401.68015) Full Text: DOI
Omahen, Kenneth J. Capacity bounds for multiresource queues. (English) Zbl 0401.68014 J. Assoc. Comput. Mach. 24, 646-663 (1977). MSC: 68M20 68N99 PDFBibTeX XMLCite \textit{K. J. Omahen}, J. Assoc. Comput. Mach. 24, 646--663 (1977; Zbl 0401.68014) Full Text: DOI Link
Bui, T. D. Errata and comments on a paper by J. R. Cash. (English) Zbl 0401.65048 J. Assoc. Comput. Mach. 24, 623 (1977). MSC: 65L05 PDFBibTeX XMLCite \textit{T. D. Bui}, J. Assoc. Comput. Mach. 24, 623 (1977; Zbl 0401.65048) Full Text: DOI
Ibarra, Oscar H.; Kim, Chul E. Heuristic algorithms for scheduling independent tasks on nonidentical processors. (English) Zbl 0382.90048 J. Assoc. Comput. Mach. 24, 280-289 (1977). MSC: 90B35 PDFBibTeX XMLCite \textit{O. H. Ibarra} and \textit{C. E. Kim}, J. Assoc. Comput. Mach. 24, 280--289 (1977; Zbl 0382.90048) Full Text: DOI
Fiduccia, C. M.; Zalcstein, Y. Algebras having linear multiplicative complexities. (English) Zbl 0382.68045 J. Assoc. Comput. Mach. 24, 311-331 (1977). MSC: 68Q25 68W30 PDFBibTeX XMLCite \textit{C. M. Fiduccia} and \textit{Y. Zalcstein}, J. Assoc. Comput. Mach. 24, 311--331 (1977; Zbl 0382.68045) Full Text: DOI
Fayolle, Guy; Gelenbe, Erol; Labetoulle, Jacques Stability and optimal control of the packet switching broadcast channel. (English) Zbl 0364.94004 J. Assoc. Comput. Mach. 24, 375-386 (1977). MSC: 94A05 94C10 93E15 93E20 PDFBibTeX XMLCite \textit{G. Fayolle} et al., J. Assoc. Comput. Mach. 24, 375--386 (1977; Zbl 0364.94004) Full Text: DOI
Comer, Douglas; Sethi, Ravi The complexity of trie index construction. (English) Zbl 0362.68136 J. Assoc. Comput. Mach. 24, 428-440 (1977). MSC: 68P20 68Q25 68W99 PDFBibTeX XMLCite \textit{D. Comer} and \textit{R. Sethi}, J. Assoc. Comput. Mach. 24, 428--440 (1977; Zbl 0362.68136) Full Text: DOI
Bookstein, Abraham; Kraft, Don Operations Research applied to document indexing and retrieval decisions. (English) Zbl 0362.68135 J. Assoc. Comput. Mach. 24, 418-427 (1977). MSC: 68P20 91B06 PDFBibTeX XMLCite \textit{A. Bookstein} and \textit{D. Kraft}, J. Assoc. Comput. Mach. 24, 418--427 (1977; Zbl 0362.68135) Full Text: DOI
Attar, R.; Fraenkel, Aviezri S. Local feedback in full-text retrieval systems. (English) Zbl 0362.68134 J. Assoc. Comput. Mach. 24, 397-417 (1977). MSC: 68P20 68W99 PDFBibTeX XMLCite \textit{R. Attar} and \textit{A. S. Fraenkel}, J. Assoc. Comput. Mach. 24, 397--417 (1977; Zbl 0362.68134) Full Text: DOI
Baker, Brenda S. An algorithm for structuring flowgraphs. (English) Zbl 0362.68049 J. Assoc. Comput. Mach. 24, 98-120 (1977). MSC: 68N01 68W99 PDFBibTeX XMLCite \textit{B. S. Baker}, J. Assoc. Comput. Mach. 24, 98--120 (1977; Zbl 0362.68049) Full Text: DOI
Lin, Benjamin W. Y.; Rardin, Ronald L. Development of a parametric generating procedure for integer programming test problems. (English) Zbl 0359.90057 J. Assoc. Comput. Mach. 24, 465-472 (1977). MSC: 90C10 65K05 68W99 PDFBibTeX XMLCite \textit{B. W. Y. Lin} and \textit{R. L. Rardin}, J. Assoc. Comput. Mach. 24, 465--472 (1977; Zbl 0359.90057) Full Text: DOI
Ballantyne, A. Michael; Bledsoe, W. W. Automatic proofs of theorems in analysis using nonstandard techniques. (English) Zbl 0359.68109 J. Assoc. Comput. Mach. 24, 353-374 (1977). MSC: 68T15 03H99 26E35 PDFBibTeX XMLCite \textit{A. M. Ballantyne} and \textit{W. W. Bledsoe}, J. Assoc. Comput. Mach. 24, 353--374 (1977; Zbl 0359.68109) Full Text: DOI
Davis, Philip J. Proof, completeness, transcendentals, and sampling. (English) Zbl 0359.68105 J. Assoc. Comput. Mach. 24, 298-310 (1977). MSC: 68T15 68Q45 11J81 68N01 62D05 PDFBibTeX XMLCite \textit{P. J. Davis}, J. Assoc. Comput. Mach. 24, 298--310 (1977; Zbl 0359.68105) Full Text: DOI
Hunt, Harry B. III; Rosenkrantz, Daniel J. On equivalence and containment problems for formal languages. (English) Zbl 0359.68087 J. Assoc. Comput. Mach. 24, 387-396 (1977). MSC: 68Q45 PDFBibTeX XMLCite \textit{H. B. Hunt III} and \textit{D. J. Rosenkrantz}, J. Assoc. Comput. Mach. 24, 387--396 (1977; Zbl 0359.68087) Full Text: DOI
Lipton, Richard J.; Zalcstein, Yechezkel Word problems solvable in logspace. (English) Zbl 0359.68049 J. Assoc. Comput. Mach. 24, 522-526 (1977). MSC: 68Q25 20F10 03D40 PDFBibTeX XMLCite \textit{R. J. Lipton} and \textit{Y. Zalcstein}, J. Assoc. Comput. Mach. 24, 522--526 (1977; Zbl 0359.68049) Full Text: DOI
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B. Initial algebra semantics and continuous algebras. (English) Zbl 0359.68018 J. Assoc. Comput. Mach. 24, 68-95 (1977). MSC: 68N01 68Q45 PDFBibTeX XMLCite \textit{J. A. Goguen} et al., J. Assoc. Comput. Mach. 24, 68--95 (1977; Zbl 0359.68018) Full Text: DOI
Loveman, David B. Program improvement by source-to-source transformation. (English) Zbl 0359.68016 J. Assoc. Comput. Mach. 24, 121-145 (1977). MSC: 68N01 68Q25 PDFBibTeX XMLCite \textit{D. B. Loveman}, J. Assoc. Comput. Mach. 24, 121--145 (1977; Zbl 0359.68016) Full Text: DOI
Jones, Neil D.; Muchnick, Steven S. Even simple programs are hard to analyze. (English) Zbl 0359.68014 J. Assoc. Comput. Mach. 24, 338-350 (1977). MSC: 68N01 68Q25 PDFBibTeX XMLCite \textit{N. D. Jones} and \textit{S. S. Muchnick}, J. Assoc. Comput. Mach. 24, 338--350 (1977; Zbl 0359.68014) Full Text: DOI
Boesch, F. T.; Gimpel, J. F. Covering the points of a digraph with point-disjoint paths and its application to code optimization. (English) Zbl 0359.05027 J. Assoc. Comput. Mach. 24, 192-198 (1977). MSC: 05C35 94C10 90B25 PDFBibTeX XMLCite \textit{F. T. Boesch} and \textit{J. F. Gimpel}, J. Assoc. Comput. Mach. 24, 192--198 (1977; Zbl 0359.05027) Full Text: DOI
Hyafil, L.; Kung, H. T. The complexity of parallel evaluation of linear recurrences. (English) Zbl 0358.68084 J. Assoc. Comput. Mach. 24, 513-521 (1977). MSC: 68Q25 68W99 68N01 PDFBibTeX XMLCite \textit{L. Hyafil} and \textit{H. T. Kung}, J. Assoc. Comput. Mach. 24, 513--521 (1977; Zbl 0358.68084) Full Text: DOI
Hopcroft, John; Paul, Wolfgang; Valiant, Leslie On time versus space. (English) Zbl 0358.68082 J. Assoc. Comput. Mach. 24, 332-337 (1977). MSC: 68Q25 68Q45 PDFBibTeX XMLCite \textit{J. Hopcroft} et al., J. Assoc. Comput. Mach. 24, 332--337 (1977; Zbl 0358.68082) Full Text: DOI
Hwang, K.; Yao, S. B. Optimal batched searching of tree structured files in multiprocessor computer systems. (English) Zbl 0358.68048 J. Assoc. Comput. Mach. 24, 441-454 (1977). MSC: 68N01 68P20 68Q45 68W99 PDFBibTeX XMLCite \textit{K. Hwang} and \textit{S. B. Yao}, J. Assoc. Comput. Mach. 24, 441--454 (1977; Zbl 0358.68048) Full Text: DOI
Kou, Lawrence T. On live-dead analysis for global data flow problems. (English) Zbl 0358.68046 J. Assoc. Comput. Mach. 24, 473-483 (1977). MSC: 68N01 68W99 68Q25 PDFBibTeX XMLCite \textit{L. T. Kou}, J. Assoc. Comput. Mach. 24, 473--483 (1977; Zbl 0358.68046) Full Text: DOI
Lipton, R. J.; Snyder, L. A linear time algorithm for deciding subject security. (English) Zbl 0358.68041 J. Assoc. Comput. Mach. 24, 455-464 (1977). MSC: 68N01 68W99 PDFBibTeX XMLCite \textit{R. J. Lipton} and \textit{L. Snyder}, J. Assoc. Comput. Mach. 24, 455--464 (1977; Zbl 0358.68041) Full Text: DOI
Wegbreit, Ben Complexity of synthesizing inductive assertions. (English) Zbl 0358.68031 J. Assoc. Comput. Mach. 24, 504-512 (1977). MSC: 68N01 68T15 68Q25 PDFBibTeX XMLCite \textit{B. Wegbreit}, J. Assoc. Comput. Mach. 24, 504--512 (1977; Zbl 0358.68031) Full Text: DOI
Reynolds, John C. Semantics of the domain of flow diagrams. (English) Zbl 0358.68019 J. Assoc. Comput. Mach. 24, 484-503 (1977). MSC: 68N01 PDFBibTeX XMLCite \textit{J. C. Reynolds}, J. Assoc. Comput. Mach. 24, 484--503 (1977; Zbl 0358.68019) Full Text: DOI
Ibaraki, Toshihide The power of dominance relations in branch-and-bound algorithms. (English) Zbl 0357.90043 J. Assoc. Comput. Mach. 24, 264-279 (1977). MSC: 90C10 PDFBibTeX XMLCite \textit{T. Ibaraki}, J. Assoc. Comput. Mach. 24, 264--279 (1977; Zbl 0357.90043) Full Text: DOI
Chandy, K. Mani; Howard, John H. jun.; Towsley, Donald F. Product form and local balance in queueing networks. (English) Zbl 0356.68074 J. Assoc. Comput. Mach. 24, 250-263 (1977). MSC: 68Q45 60K25 PDFBibTeX XMLCite \textit{K. M. Chandy} et al., J. Assoc. Comput. Mach. 24, 250--263 (1977; Zbl 0356.68074) Full Text: DOI
Brandwajn, Alexandre A queueing model of multiprogrammed computer systems under full load conditions. (English) Zbl 0356.68073 J. Assoc. Comput. Mach. 24, 222-240 (1977). MSC: 68Q45 68N01 60K25 PDFBibTeX XMLCite \textit{A. Brandwajn}, J. Assoc. Comput. Mach. 24, 222--240 (1977; Zbl 0356.68073) Full Text: DOI
Hofri, Micha On certain output-buffer management techniques - a stochastic model. (English) Zbl 0356.68072 J. Assoc. Comput. Mach. 24, 241-249 (1977). MSC: 68Q45 68N01 68U20 60K25 PDFBibTeX XMLCite \textit{M. Hofri}, J. Assoc. Comput. Mach. 24, 241--249 (1977; Zbl 0356.68072) Full Text: DOI
Hehner, Eric C. R. Information content of programs and operation encoding. (English) Zbl 0356.68067 J. Assoc. Comput. Mach. 24, 290-297 (1977). MSC: 68Q45 68N01 PDFBibTeX XMLCite \textit{E. C. R. Hehner}, J. Assoc. Comput. Mach. 24, 290--297 (1977; Zbl 0356.68067) Full Text: DOI
de Champeaux, Dennis; Sint, Lenie An improved bidirectional heuristic search algorithm. (English) Zbl 0356.68057 J. Assoc. Comput. Mach. 24, 177-191 (1977). MSC: 68W99 PDFBibTeX XMLCite \textit{D. de Champeaux} and \textit{L. Sint}, J. Assoc. Comput. Mach. 24, 177--191 (1977; Zbl 0356.68057) Full Text: DOI
Rosenberg, Arnold L.; Stockmeyer, Larry J. Hashing schemes for extendible arrays. (English) Zbl 0356.68028 J. Assoc. Comput. Mach. 24, 199-221 (1977). MSC: 68N01 68Q25 PDFBibTeX XMLCite \textit{A. L. Rosenberg} and \textit{L. J. Stockmeyer}, J. Assoc. Comput. Mach. 24, 199--221 (1977; Zbl 0356.68028) Full Text: DOI
Horvath, Edward C.; Lam, Shui; Sethi, Ravi A level algorithm for preemptive scheduling. (English) Zbl 0354.90044 J. Assoc. Comput. Mach. 24, 32-43 (1977). MSC: 90B35 68Q45 PDFBibTeX XMLCite \textit{E. C. Horvath} et al., J. Assoc. Comput. Mach. 24, 32--43 (1977; Zbl 0354.90044) Full Text: DOI
Johnson, Donald B. Efficient algorithms for shortest paths in sparse networks. (English) Zbl 0343.68028 J. Assoc. Comput. Mach. 24, 1-13 (1977). MSC: 68Q25 68W99 68N01 05C20 PDFBibTeX XMLCite \textit{D. B. Johnson}, J. Assoc. Comput. Mach. 24, 1--13 (1977; Zbl 0343.68028) Full Text: DOI
Aho, A. V.; Johnson, S. C.; Ullman, J. D. Code generation for expressions with common subexpressions. (English) Zbl 0343.68018 J. Assoc. Comput. Mach. 24, 146-160 (1977). MSC: 68N01 PDFBibTeX XMLCite \textit{A. V. Aho} et al., J. Assoc. Comput. Mach. 24, 146--160 (1977; Zbl 0343.68018) Full Text: DOI
Burstall, R. M.; Darlington, John A transformation system for developing recursive programs. (English) Zbl 0343.68014 J. Assoc. Comput. Mach. 24, 44-67 (1977). MSC: 68N01 PDFBibTeX XMLCite \textit{R. M. Burstall} and \textit{J. Darlington}, J. Assoc. Comput. Mach. 24, 44--67 (1977; Zbl 0343.68014) Full Text: DOI Link
Summers, Phillip D. A methodology for LISP program construction from examples. (English) Zbl 0343.68013 J. Assoc. Comput. Mach. 24, 161-175 (1977). MSC: 68N01 68W30 PDFBibTeX XMLCite \textit{P. D. Summers}, J. Assoc. Comput. Mach. 24, 161--175 (1977; Zbl 0343.68013) Full Text: DOI
Wilhelm, Neil C. A general model for the performance of disk systems. (English) Zbl 0341.68043 J. Assoc. Comput. Mach. 24, 14-31 (1977). MSC: 68Q45 68N01 PDFBibTeX XMLCite \textit{N. C. Wilhelm}, J. Assoc. Comput. Mach. 24, 14--31 (1977; Zbl 0341.68043) Full Text: DOI