Allavena, André; Demers, Alan; Hopcroft, John E. Correctness of a gossip based membership protocol. (English) Zbl 1314.68038 Proceedings of the 24th annual ACM symposium on principles of distributed computing, PODC ’05, Las Vegas, NV, USA, July 17–20, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-994-2). 292-301 (2005). MSC: 68M12 68M14 68R10 68W15 90B18 PDF BibTeX XML Cite \textit{A. Allavena} et al., in: Proceedings of the 24th annual ACM symposium on principles of distributed computing, PODC '05, Las Vegas, NV, USA, July 17--20, 2005. New York, NY: Association for Computing Machinery (ACM). 292--301 (2005; Zbl 1314.68038) Full Text: DOI
Kempe, David; Kleinberg, Jon; Demers, Alan Spatial gossip and resource location protocols. (English) Zbl 1125.68326 J. ACM 51, No. 6, 943-967 (2004). MSC: 68M10 PDF BibTeX XML Cite \textit{D. Kempe} et al., J. ACM 51, No. 6, 943--967 (2004; Zbl 1125.68326) Full Text: DOI
Kempe, David; Kleinberg, Jon; Demers, Alan Spatial gossip and resource location protocols. (English) Zbl 1323.68015 Proceedings of the thirty-third annual ACM symposium on theory of computing, STOC 2001. Hersonissos, Crete, Greece, July 6–8, 2001. New York, NY: ACM Press (ISBN 1-581-13349-9). 163-172 (2001). MSC: 68M10 68M12 68M14 68Q17 PDF BibTeX XML Cite \textit{D. Kempe} et al., in: Proceedings of the thirty-third annual ACM symposium on theory of computing, STOC 2001. Hersonissos, Crete, Greece, July 6--8, 2001. New York, NY: ACM Press. 163--172 (2001; Zbl 1323.68015) Full Text: DOI
Yao, Frances; Demers, Alan; Shenker, Scott A scheduling model for reduced CPU energy. (English) Zbl 0938.68533 36th Annual symposium on Foundations of computer science. Held in Milwaukee, WI, USA, October 23-25, 1995. Los Alamitos, CA: IEEE Computer Society Press. 374-382 (1995). MSC: 68M20 PDF BibTeX XML Cite \textit{F. Yao} et al., in: 36th Annual symposium on Foundations of computer science. Held in Milwaukee, WI, USA, October 23--25, 1995. Los Alamitos, CA: IEEE Computer Society Press. 374--382 (1995; Zbl 0938.68533)
Reps, Thomas; Demers, Alan Sublinear-space evaluation algorithms for attribute grammars. (English) Zbl 0633.68005 ACM Trans. Program. Lang. Syst. 9, 408-440 (1987). MSC: 68Q60 68N20 68N01 PDF BibTeX XML Cite \textit{T. Reps} and \textit{A. Demers}, ACM Trans. Program. Lang. Syst. 9, 408--440 (1987; Zbl 0633.68005) Full Text: DOI Link
Horwitz, Susan; Demers, Alan; Teitelbaum, Tim An efficient general iterative algorithm for dataflow analysis. (English) Zbl 0612.68015 Acta Inf. 24, 679-694 (1987). MSC: 68Q60 PDF BibTeX XML Cite \textit{S. Horwitz} et al., Acta Inf. 24, 679--694 (1987; Zbl 0612.68015) Full Text: DOI
Alpern, Bowen; Demers, Alan J.; Schneider, Fred B. Safety without stuttering. (English) Zbl 0619.68019 Inf. Process. Lett. 23, 177-180 (1986). MSC: 68N25 PDF BibTeX XML Cite \textit{B. Alpern} et al., Inf. Process. Lett. 23, 177--180 (1986; Zbl 0619.68019) Full Text: DOI
Nguyen, Van; Demers, Alan; Gries, David; Owicki, Susan A model and temporal proof system for networks of processes. (English) Zbl 0598.68025 Distrib. Comput. 1, 7-25 (1986). MSC: 68N25 PDF BibTeX XML Cite \textit{V. Nguyen} et al., Distrib. Comput. 1, 7--25 (1986; Zbl 0598.68025) Full Text: DOI
Nguyen, Van; Demers, Alan; Gries, David; Owicki, Susan Behavior: A temporal approach to process modelling. (English) Zbl 0606.68022 Logics of programs, Proc. Conf., Brooklyn/N.Y. 1985, Lect. Notes Comput. Sci. 193, 237-254 (1985). MSC: 68N25 PDF BibTeX XML
Donahue, James; Demers, Alan Data types are values. (English) Zbl 0566.68016 ACM Trans. Program. Lang. Syst. 7, 426-445 (1985). MSC: 68P05 PDF BibTeX XML Cite \textit{J. Donahue} and \textit{A. Demers}, ACM Trans. Program. Lang. Syst. 7, 426--445 (1985; Zbl 0566.68016) Full Text: DOI Link
Demers, A.; Keleman, C.; Reusch, B. On some decidable properties of finite state translations. (English) Zbl 0489.68076 Acta Inf. 17, 349-364 (1982). MSC: 68Q45 PDF BibTeX XML Cite \textit{A. Demers} et al., Acta Inf. 17, 349--364 (1982; Zbl 0489.68076) Full Text: DOI
Liu, Lishing; Demers, Alan An algorithm for testing lossless join property in relational databases. (English) Zbl 0456.68127 Inf. Process. Lett. 11, 73-76 (1980). MSC: 68P20 68N25 PDF BibTeX XML Cite \textit{L. Liu} and \textit{A. Demers}, Inf. Process. Lett. 11, 73--76 (1980; Zbl 0456.68127) Full Text: DOI
Demers, A. J. Elimination of single productions and merging nonterminal symbols of LR(1) grammars. (English) Zbl 0362.68102 Comput. Lang. 1, 105-119 (1975). MSC: 68Q45 PDF BibTeX XML Cite \textit{A. J. Demers}, Comput. Lang. 1, 105--119 (1975; Zbl 0362.68102) Full Text: DOI
Johnson, D. S.; Demers, A.; Ullman, J. D.; Garey, M. R.; Graham, R. L. Worst-case performance bounds for simple one-dimensional packing algorithms. (English) Zbl 0297.68028 SIAM J. Comput. 3, 299-325 (1974). MSC: 68W99 68Q25 05-04 PDF BibTeX XML Cite \textit{D. S. Johnson} et al., SIAM J. Comput. 3, 299--325 (1975; Zbl 0297.68028) Full Text: DOI