Iglehart, Donald L.; Shedler, Gerald S. Simulation output analysis for local area computer networks. (English) Zbl 0557.90026 Acta Inf. 21, 321-338 (1984). Reviewer: B.Meister MSC: 90B10 68Q99 60K15 PDFBibTeX XMLCite \textit{D. L. Iglehart} and \textit{G. S. Shedler}, Acta Inf. 21, 321--338 (1984; Zbl 0557.90026) Full Text: DOI
Devroye, Luc A probabilistic analysis of the height of tries and of the complexity of triesort. (English) Zbl 0555.68037 Acta Inf. 21, 229-237 (1984). MSC: 68P10 PDFBibTeX XMLCite \textit{L. Devroye}, Acta Inf. 21, 229--237 (1984; Zbl 0555.68037) Full Text: DOI
Hertel, Stefan; Mäntylä, Martti; Mehlhorn, Kurt; Nievergelt, Jurg Space sweep solves intersection of convex polyhedra. (English) Zbl 0553.68034 Acta Inf. 21, 501-519 (1984). MSC: 68Q25 52A15 52Bxx 52-04 PDFBibTeX XMLCite \textit{S. Hertel} et al., Acta Inf. 21, 501--519 (1984; Zbl 0553.68034) Full Text: DOI
Bird, R. S. Using circular programs to eliminate multiple traversals of data. (English) Zbl 0551.68017 Acta Inf. 21, 239-250 (1984). MSC: 68P05 68Q60 PDFBibTeX XMLCite \textit{R. S. Bird}, Acta Inf. 21, 239--250 (1984; Zbl 0551.68017) Full Text: DOI
Bergstra, J. A.; Tucker, J. V. The axiomatic semantics of programs based on Hoare’s logic. (English) Zbl 0551.68016 Acta Inf. 21, 293-320 (1984). MSC: 68Q60 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{J. V. Tucker}, Acta Inf. 21, 293--320 (1984; Zbl 0551.68016) Full Text: DOI
Mehlhorn, Kurt; Vishkin, Uzi Randomized and deterministic simulations of PRAMs by parallel machines with restricted granularity of parallel memories. (English) Zbl 0548.68044 Acta Inf. 21, 339-374 (1984). MSC: 68Q05 68Q25 PDFBibTeX XMLCite \textit{K. Mehlhorn} and \textit{U. Vishkin}, Acta Inf. 21, 339--374 (1984; Zbl 0548.68044) Full Text: DOI
Bulyonkov, M. A. Polyvariant mixed computation for analyzer programs. (English) Zbl 0544.68005 Acta Inf. 21, 473-484 (1984). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{M. A. Bulyonkov}, Acta Inf. 21, 473--484 (1984; Zbl 0544.68005) Full Text: DOI
Blum, Norbert; Seysen, Martin Characterization of all optimal networks for a simultaneous computation of AND and NOR. (English) Zbl 0543.94016 Acta Inf. 21, 171-181 (1984). Reviewer: N.N.Necula MSC: 94C10 PDFBibTeX XMLCite \textit{N. Blum} and \textit{M. Seysen}, Acta Inf. 21, 171--181 (1984; Zbl 0543.94016) Full Text: DOI
Gillett, Will D. On binary tree encodements. (English) Zbl 0542.68080 Acta Inf. 21, 183-192 (1984). MSC: 68P20 68P05 05C05 68R10 PDFBibTeX XMLCite \textit{W. D. Gillett}, Acta Inf. 21, 183--192 (1984; Zbl 0542.68080) Full Text: DOI
Huang, Shou-Hsuan Stephen; Wong, C. K. Generalized binary split trees. (English) Zbl 0541.68038 Acta Inf. 21, 113-123 (1984). MSC: 68R10 05C05 68P05 PDFBibTeX XMLCite \textit{S.-H. S. Huang} and \textit{C. K. Wong}, Acta Inf. 21, 113--123 (1984; Zbl 0541.68038) Full Text: DOI
Costa, Gerardo; Stirling, Colin A fair calculus of communicating systems. (English) Zbl 0538.68014 Acta Inf. 21, 417-441 (1984). MSC: 68Q85 PDFBibTeX XMLCite \textit{G. Costa} and \textit{C. Stirling}, Acta Inf. 21, 417--441 (1984; Zbl 0538.68014) Full Text: DOI
Leung, C. H. C.; Choo, Q. H. The paging drum queue: A uniform perspective and further results. (English) Zbl 0536.68044 Acta Inf. 21, 485-500 (1984). MSC: 68M20 PDFBibTeX XMLCite \textit{C. H. C. Leung} and \textit{Q. H. Choo}, Acta Inf. 21, 485--500 (1984; Zbl 0536.68044) Full Text: DOI
Sannella, D. A set-theoretic semantics for Clear. (English) Zbl 0535.68040 Acta Inf. 21, 443-472 (1984). MSC: 68Q55 68Q60 PDFBibTeX XMLCite \textit{D. Sannella}, Acta Inf. 21, 443--472 (1984; Zbl 0535.68040) Full Text: DOI
Bauer, G.; Otto, F. Finite complete rewriting systems and the complexity of word problem. (English) Zbl 0535.68019 Acta Inf. 21, 521-540 (1984). MSC: 68Q25 03D03 03D40 03D15 PDFBibTeX XMLCite \textit{G. Bauer} and \textit{F. Otto}, Acta Inf. 21, 521--540 (1984; Zbl 0535.68019) Full Text: DOI
Coffman, E. G. jun.; Langston, M. A. A performance guarantee for the greedy set-partitioning algorithm. (English) Zbl 0535.05008 Acta Inf. 21, 409-415 (1984). MSC: 05A17 05A05 11P81 PDFBibTeX XMLCite \textit{E. G. Coffman jun.} and \textit{M. A. Langston}, Acta Inf. 21, 409--415 (1984; Zbl 0535.05008) Full Text: DOI
Choffrut, C.; Čulik, Karel II On real-time cellular automata and trellis automata. (English) Zbl 0534.68039 Acta Inf. 21, 393-407 (1984). MSC: 68Q80 68Q45 PDFBibTeX XMLCite \textit{C. Choffrut} and \textit{K. Čulik II}, Acta Inf. 21, 393--407 (1984; Zbl 0534.68039) Full Text: DOI
Güting, Ralf Hartmut Optimal divide-and-conquer to compute measure and contour for a set of iso-rectangles. (English) Zbl 0534.68031 Acta Inf. 21, 271-291 (1984). MSC: 68Q25 PDFBibTeX XMLCite \textit{R. H. Güting}, Acta Inf. 21, 271--291 (1984; Zbl 0534.68031) Full Text: DOI
Barringer, H.; Cheng, J. H.; Jones, C. B. A logic covering undefinedness in program proofs. (English) Zbl 0534.68024 Acta Inf. 21, 251-269 (1984). MSC: 68Q65 03B60 68N01 PDFBibTeX XMLCite \textit{H. Barringer} et al., Acta Inf. 21, 251--269 (1984; Zbl 0534.68024) Full Text: DOI
Bayer, Rudolf; Schlichtiger, Peter Data management support for database management. (English) Zbl 0529.68071 Acta Inf. 21, 1-28 (1984). MSC: 68P20 68P05 PDFBibTeX XMLCite \textit{R. Bayer} and \textit{P. Schlichtiger}, Acta Inf. 21, 1--28 (1984; Zbl 0529.68071) Full Text: DOI
Lubachevsky, Boris D. An approach to automating the verification of compact parallel coordination programs. I. (English) Zbl 0522.68017 Acta Inf. 21, 125-169 (1984). MSC: 68Q60 68N25 PDFBibTeX XMLCite \textit{B. D. Lubachevsky}, Acta Inf. 21, 125--169 (1984; Zbl 0522.68017) Full Text: DOI
Autebert, J. M.; Beauquier, J.; Boasson, L.; Gire, F. Bicentres de langages algébriques. (French) Zbl 0521.68087 Acta Inf. 21, 209-227 (1984). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. M. Autebert} et al., Acta Inf. 21, 209--227 (1984; Zbl 0521.68087) Full Text: DOI
Ibarra, Oscar H.; Kim, Sam M. A characterization of systolic binary tree automata and applications. (English) Zbl 0521.68048 Acta Inf. 21, 193-207 (1984). MSC: 68Q45 68Q05 PDFBibTeX XMLCite \textit{O. H. Ibarra} and \textit{S. M. Kim}, Acta Inf. 21, 193--207 (1984; Zbl 0521.68048) Full Text: DOI
Hennessy, Matthew Axiomatising finite delay operators. (English) Zbl 0521.68047 Acta Inf. 21, 61-88 (1984). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{M. Hennessy}, Acta Inf. 21, 61--88 (1984; Zbl 0521.68047) Full Text: DOI
Chapman, N. P. LALR(1,1) parser generation for regular right part grammars. (English) Zbl 0517.68074 Acta Inf. 21, 29-45 (1984). MSC: 68N20 PDFBibTeX XMLCite \textit{N. P. Chapman}, Acta Inf. 21, 29--45 (1984; Zbl 0517.68074) Full Text: DOI
Szwarcfiter, Jayme Luiz Optimal multiway search trees for variable size keys. (English) Zbl 0517.68067 Acta Inf. 21, 47-60 (1984). MSC: 68P10 68Q25 PDFBibTeX XMLCite \textit{J. L. Szwarcfiter}, Acta Inf. 21, 47--60 (1984; Zbl 0517.68067) Full Text: DOI
Deransart, Pierre; Jourdan, Martin; Lorho, Bernard Speeding up circularity tests for attribute grammars. (English) Zbl 0515.68055 Acta Inf. 21, 375-391 (1984). MSC: 68Q45 68W99 94C15 PDFBibTeX XMLCite \textit{P. Deransart} et al., Acta Inf. 21, 375--391 (1984; Zbl 0515.68055) Full Text: DOI
Tsakalidis, Athanasios K. Maintaining order in a generalized linked list. (English) Zbl 0515.68038 Acta Inf. 21, 101-112 (1984). MSC: 68Q25 03F20 PDFBibTeX XMLCite \textit{A. K. Tsakalidis}, Acta Inf. 21, 101--112 (1984; Zbl 0515.68038) Full Text: DOI