Tarsi, Michael Optimal search on some game trees. (English) Zbl 0628.68072 J. Assoc. Comput. Mach. 30, 389-396 (1983). MSC: 68T99 91A05 68T20 PDF BibTeX XML Cite \textit{M. Tarsi}, J. Assoc. Comput. Mach. 30, 389--396 (1983; Zbl 0628.68072) Full Text: DOI
Krevner, Yael; Yehudai, Amiram An iteration theorem for simple precedence languages. (English) Zbl 0628.68060 J. Assoc. Comput. Mach. 30, 820-833 (1983). MSC: 68Q45 68N20 PDF BibTeX XML Cite \textit{Y. Krevner} and \textit{A. Yehudai}, J. Assoc. Comput. Mach. 30, 820--833 (1983; Zbl 0628.68060) Full Text: DOI
Matula, David W.; Beck, Leland L. Smallest-last ordering and clustering and graph coloring algorithms. (English) Zbl 0628.68054 J. Assoc. Comput. Mach. 30, 417-427 (1983). MSC: 68R10 68Q25 PDF BibTeX XML Cite \textit{D. W. Matula} and \textit{L. L. Beck}, J. Assoc. Comput. Mach. 30, 417--427 (1983; Zbl 0628.68054) Full Text: DOI
Coffman, E. G. jun.; Sethi, Ravi Instruction sets for evaluating arithmetic expressions. (English) Zbl 0628.68049 J. Assoc. Comput. Mach. 30, 457-478 (1983). MSC: 68Q05 PDF BibTeX XML Cite \textit{E. G. Coffman jun.} and \textit{R. Sethi}, J. Assoc. Comput. Mach. 30, 457--478 (1983; Zbl 0628.68049) Full Text: DOI
Suri, Rajan Robustness of queuing networks formulas. (English) Zbl 0628.68036 J. Assoc. Comput. Mach. 30, 564-594 (1983). MSC: 68M20 68N25 PDF BibTeX XML Cite \textit{R. Suri}, J. Assoc. Comput. Mach. 30, 564--594 (1983; Zbl 0628.68036) Full Text: DOI
Gusfield, Dan Parametric combinatorial computing and a problem of program module distribution. (English) Zbl 0628.68035 J. Assoc. Comput. Mach. 30, 551-563 (1983). MSC: 68M20 68N25 68R10 PDF BibTeX XML Cite \textit{D. Gusfield}, J. Assoc. Comput. Mach. 30, 551--563 (1983; Zbl 0628.68035) Full Text: DOI
Nau, Dana S. Decision quality as a function of search depth on game trees. (English) Zbl 0627.68076 J. Assoc. Comput. Mach. 30, 687-708 (1983). MSC: 68T20 91A35 PDF BibTeX XML Cite \textit{D. S. Nau}, J. Assoc. Comput. Mach. 30, 687--708 (1983; Zbl 0627.68076) Full Text: DOI
Wigderson, Avi Improving the performance guarantee for approximate graph coloring. (English) Zbl 0627.68057 J. Assoc. Comput. Mach. 30, 729-735 (1983). MSC: 68R10 68Q25 05C15 PDF BibTeX XML Cite \textit{A. Wigderson}, J. Assoc. Comput. Mach. 30, 729--735 (1983; Zbl 0627.68057) Full Text: DOI
Hong, Jiawei; Mehlhorn, Kurt; Rosenberg, Arnold L. Cost trade-offs in graph embeddings, with applications. (English) Zbl 0627.68038 J. Assoc. Comput. Mach. 30, 709-728 (1983). MSC: 68Q25 68R10 PDF BibTeX XML Cite \textit{J. Hong} et al., J. Assoc. Comput. Mach. 30, 709--728 (1983; Zbl 0627.68038) Full Text: DOI Link
Hajek, Bruce The proof of a folk theorem on queuing delay with applications to routing in networks. (English) Zbl 0627.68035 J. Assoc. Comput. Mach. 30, 834-851 (1983). MSC: 68M20 PDF BibTeX XML Cite \textit{B. Hajek}, J. Assoc. Comput. Mach. 30, 834--851 (1983; Zbl 0627.68035) Full Text: DOI
Megiddo, Nimrod Applying parallel computation algorithms in the design of serial algorithms. (English) Zbl 0627.68034 J. Assoc. Comput. Mach. 30, 852-865 (1983). MSC: 68W99 68R10 68N25 PDF BibTeX XML Cite \textit{N. Megiddo}, J. Assoc. Comput. Mach. 30, 852--865 (1983; Zbl 0627.68034) Full Text: DOI Link
Ibaraki, Toshihide; Abdel-Wahab, Hussein M.; Kameda, Tiko Design of minimum-cost deadlock-free systems. (English) Zbl 0627.68029 J. Assoc. Comput. Mach. 30, 736-751 (1983). MSC: 68N25 PDF BibTeX XML Cite \textit{T. Ibaraki} et al., J. Assoc. Comput. Mach. 30, 736--751 (1983; Zbl 0627.68029) Full Text: DOI
Lamport, L. The weak Byzantine Generals Problem. (English) Zbl 0627.68026 J. Assoc. Comput. Mach. 30, 668-676 (1983). MSC: 68N25 PDF BibTeX XML Cite \textit{L. Lamport}, J. Assoc. Comput. Mach. 30, 668--676 (1983; Zbl 0627.68026) Full Text: DOI
Arjomandi, Eshrat; Fischer, Michael J.; Lynch, Nancy A. Efficiency of synchronous versus asynchronous distributed systems. (English) Zbl 0627.68025 J. Assoc. Comput. Mach. 30, 449-456 (1983). MSC: 68N25 PDF BibTeX XML Cite \textit{E. Arjomandi} et al., J. Assoc. Comput. Mach. 30, 449--456 (1983; Zbl 0627.68025) Full Text: DOI
Ibarra, Oscar H.; Leininger, Brian S. On the simplification and equivalence problems for straight-line programs. (English) Zbl 0627.68013 J. Assoc. Comput. Mach. 30, 641-656 (1983). MSC: 68Q60 03B35 PDF BibTeX XML Cite \textit{O. H. Ibarra} and \textit{B. S. Leininger}, J. Assoc. Comput. Mach. 30, 641--656 (1983; Zbl 0627.68013) Full Text: DOI
Clarke, Edmund M. jun.; German, Steven M.; Halpern, Joseph Y. Effective axiomatizations of Hoare logics. (English) Zbl 0627.68010 J. Assoc. Comput. Mach. 30, 612-636 (1983). MSC: 68Q60 PDF BibTeX XML Cite \textit{E. M. Clarke jun.} et al., J. Assoc. Comput. Mach. 30, 612--636 (1983; Zbl 0627.68010) Full Text: DOI
Raoult, Jean-Claude; Sethi, Ravi Properties of a notation for combining functions. (English) Zbl 0627.68007 J. Assoc. Comput. Mach. 30, 595-611 (1983). MSC: 68N01 PDF BibTeX XML Cite \textit{J.-C. Raoult} and \textit{R. Sethi}, J. Assoc. Comput. Mach. 30, 595--611 (1983; Zbl 0627.68007) Full Text: DOI
Larson, Per-Åke Analysis of uniform hashing. (English) Zbl 0625.68085 J. Assoc. Comput. Mach. 30, 805-819 (1983). MSC: 68P20 68P05 PDF BibTeX XML Cite \textit{P.-Å. Larson}, J. Assoc. Comput. Mach. 30, 805--819 (1983; Zbl 0625.68085) Full Text: DOI
Kedem, Zvi M.; Silberschatz, Abraham Locking protocols: From exclusive to shared locks. (English) Zbl 0625.68081 J. Assoc. Comput. Mach. 30, 787-804 (1983). MSC: 68P20 68M20 PDF BibTeX XML Cite \textit{Z. M. Kedem} and \textit{A. Silberschatz}, J. Assoc. Comput. Mach. 30, 787--804 (1983; Zbl 0625.68081) Full Text: DOI
Goodman, Nathan; Shmueli, Oded Syntactic characterization of tree database schemas. (English) Zbl 0625.68077 J. Assoc. Comput. Mach. 30, 767-786 (1983). MSC: 68P20 68R10 PDF BibTeX XML Cite \textit{N. Goodman} and \textit{O. Shmueli}, J. Assoc. Comput. Mach. 30, 767--786 (1983; Zbl 0625.68077) Full Text: DOI
Supowit, Kenneth J. The relative neighborhood graph, with an application to minimum spanning trees. (English) Zbl 0625.68047 J. Assoc. Comput. Mach. 30, 428-448 (1983). MSC: 68R10 PDF BibTeX XML Cite \textit{K. J. Supowit}, J. Assoc. Comput. Mach. 30, 428--448 (1983; Zbl 0625.68047) Full Text: DOI
Gati, Georg The complexity of solving polynomial equations by quadrature. (English) Zbl 0625.68031 J. Assoc. Comput. Mach. 30, 637-640 (1983). MSC: 68Q25 68W30 11R32 PDF BibTeX XML Cite \textit{G. Gati}, J. Assoc. Comput. Mach. 30, 637--640 (1983; Zbl 0625.68031) Full Text: DOI
Rosenberg, Arnold L. Three-dimensional VLSI: a case study. (English) Zbl 0624.94019 J. Assoc. Comput. Mach. 30, 397-416 (1983). MSC: 94C15 68R10 PDF BibTeX XML Cite \textit{A. L. Rosenberg}, J. Assoc. Comput. Mach. 30, 397--416 (1983; Zbl 0624.94019) Full Text: DOI
Ausiello, Giorgio; D’Atri, Alessandro; Saccà, Domenico Graph algorithms for functional dependency manipulation. (English) Zbl 0624.68089 J. Assoc. Comput. Mach. 30, 752-766 (1983). MSC: 68P20 68R10 PDF BibTeX XML Cite \textit{G. Ausiello} et al., J. Assoc. Comput. Mach. 30, 752--766 (1983; Zbl 0624.68089) Full Text: DOI
Fagin, Ronald Degrees of acyclicity for hypergraphs and relational database schemes. (English) Zbl 0624.68088 J. Assoc. Comput. Mach. 30, 514-550 (1983). MSC: 68P20 05C65 PDF BibTeX XML Cite \textit{R. Fagin}, J. Assoc. Comput. Mach. 30, 514--550 (1983; Zbl 0624.68088) Full Text: DOI
Beeri, Catriel; Fagin, Ronald; Maier, David; Yannakakis, Mihalis On the desirability of acyclic database schemes. (English) Zbl 0624.68087 J. Assoc. Comput. Mach. 30, 479-513 (1983). MSC: 68P20 05C65 PDF BibTeX XML Cite \textit{C. Beeri} et al., J. Assoc. Comput. Mach. 30, 479--513 (1983; Zbl 0624.68087) Full Text: DOI
Xu, Meirui; Doner, John E.; Book, Ronald V. Refining nondeterminism in relativizations of complexity classes. (English) Zbl 0624.68040 J. Assoc. Comput. Mach. 30, 677-685 (1983). MSC: 68Q25 PDF BibTeX XML Cite \textit{M. Xu} et al., J. Assoc. Comput. Mach. 30, 677--685 (1983; Zbl 0624.68040) Full Text: DOI
Ja’ja’, Joseph Time-space trade-offs for some algebraic problems. (English) Zbl 0624.68038 J. Assoc. Comput. Mach. 30, 657-667 (1983). MSC: 68Q25 68W30 PDF BibTeX XML Cite \textit{J. Ja'ja'}, J. Assoc. Comput. Mach. 30, 657--667 (1983; Zbl 0624.68038) Full Text: DOI
Stewart, G. W. Computable error bounds for aggregated Markov chains. (English) Zbl 0523.60062 J. Assoc. Comput. Mach. 30, 271-285 (1983). MSC: 60J10 65C99 PDF BibTeX XML Cite \textit{G. W. Stewart}, J. Assoc. Comput. Mach. 30, 271--285 (1983; Zbl 0523.60062) Full Text: DOI
Fortune, Steven; Leivant, Daniel; O’Donnell, Michael The expressiveness of simple and second-order type structures. (English) Zbl 0519.68046 J. Assoc. Comput. Mach. 30, 151-185 (1983). MSC: 68Q65 03B40 PDF BibTeX XML Cite \textit{S. Fortune} et al., J. Assoc. Comput. Mach. 30, 151--185 (1983; Zbl 0519.68046) Full Text: DOI
Galil, Zvi; Paul, Wolfgang J. An efficient general-purpose parallel computer. (English) Zbl 0515.68022 J. Assoc. Comput. Mach. 30, 360-387 (1983). MSC: 68N25 68N99 PDF BibTeX XML Cite \textit{Z. Galil} and \textit{W. J. Paul}, J. Assoc. Comput. Mach. 30, 360--387 (1983; Zbl 0515.68022) Full Text: DOI
Jaffe, Jeffrey M. Decentralized simulation of resource managers. (English) Zbl 0515.68019 J. Assoc. Comput. Mach. 30, 300-322 (1983). MSC: 68N25 68N99 PDF BibTeX XML Cite \textit{J. M. Jaffe}, J. Assoc. Comput. Mach. 30, 300--322 (1983; Zbl 0515.68019) Full Text: DOI
Nourani, C. Farshid Abstract implementations and their correctness proofs. (English) Zbl 0515.68014 J. Assoc. Comput. Mach. 30, 343-359 (1983). MSC: 68Q60 PDF BibTeX XML Cite \textit{C. F. Nourani}, J. Assoc. Comput. Mach. 30, 343--359 (1983; Zbl 0515.68014) Full Text: DOI
Maurer, H. A.; Salomaa, A.; Wood, D. A supernormal-form theorem for context-free grammars. (English) Zbl 0514.68065 J. Assoc. Comput. Mach. 30, 95-102 (1983). MSC: 68Q45 PDF BibTeX XML Cite \textit{H. A. Maurer} et al., J. Assoc. Comput. Mach. 30, 95--102 (1983; Zbl 0514.68065) Full Text: DOI
Kannan, Ravindran Polynomial-time aggregation of integer programming problems. (English) Zbl 0512.90075 J. Assoc. Comput. Mach. 30, 133-145 (1983). MSC: 90C10 11D04 68Q25 90C05 PDF BibTeX XML Cite \textit{R. Kannan}, J. Assoc. Comput. Mach. 30, 133--145 (1983; Zbl 0512.90075) Full Text: DOI
Sippu, Seppo; Soisalon-Soininen, Eljas; Ukkonen, Esko The complexity of LALR(k) testing. (English) Zbl 0512.68069 J. Assoc. Comput. Mach. 30, 259-270 (1983). MSC: 68N20 68Q25 PDF BibTeX XML Cite \textit{S. Sippu} et al., J. Assoc. Comput. Mach. 30, 259--270 (1983; Zbl 0512.68069) Full Text: DOI
Vitter, Jeffrey Scott Analysis of the search performance of coalesced hashing. (English) Zbl 0512.68042 J. Assoc. Comput. Mach. 30, 231-258 (1983). MSC: 68P10 68P20 68P05 PDF BibTeX XML Cite \textit{J. S. Vitter}, J. Assoc. Comput. Mach. 30, 231--258 (1983; Zbl 0512.68042) Full Text: DOI
Brand, Daniel; Zafiropulo, Pitro On communicating finite-state machines. (English) Zbl 0512.68039 J. Assoc. Comput. Mach. 30, 323-342 (1983). MSC: 68Q45 PDF BibTeX XML Cite \textit{D. Brand} and \textit{P. Zafiropulo}, J. Assoc. Comput. Mach. 30, 323--342 (1983; Zbl 0512.68039) Full Text: DOI
Chandy, K. M.; Martin, A. J. A characterization of product-form queueing networks. (English) Zbl 0512.68030 J. Assoc. Comput. Mach. 30, 286-299 (1983). MSC: 68M20 60K25 PDF BibTeX XML Cite \textit{K. M. Chandy} and \textit{A. J. Martin}, J. Assoc. Comput. Mach. 30, 286--299 (1983; Zbl 0512.68030) Full Text: DOI
Schassberger, R.; Daduna, H. The time for a round trip in a cycle of exponential queues. (English) Zbl 0508.68022 J. Assoc. Comput. Mach. 30, 146-150 (1983). MSC: 68M20 60K25 PDF BibTeX XML Cite \textit{R. Schassberger} and \textit{H. Daduna}, J. Assoc. Comput. Mach. 30, 146--150 (1983; Zbl 0508.68022) Full Text: DOI
Gavish, Bezalel Formulations and algorithms for the capacitated minimal directed tree problem. (English) Zbl 0504.90052 J. Assoc. Comput. Mach. 30, 118-132 (1983). MSC: 90C10 68R10 65K05 90C05 05C05 90C35 90B10 PDF BibTeX XML Cite \textit{B. Gavish}, J. Assoc. Comput. Mach. 30, 118--132 (1983; Zbl 0504.90052) Full Text: DOI
Apt, Krzysztof R. Formal justification of a proof system for communicating sequential processes. (English) Zbl 0503.68021 J. Assoc. Comput. Mach. 30, 197-216 (1983). MSC: 68Q60 68N25 PDF BibTeX XML Cite \textit{K. R. Apt}, J. Assoc. Comput. Mach. 30, 197--216 (1983; Zbl 0503.68021) Full Text: DOI
Lord, R. E.; Kowalik, J. S.; Kumar, S. P. Solving linear algebraic equations on an MIMD computer. (English) Zbl 0502.65017 J. Assoc. Comput. Mach. 30, 103-117 (1983). MSC: 65F05 65F25 PDF BibTeX XML Cite \textit{R. E. Lord} et al., J. Assoc. Comput. Mach. 30, 103--117 (1983; Zbl 0502.65017) Full Text: DOI
Korth, Henry F. Locking primitives in a database system. (English) Zbl 0498.68060 J. Assoc. Comput. Mach. 30, 55-79 (1983). MSC: 68P20 68N25 68P05 PDF BibTeX XML Cite \textit{H. F. Korth}, J. Assoc. Comput. Mach. 30, 55--79 (1983; Zbl 0498.68060) Full Text: DOI
Klug, Anthony Locking expressions for increased database concurrency. (English) Zbl 0498.68059 J. Assoc. Comput. Mach. 30, 36-54 (1983). MSC: 68P20 68N25 68P05 PDF BibTeX XML Cite \textit{A. Klug}, J. Assoc. Comput. Mach. 30, 36--54 (1983; Zbl 0498.68059) Full Text: DOI Link
Sarwate, D. V. A note on ”A note on multiple error detection in ASCII numeric data communication”. (English) Zbl 0497.94014 J. Assoc. Comput. Mach. 30, 33-35 (1983). MSC: 94B99 PDF BibTeX XML Cite \textit{D. V. Sarwate}, J. Assoc. Comput. Mach. 30, 33--35 (1983; Zbl 0497.94014) Full Text: DOI
Bagchi, A.; Mahanti, A. Search algorithms under different kinds of heuristics - a comparative study. (English) Zbl 0497.68035 J. Assoc. Comput. Mach. 30, 1-21 (1983). MSC: 68P10 68T20 PDF BibTeX XML Cite \textit{A. Bagchi} and \textit{A. Mahanti}, J. Assoc. Comput. Mach. 30, 1--21 (1983; Zbl 0497.68035) Full Text: DOI
de Champeaux, Dennis Bidirectional heuristic search again. (English) Zbl 0497.68034 J. Assoc. Comput. Mach. 30, 22-32 (1983). MSC: 68P10 68T20 PDF BibTeX XML Cite \textit{D. de Champeaux}, J. Assoc. Comput. Mach. 30, 22--32 (1983; Zbl 0497.68034) Full Text: DOI
Frederickson, Greg N. Implicit data structures for the dictionary problem. (English) Zbl 0497.68032 J. Assoc. Comput. Mach. 30, 80-94 (1983). MSC: 68P10 PDF BibTeX XML Cite \textit{G. N. Frederickson}, J. Assoc. Comput. Mach. 30, 80--94 (1983; Zbl 0497.68032) Full Text: DOI
Strong, H. R. Vector execution of flow graphs. (English) Zbl 0497.68015 J. Assoc. Comput. Mach. 30, 186-196 (1983). MSC: 68M20 68N25 PDF BibTeX XML Cite \textit{H. R. Strong}, J. Assoc. Comput. Mach. 30, 186--196 (1983; Zbl 0497.68015) Full Text: DOI
Ibarra, Oscar H.; Moran, Shlomo Probabilistic algorithms for deciding equivalence of straight-line programs. (English) Zbl 0497.68013 J. Assoc. Comput. Mach. 30, 217-228 (1983). MSC: 68W99 68Q25 PDF BibTeX XML Cite \textit{O. H. Ibarra} and \textit{S. Moran}, J. Assoc. Comput. Mach. 30, 217--228 (1983; Zbl 0497.68013) Full Text: DOI