Merkle, Ralph C. Secure communications over insecure channels. (English) Zbl 1342.94085 Commun. ACM 21, 294-299 (1978). MSC: 94A60 PDF BibTeX XML Cite \textit{R. C. Merkle}, Commun. ACM 21, 294--299 (1978; Zbl 1342.94085) Full Text: DOI
Tadikamalla, Pandu R. Computer generation of gamma random variables. II. (English) Zbl 0407.65003 Commun. ACM 21, 925-928 (1978). MSC: 65C10 65C05 PDF BibTeX XML Cite \textit{P. R. Tadikamalla}, Commun. ACM 21, 925--928 (1978; Zbl 0407.65003) Full Text: DOI
Schwetman, H. D. Hybrid simulation models of computer systems. (English) Zbl 0399.68096 Commun. ACM 21, 718-723 (1978). MSC: 68U20 68N99 PDF BibTeX XML Cite \textit{H. D. Schwetman}, Commun. ACM 21, 718--723 (1978; Zbl 0399.68096) Full Text: DOI
Ottmann, Th.; Six, H. W.; Wood, D. Right brother trees. (English) Zbl 0399.68068 Commun. ACM 21, 769-776 (1978). MSC: 68R10 68P20 68Q25 68W99 PDF BibTeX XML Cite \textit{Th. Ottmann} et al., Commun. ACM 21, 769--776 (1978; Zbl 0399.68068) Full Text: DOI
Popek, Gerald J.; Farber, David A. A model for verification of data security in operating systems. (English) Zbl 0399.68036 Commun. ACM 21, 737-749 (1978). MSC: 68N25 68Q60 PDF BibTeX XML Cite \textit{G. J. Popek} and \textit{D. A. Farber}, Commun. ACM 21, 737--749 (1978; Zbl 0399.68036) Full Text: DOI
Martelli, Alberto; Montanari, Ugo Optimizing decision trees through heuristically guided search. (English) Zbl 0395.90079 Commun. ACM 21, 1025-1039 (1978). MSC: 90C39 94C15 05C05 91B06 90C90 68Q25 PDF BibTeX XML Cite \textit{A. Martelli} and \textit{U. Montanari}, Commun. ACM 21, 1025--1039 (1978; Zbl 0395.90079) Full Text: DOI
Brinch Hansen, Per Distributed processes: A concurrent programming concept. (English) Zbl 0393.68028 Commun. ACM 21, 934-941 (1978). MSC: 68N25 68M20 PDF BibTeX XML Cite \textit{P. Brinch Hansen}, Commun. ACM 21, 934--941 (1978; Zbl 0393.68028) Full Text: DOI
Gries, David; Misra, Jayadev A linear sieve algorithm for finding prime numbers. (English) Zbl 0387.68030 Commun. ACM 21, 999-1003 (1978). MSC: 68W99 68Q25 11A41 PDF BibTeX XML Cite \textit{D. Gries} and \textit{J. Misra}, Commun. ACM 21, 999--1003 (1978; Zbl 0387.68030) Full Text: DOI
Peterson, James L.; Bitner, James R.; Howard, John H. The selection of optimal tab settings. (English) Zbl 0387.68018 Commun. ACM 21, 1004-1007 (1978). MSC: 68N25 90C39 PDF BibTeX XML Cite \textit{J. L. Peterson} et al., Commun. ACM 21, 1004--1007 (1978; Zbl 0387.68018) Full Text: DOI
Guttag, John V.; Horowitz, Ellis; Musser, David R. Abstract data types and software validation. (English) Zbl 0387.68012 Commun. ACM 21, 1048-1064 (1978). MSC: 68P05 68Q60 PDF BibTeX XML Cite \textit{J. V. Guttag} et al., Commun. ACM 21, 1048--1064 (1978; Zbl 0387.68012) Full Text: DOI
Spitzen, Jay M.; Levitt, Karl N.; Robinson, Lawrence An example of hierarchical design and proof. (English) Zbl 0387.68010 Commun. ACM 21, 1064-1075 (1978). MSC: 68Q60 68P05 68N99 PDF BibTeX XML Cite \textit{J. M. Spitzen} et al., Commun. ACM 21, 1064--1075 (1978; Zbl 0387.68010) Full Text: DOI
Ibramsha, M.; Rajaraman, V. Detection of logical errors in decision table programs. (English) Zbl 0387.68009 Commun. ACM 21, 1016-1025 (1978). MSC: 68Q60 PDF BibTeX XML Cite \textit{M. Ibramsha} and \textit{V. Rajaraman}, Commun. ACM 21, 1016--1025 (1978; Zbl 0387.68009) Full Text: DOI
McMaster, Colin L. An analysis of algorithms for the dutch national flag problem. (English) Zbl 0387.68008 Commun. ACM 21, 842-846 (1978). MSC: 68Q60 68Q25 68W99 PDF BibTeX XML Cite \textit{C. L. McMaster}, Commun. ACM 21, 842--846 (1978; Zbl 0387.68008) Full Text: DOI
Needham, Roger M.; Schroeder, Michael D. Using encryption for authentication in large networks of computers. (English) Zbl 0387.68003 Commun. ACM 21, 993-999 (1978). MSC: 68P25 94A62 68M10 68M12 PDF BibTeX XML Cite \textit{R. M. Needham} and \textit{M. D. Schroeder}, Commun. ACM 21, 993--999 (1978; Zbl 0387.68003) Full Text: DOI
Dalal, Yogen K.; Metcalfe, Robert M. Reverse path forwarding of broadcast packets. (English) Zbl 0387.68002 Commun. ACM 21, 1040-1048 (1978). MSC: 68N99 68N25 90C35 PDF BibTeX XML Cite \textit{Y. K. Dalal} and \textit{R. M. Metcalfe}, Commun. ACM 21, 1040--1048 (1978; Zbl 0387.68002) Full Text: DOI
Ripley, G. David A simple recovery-only procedure for simple precedence parsers. (English) Zbl 0386.68075 Commun. ACM 21, 928-930 (1978). MSC: 68N20 68Q45 PDF BibTeX XML Cite \textit{G. D. Ripley}, Commun. ACM 21, 928--930 (1978; Zbl 0386.68075) Full Text: DOI
Freuder, Eugene C. Synthesizing constraint expressions. (English) Zbl 0386.68065 Commun. ACM 21, 958-966 (1978). MSC: 68R99 68R10 PDF BibTeX XML Cite \textit{E. C. Freuder}, Commun. ACM 21, 958--966 (1978; Zbl 0386.68065) Full Text: DOI
Sheil, B. A. Median split trees: A fast lookup technique for frequently occurring keys. (English) Zbl 0386.68060 Commun. ACM 21, 947-958 (1978). MSC: 68R10 68R99 68P20 05C05 68Q25 PDF BibTeX XML Cite \textit{B. A. Sheil}, Commun. ACM 21, 947--958 (1978; Zbl 0386.68060) Full Text: DOI
Luccio, Fabrizio; Pagli, Linda Power trees. (English) Zbl 0386.68059 Commun. ACM 21, 941-947 (1978). MSC: 68R10 68R99 68P20 68P05 05C05 PDF BibTeX XML Cite \textit{F. Luccio} and \textit{L. Pagli}, Commun. ACM 21, 941--947 (1978; Zbl 0386.68059) Full Text: DOI
Sedgewick, Robert Implementing quicksort programs. (English) Zbl 0386.68058 Commun. ACM 21, 847-857 (1978). MSC: 68P10 68N99 PDF BibTeX XML Cite \textit{R. Sedgewick}, Commun. ACM 21, 847--857 (1978; Zbl 0386.68058) Full Text: DOI
Chang, Shi-Kuo; Wong, Yin-Wah Optimal histogram matching by monotone gray level transformation. (English) Zbl 0386.68038 Commun. ACM 21, 835-840 (1978). MSC: 68N99 68R99 68W99 68Q25 PDF BibTeX XML Cite \textit{S.-K. Chang} and \textit{Y.-W. Wong}, Commun. ACM 21, 835--840 (1978; Zbl 0386.68038) Full Text: DOI
Lyon, Gordon Packed scatter tables. (English) Zbl 0386.68037 Commun. ACM 21, 857-867 (1978). MSC: 68N99 68R99 PDF BibTeX XML Cite \textit{G. Lyon}, Commun. ACM 21, 857--867 (1978; Zbl 0386.68037) Full Text: DOI
Morris, Robert Counting large numbers of events in small registers. (English) Zbl 0386.68035 Commun. ACM 21, 840-842 (1978). MSC: 68N25 68N99 PDF BibTeX XML Cite \textit{R. Morris}, Commun. ACM 21, 840--842 (1978; Zbl 0386.68035) Full Text: DOI
Easton, Malcolm C.; Fagin, Ronald Cold-start vs. warm-start miss ratios. (English) Zbl 0386.68034 Commun. ACM 21, 866-872 (1978). MSC: 68N25 PDF BibTeX XML Cite \textit{M. C. Easton} and \textit{R. Fagin}, Commun. ACM 21, 866--872 (1978; Zbl 0386.68034) Full Text: DOI
Towsley, D.; Chandy, K. M.; Browne, J. C. Models for parallel processing within programs: Application to CPU:I/O and I/O:I/O overlap. (English) Zbl 0386.68029 Commun. ACM 21, 821-831 (1978). MSC: 68N25 68M20 PDF BibTeX XML Cite \textit{D. Towsley} et al., Commun. ACM 21, 821--831 (1978; Zbl 0386.68029) Full Text: DOI
Dijkstra, Edsger W.; Lamport, Leslie; Martin, A. J.; Scholten, C. S.; Steffens, E. F. M. On-the-fly garbage collection: An exercise in cooperation. (English) Zbl 0386.68024 Commun. ACM 21, 966-975 (1978). MSC: 68N25 68Q60 PDF BibTeX XML Cite \textit{E. W. Dijkstra} et al., Commun. ACM 21, 966--975 (1978; Zbl 0386.68024) Full Text: DOI
Shneiderman, Ben Jump searching: A fast sequential search technique. (English) Zbl 0386.68017 Commun. ACM 21, 831-834 (1978). MSC: 68P05 68R99 PDF BibTeX XML Cite \textit{B. Shneiderman}, Commun. ACM 21, 831--834 (1978; Zbl 0386.68017) Full Text: DOI
Friedman, Daniel P.; Wise, David S. A note on conditional expressions. (English) Zbl 0386.68010 Commun. ACM 21, 931-933 (1978). MSC: 68N01 PDF BibTeX XML Cite \textit{D. P. Friedman} and \textit{D. S. Wise}, Commun. ACM 21, 931--933 (1978; Zbl 0386.68010) Full Text: DOI
Brainerd, Walt FORTRAN 77. (English) Zbl 0386.68004 Commun. ACM 21, 806-820 (1978). MSC: 68N01 PDF BibTeX XML Cite \textit{W. Brainerd}, Commun. ACM 21, 806--820 (1978; Zbl 0386.68004) Full Text: DOI
Hirschberg, D. S. Fast parallel sorting algorithms. (English) Zbl 0383.68051 Commun. ACM 21, 657-661 (1978). MSC: 68P10 68Q25 68N25 PDF BibTeX XML Cite \textit{D. S. Hirschberg}, Commun. ACM 21, 657--661 (1978; Zbl 0383.68051) Full Text: DOI
Morris, F. Lockwood A time- and space-efficient garbage compaction algorithm. (English) Zbl 0383.68039 Commun. ACM 21, 662-665 (1978). MSC: 68W99 68P05 PDF BibTeX XML Cite \textit{F. L. Morris}, Commun. ACM 21, 662--665 (1978; Zbl 0383.68039) Full Text: DOI
Hoare, C. A. R. Communicating sequential processes. (English) Zbl 0383.68028 Commun. ACM 21, 666-667 (1978). MSC: 68N25 68N01 PDF BibTeX XML Cite \textit{C. A. R. Hoare}, Commun. ACM 21, 666--667 (1978; Zbl 0383.68028) Full Text: DOI
Backus, John Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. (English) Zbl 0383.68013 Commun. ACM 21, 613-641 (1978). MSC: 68N01 68Q60 68Q65 68Q05 PDF BibTeX XML Cite \textit{J. Backus}, Commun. ACM 21, 613--641 (1978; Zbl 0383.68013) Full Text: DOI
Stewart, William J. A comparison of numerical techniques in Markov modeling. (English) Zbl 0383.65067 Commun. ACM 21, 144-152 (1978). MSC: 65C99 60J10 65F15 PDF BibTeX XML Cite \textit{W. J. Stewart}, Commun. ACM 21, 144--152 (1978; Zbl 0383.65067) Full Text: DOI
Zweben, S. H.; McDonald, M. A. An optimal method for deletion in one-sided height-balanced trees. (English) Zbl 0379.68030 Commun. ACM 21, 441-445 (1978). MSC: 68W99 68Q25 05C05 PDF BibTeX XML Cite \textit{S. H. Zweben} and \textit{M. A. McDonald}, Commun. ACM 21, 441--445 (1978; Zbl 0379.68030) Full Text: DOI
Driscoll, James R.; Lien, Y. Edmund A selective traversal algorithm for binary search trees. (English) Zbl 0379.68027 Commun. ACM 21, 445-447 (1978). MSC: 68W99 68P20 68N01 68Q25 05C05 PDF BibTeX XML Cite \textit{J. R. Driscoll} and \textit{Y. E. Lien}, Commun. ACM 21, 445--447 (1978; Zbl 0379.68027) Full Text: DOI
Mickunas, M. Dennis; Modry, John A. Automatic error recovery for LR parsers. (English) Zbl 0379.68015 Commun. ACM 21, 459-465 (1978). MSC: 68N01 68Q45 PDF BibTeX XML Cite \textit{M. D. Mickunas} and \textit{J. A. Modry}, Commun. ACM 21, 459--465 (1978; Zbl 0379.68015) Full Text: DOI
Cohen, Jacques; Roth, Martin S. Analyses of deterministic parsing algorithms. (English) Zbl 0379.68014 Commun. ACM 21, 448-458 (1978). MSC: 68N01 68W99 68Q45 68W30 68Q25 PDF BibTeX XML Cite \textit{J. Cohen} and \textit{M. S. Roth}, Commun. ACM 21, 448--458 (1978; Zbl 0379.68014) Full Text: DOI
Teorey, Toby J. General equations for idealized CPU-I/O overlap configurations. (English) Zbl 0379.68003 Commun. ACM 21, 500-507 (1978). MSC: 68-00 68N01 PDF BibTeX XML Cite \textit{T. J. Teorey}, Commun. ACM 21, 500--507 (1978; Zbl 0379.68003) Full Text: DOI
Gelenbe, E.; Derochette, D. Performance of rollback recovery systems under intermittent failures. (English) Zbl 0379.68002 Commun. ACM 21, 493-499 (1978). MSC: 68-00 68N01 PDF BibTeX XML Cite \textit{E. Gelenbe} and \textit{D. Derochette}, Commun. ACM 21, 493--499 (1978; Zbl 0379.68002) Full Text: DOI
Cheng, R. C. H. Generating beta variates with nonintegral shape parameters. (English) Zbl 0379.65004 Commun. ACM 21, 317-322 (1978). MSC: 65C10 PDF BibTeX XML Cite \textit{R. C. H. Cheng}, Commun. ACM 21, 317--322 (1978; Zbl 0379.65004) Full Text: DOI
Waltz, David L. An English language question answering system for a large relational database. (English) Zbl 0378.68055 Commun. ACM 21, 526-539 (1978). MSC: 68P20 68T10 68N01 PDF BibTeX XML Cite \textit{D. L. Waltz}, Commun. ACM 21, 526--539 (1978; Zbl 0378.68055) Full Text: DOI
Shostak, Robert E. An algorithm for reasoning about equality. (English) Zbl 0378.68044 Commun. ACM 21, 583-585 (1978). MSC: 68T15 68W99 68N01 68T10 PDF BibTeX XML Cite \textit{R. E. Shostak}, Commun. ACM 21, 583--585 (1978; Zbl 0378.68044) Full Text: DOI
Fredman, Michael L.; Weide, Bruce On the complexity of computing the measure of \(\cup [a_i,b_i]\). (English) Zbl 0378.68032 Commun. ACM 21, 540-544 (1978). MSC: 68Q25 68W99 28A10 PDF BibTeX XML Cite \textit{M. L. Fredman} and \textit{B. Weide}, Commun. ACM 21, 540--544 (1978; Zbl 0378.68032) Full Text: DOI
Halatsis, Constantine; Philokyprou, George Pseudochaining in hash tables. (English) Zbl 0378.68030 Commun. ACM 21, 554-557 (1978). MSC: 68W99 68N01 68P20 PDF BibTeX XML Cite \textit{C. Halatsis} and \textit{G. Philokyprou}, Commun. ACM 21, 554--557 (1978; Zbl 0378.68030) Full Text: DOI
Perl, Yehoshua; Itai, Alon; Avni, Haim Interpolation search : A log log N search. (English) Zbl 0378.68029 Commun. ACM 21, 550-553 (1978). MSC: 68W99 68P20 68N01 68Q25 PDF BibTeX XML Cite \textit{Y. Perl} et al., Commun. ACM 21, 550--553 (1978; Zbl 0378.68029) Full Text: DOI
Kosaraju, Rao S. Insertions and deletions in one-sided height-balanced trees. (English) Zbl 0378.68028 Commun. ACM 21, 226-227 (1978). MSC: 68W99 68Q25 68P20 05C05 PDF BibTeX XML Cite \textit{R. S. Kosaraju}, Commun. ACM 21, 226--227 (1978; Zbl 0378.68028) Full Text: DOI
Lamport, Leslie Time, clocks, and the ordering of events in a distributed system. (English) Zbl 0378.68027 Commun. ACM 21, 558-565 (1978). MSC: 68W99 68N01 PDF BibTeX XML Cite \textit{L. Lamport}, Commun. ACM 21, 558--565 (1978; Zbl 0378.68027) Full Text: DOI
Franklin, M. A.; Graham, G. Scott; Gupta, R. K. Anomalies with variable partition paging algorithms. (English) Zbl 0378.68020 Commun. ACM 21, 232-236 (1978). MSC: 68N01 68W99 PDF BibTeX XML Cite \textit{M. A. Franklin} et al., Commun. ACM 21, 232--236 (1978; Zbl 0378.68020) Full Text: DOI
DeMillo, Richard A.; Eisenstat, Stanley C.; Lipton, Richard J. Preserving average proximity in arrays. (English) Zbl 0378.68014 Commun. ACM 21, 228-231 (1978). MSC: 68N01 68Q25 05C05 68W99 PDF BibTeX XML Cite \textit{R. A. DeMillo} et al., Commun. ACM 21, 228--231 (1978; Zbl 0378.68014) Full Text: DOI
Tanenbaum, Andrew S. Implications of structured programming for machine architecture. (English) Zbl 0378.68013 Commun. ACM 21, 237-246 (1978). MSC: 68N01 PDF BibTeX XML Cite \textit{A. S. Tanenbaum}, Commun. ACM 21, 237--246 (1978; Zbl 0378.68013) Full Text: DOI
Samet, Hanan Proving the correctness of heuristically optimized code. (English) Zbl 0378.68012 Commun. ACM 21, 570-582 (1978). MSC: 68N01 PDF BibTeX XML Cite \textit{H. Samet}, Commun. ACM 21, 570--582 (1978; Zbl 0378.68012) Full Text: DOI
Baker, Henry G. jun. Shallow binding in Lisp 1.5. (English) Zbl 0378.68009 Commun. ACM 21, 565-569 (1978). MSC: 68N01 PDF BibTeX XML Cite \textit{H. G. Baker jun.}, Commun. ACM 21, 565--569 (1978; Zbl 0378.68009) Full Text: DOI
Chattergy, Rahul; Pooch, Udo W. Analysis of the availability of computer systems using computer-aided algebra. (English) Zbl 0378.68004 Commun. ACM 21, 586-591 (1978). MSC: 68-00 68N01 60K15 PDF BibTeX XML Cite \textit{R. Chattergy} and \textit{U. W. Pooch}, Commun. ACM 21, 586--591 (1978; Zbl 0378.68004) Full Text: DOI
Tadikamalla, Pandu R. Computer generation of Gamma random variables. (English) Zbl 0378.65001 Commun. ACM 21, 419-422 (1978). MSC: 65C10 65C05 68U20 PDF BibTeX XML Cite \textit{P. R. Tadikamalla}, Commun. ACM 21, 419--422 (1978; Zbl 0378.65001) Full Text: DOI
Chin, Francis Y. An O(n) algorithm for determining a near-optimal computation order of matrix chain products. (English) Zbl 0377.15005 Commun. ACM 21, 544-549 (1978). MSC: 15A24 15-04 68W99 PDF BibTeX XML Cite \textit{F. Y. Chin}, Commun. ACM 21, 544--549 (1978; Zbl 0377.15005) Full Text: DOI
Fleisher, J. M.; Meyer, R. R. New sufficient optimality conditions for integer programming and their application. (English) Zbl 0376.90074 Commun. ACM 21, 411-418 (1978). MSC: 90C10 PDF BibTeX XML Cite \textit{J. M. Fleisher} and \textit{R. R. Meyer}, Commun. ACM 21, 411--418 (1978; Zbl 0376.90074) Full Text: DOI
Hayes-Roth, Frederick; McDermott, John An interference matching technique for inducing abstractions. (English) Zbl 0372.68025 Commun. ACM 21, 401-410 (1978). MSC: 68T10 68W99 68T05 PDF BibTeX XML Cite \textit{F. Hayes-Roth} and \textit{J. McDermott}, Commun. ACM 21, 401--410 (1978; Zbl 0372.68025) Full Text: DOI
Clark, Douglas W. A fast algorithm for copying list structures. (English) Zbl 0372.68007 Commun. ACM 21, 351-357 (1978). MSC: 68W99 68N01 68Q25 PDF BibTeX XML Cite \textit{D. W. Clark}, Commun. ACM 21, 351--357 (1978; Zbl 0372.68007) Full Text: DOI
Hanson, David R.; Griswold, Ralph E. The SL5 procedure mechanism. (English) Zbl 0372.68003 Commun. ACM 21, 392-400 (1978). MSC: 68N01 PDF BibTeX XML Cite \textit{D. R. Hanson} and \textit{R. E. Griswold}, Commun. ACM 21, 392--400 (1978; Zbl 0372.68003) Full Text: DOI
Geller, Matthew Test data as an aid in proving program correctness. (English) Zbl 0372.68002 Commun. ACM 21, 368-375 (1978). MSC: 68N01 PDF BibTeX XML Cite \textit{M. Geller}, Commun. ACM 21, 368--375 (1978; Zbl 0372.68002) Full Text: DOI
Jones, Anita K.; Liskov, Barbara H. A language extension for expressing constraints on data access. (English) Zbl 0372.68001 Commun. ACM 21, 358-367 (1978). MSC: 68N01 PDF BibTeX XML Cite \textit{A. K. Jones} and \textit{B. H. Liskov}, Commun. ACM 21, 358--367 (1978; Zbl 0372.68001) Full Text: DOI
Even, S.; Rodeh, M. Economical encoding of commas between strings. (English) Zbl 0371.94008 Commun. ACM 21, 315-317 (1978). MSC: 94A05 94B99 94A15 68-00 PDF BibTeX XML Cite \textit{S. Even} and \textit{M. Rodeh}, Commun. ACM 21, 315--317 (1978; Zbl 0371.94008) Full Text: DOI
Payne, W. H.; McMillen, K. L. Orderly enumeration of nonsingular binary matrices applied to text encryption. (English) Zbl 0371.68039 Commun. ACM 21, 259-263 (1978). MSC: 68P20 94B99 65C10 68W99 94A15 PDF BibTeX XML Cite \textit{W. H. Payne} and \textit{K. L. McMillen}, Commun. ACM 21, 259--263 (1978; Zbl 0371.68039) Full Text: DOI
Vuillemin, Jean A data structure for manipulating priority queues. (English) Zbl 0371.68011 Commun. ACM 21, 309-315 (1978). MSC: 68N01 68W99 68Q25 05C05 PDF BibTeX XML Cite \textit{J. Vuillemin}, Commun. ACM 21, 309--315 (1978; Zbl 0371.68011) Full Text: DOI
Szymanski, Thomas G. Assembling code for machines with span-dependent instructions. (English) Zbl 0371.68010 Commun. ACM 21, 300-308 (1978). MSC: 68N01 68Q25 PDF BibTeX XML Cite \textit{T. G. Szymanski}, Commun. ACM 21, 300--308 (1978; Zbl 0371.68010) Full Text: DOI
Baker, Henry G. jun. List processing in real time on a serial computer. (English) Zbl 0371.68009 Commun. ACM 21, 280-294 (1978). MSC: 68N01 68W99 68Q45 PDF BibTeX XML Cite \textit{H. G. Baker jun.}, Commun. ACM 21, 280--294 (1978; Zbl 0371.68009) Full Text: DOI
Heckel, Paul A technique for isolating differences between files. (English) Zbl 0371.68008 Commun. ACM 21, 264-268 (1978). MSC: 68N01 68W99 PDF BibTeX XML Cite \textit{P. Heckel}, Commun. ACM 21, 264--268 (1978; Zbl 0371.68008) Full Text: DOI
Lew, Art Optimal conversion of extended-entry decision tables with general cost criteria. (English) Zbl 0369.68026 Commun. ACM 21, 269-279 (1978). MSC: 68W99 68N01 05C05 49Lxx PDF BibTeX XML Cite \textit{A. Lew}, Commun. ACM 21, 269--279 (1978; Zbl 0369.68026) Full Text: DOI
Rivest, R. L.; Shamir, A.; Adleman, L. A method for obtaining digital signatures and public-key cryptosystems. (English) Zbl 0368.94005 Commun. ACM 21, 120-126 (1978). MSC: 94A60 94A62 68P25 PDF BibTeX XML Cite \textit{R. L. Rivest} et al., Commun. ACM 21, 120--126 (1978; Zbl 0368.94005) Full Text: DOI Backlinks: MO
Herman, Gabor T.; Lent, Arnold; Lutz, Peter H. Relaxation methods for image reconstruction. (English) Zbl 0367.68065 Commun. ACM 21, 152-158 (1978). MSC: 68T10 68W99 90C05 15A39 PDF BibTeX XML Cite \textit{G. T. Herman} et al., Commun. ACM 21, 152--158 (1978; Zbl 0367.68065) Full Text: DOI
Schachter, Bruce J.; Rosenfeld, Azriel Some new methods of detecting step edges in digital pictures. (English) Zbl 0367.68064 Commun. ACM 21, 172-176 (1978). MSC: 68T10 PDF BibTeX XML Cite \textit{B. J. Schachter} and \textit{A. Rosenfeld}, Commun. ACM 21, 172--176 (1978; Zbl 0367.68064) Full Text: DOI
Kou, L. T.; Stockmeyer, L. J.; Wong, C. K. Covering edges by cliques with regard to keyword conflicts and intersection graphs. (English) Zbl 0367.68035 Commun. ACM 21, 135-139 (1978). MSC: 68Q25 68W99 68N01 05C99 PDF BibTeX XML Cite \textit{L. T. Kou} et al., Commun. ACM 21, 135--139 (1978; Zbl 0367.68035) Full Text: DOI
Held, Gerald; Stonebraker, Michael B-trees re-examined. (English) Zbl 0367.68031 Commun. ACM 21, 139-143 (1978). MSC: 68N01 68P20 05C05 PDF BibTeX XML Cite \textit{G. Held} and \textit{M. Stonebraker}, Commun. ACM 21, 139--143 (1978; Zbl 0367.68031) Full Text: DOI
Manna, Zohar; Waldinger, Richard Is ”sometime” sometimes better than ”always”? Intermittent assertions in proving program correctness. (English) Zbl 0367.68011 Commun. ACM 21, 159-172 (1978). MSC: 68N01 PDF BibTeX XML Cite \textit{Z. Manna} and \textit{R. Waldinger}, Commun. ACM 21, 159--172 (1978; Zbl 0367.68011) Full Text: DOI
Auslander, M. A.; Strong, H. R. Systematic recursion removal. (English) Zbl 0367.68008 Commun. ACM 21, 127-134 (1978). MSC: 68N01 68W99 PDF BibTeX XML Cite \textit{M. A. Auslander} and \textit{H. R. Strong}, Commun. ACM 21, 127--134 (1978; Zbl 0367.68008) Full Text: DOI