ThesaHelp: ACM references a-e

topics > Group: all references

ACM references a-e
ACM references f-l
ACM references m-z


Welcome to the full-text edition of It is available by special invitation only. Quotations that say "Full text" need copyright clearance.

These pages list all QuoteRefs that include "ACM", "SIG", or "OOPSLA". To locate specific journals, search the site for "Th QuoteRef" and "title...". For example, "Th QuoteRef" "SIGPLAN" shows the SIGPLAN articles.

The URLs on Google refer to the public Thesa site. To return to the full-text edition of Thesa, replace "/th/" with "/all/" in the URL.

Use the full-text edition for Google-1 and Google-2 links. On the public Thesa site, these links do not back-link to The public site uses eight words for Google links, instead of seven words in the full-text edition. When Google reindexes the quotations, it will enable eight word links. Google previously indexed the quotations last January.

The word count is the number of space-deliminated strings. For example, the following sequence contains five words, "structure. ... [p. 529] The."

QuoteRef: abadM1_1993 ;;Abadi, Lamport, "Composing specifications", ACM (10 quotes, 565 words)
QuoteRef: abadM9_1999 ;;Abadi, "Secrecy by typing in security protocols", ACM (3 quotes, 160 words)
QuoteRef: abboRJ3_1990 ;;Abbott, "Resourceful systems for fault tolerance, reliability, and safety", ACM (18 quotes, 939 words)
QuoteRef: abboRJ8_1987 ;;Abbott, "Knowledge abstraction", ACM (5 quotes, 359 words)
QuoteRef: abduSE9_1998 ;;Abdullahi, Ringwood, "Garbage collecting the internet: a survey of distributed garbage collection", ACM (6 quotes, 438 words)
QuoteRef: abraD11_1996 ;;Abramson, Foster, Michalakes, Sosic, "Relative debugging: A new methodology for debugging scientific applications", ACM (2 quotes, 119 words)
QuoteRef: abraP12_1986 ;;Abrahams, "The role of failure in software design", ACM (4 quotes, 206 words)
QuoteRef: accoJ3_1997 ;;Accot, Zhai, "Beyond Fitts' law: Models for trajectory-based HCI tasks", ACM (1 quote, 155 words)
QuoteRef: ackeMS_1990 ;;Ackerman, Malone, "Answer Garden: a tool for growing organizational memory", ACM (3 quotes, 187 words)
QuoteRef: adjiW12_1999 ;;Adjie-Winoto, Schwartz, Balakrishnan, Lilley, "The design and implementation of an intentional naming system", ACM (4 quotes, 242 words)
QuoteRef: adriFA11_1993 ;;Adrian, "A modest proposal concerning variables and assignment statements", ACM (1 quote, 76 words)
QuoteRef: afekY1_1993 ;;Afek, Brown, Merritt, "Lazy caching", ACM (5 quotes, 458 words)
QuoteRef: agesO6_1998 ;;Agesen, Detlefs, Moss, "Garbage collection and local variable type-precision and liveness in Java Virtual Machines", ACM (3 quotes, 193 words)
QuoteRef: aggaA6_2001 ;;Aggarwal, Randall, "Related field analysis", ACM (1 quote, 88 words)
QuoteRef: ahlbC4_1994 ;;Ahlberg, Shneiderman, "The Alphaslider: A compact and rapid selector", ACM (1 quote, 169 words)
QuoteRef: ahoAV1_1977 ;;Aho, Johnson, Ullman, "Code generation for expressions with common subexpressions ", ACM (1 quote, 59 words)
QuoteRef: ahoAV7_1976 ;;Aho, Johnson, "Optimal code generation for expression trees", ACM (1 quote, 25 words)
QuoteRef: aikeA6_2003 ;;Aiken, Foster, Kodumal, Terauchi, "Checking and inferring local non-aliasing", ACM (4 quotes, 423 words)
QuoteRef: aitkH1_1989 ;;Ait-Kaci, Boyer, Lincoln, Nasr, "Efficient implementation of lattice operations", ACM (1 quote, 74 words)
QuoteRef: akguT4_2004 ;;Akgul, Mooney, "Assembly instruction level reverse execution for debugging", ACM (1 quote, 138 words)
QuoteRef: akscRM11_1993 ;;Akscyn, McCracken, "Design of hypermedia script languages: The KMS experience", ACM (7 quotes, 479 words)
QuoteRef: akscRM7_1988 ;;Akscyn, McCracken, Yoder, "KMS: A distributed hypermedia system for managing knowledge inorganizations ", ACM (215 quotes, 8807 words)
QuoteRef: akscRM7_1988a ;;Akscyn, McCracken, Yoder, "KMS: A distributed hypermedia system for managing knowledge inorganizations ", ACM (58 quotes, 2597 words)
QuoteRef: alexC9_1999 ;;Alexander, "The origins of pattern theory", ACM, IEEE (8 quotes, 645 words)
QuoteRef: alfoM_1980 ;;Alford, "Software requirements in the 80's: from alchemy to science ", ACM (2 quotes, 164 words)
QuoteRef: alleE10_2003 ;;Allen, Bannet, Cartwright, "A first-class approach to genericity", ACM (1 quote, 137 words)
QuoteRef: alleJF11_1983 ;;Allen, "Maintaining knowledge about temporal intervals", ACM (9 quotes, 466 words)
QuoteRef: almaL6_2004 ;;Almagor, Cooper, Grosul, Harvey, Reeves, Subramanian, Torczon, Waterman, "Finding effective compilation sequences", ACM (1 quote, 95 words)
QuoteRef: alpeB10_2001 ;;Alpern, Cocchi, Fink, Grove, "Efficient implementation of java interfaces: Invokeinterface considered harmless", ACM (1 quote, 106 words)
QuoteRef: amirA1_1994 ;;Amir, Benson, Farach, "Let sleeping files lie: pattern matching in Z-compressed files", ACM (1 quote, 61 words)
QuoteRef: ammeW6_2001 ;;Amme, Dalton, von Ronne, Franz, "SafeTSA: A type safe and referentially secure mobile-code representation based on static single assignment form", ACM (5 quotes, 455 words)
QuoteRef: ammoG1_2002 ;;Ammons, Bodik, Larus, "Mining specifications", ACM (2 quotes, 172 words)
QuoteRef: andeJH8_1995 ;;Anderson, Ramamurthy, "Using lock-free objects in hard real-time applications", ACM (1 quote, 101 words)
QuoteRef: andeRJ11_1994 ;;Anderson, "Why cryptosystems fail", ACM (1 quote, 72 words)
QuoteRef: appeAW5_1988 ;;Appel, Jacobson, "The world's fastest scrabble program", ACM (2 quotes, 122 words)
QuoteRef: armoP11_2002 ;;Armour, "Ten unmyths of project estimation", ACM (2 quotes, 116 words)
QuoteRef: aronM8_2000 ;;Aron, Druschel, "Soft timers: efficient microsecond software timer support of network processing", ACM (5 quotes, 467 words)
QuoteRef: arsaJJ1_1979 ;;Arsac, "Syntactic source to source transforms and program manipulation", ACM (2 quotes, 92 words)
QuoteRef: ashmH9_2000 ;;Ashman, "Electronic document addressing: dealing with change", ACM (12 quotes, 774 words)
QuoteRef: atkiMP6_1987 ;;Atkinson, Buneman, "Types and persistence in database programming languages", ACM (8 quotes, 287 words)
QuoteRef: atkiR_1977 ;;Atkinson, Hewitt, "Synchronization in actor systems", ACM (6 quotes, 170 words)
QuoteRef: auslM6_1982 ;;Auslander, Hopkins, "An overview of the PL.8 compiler", ACM (31 quotes, 1767 words)
QuoteRef: austTM6_1994 ;;Austin, Breach, Sohi, "Efficient detection of all pointer and array access errors", ACM (2 quotes, 178 words)
QuoteRef: aycoJ6_2003 ;;Aycock, "A brief history of just-in-time", ACM (1 quote, 64 words)
QuoteRef: ayerA6_1998 ;;Ayers, de Jong, Peyton, Schooler, "Scalable cross-module optimization", ACM (1 quote, 85 words)
QuoteRef: azatH10_2003 ;;Azatchi, Levanoni, Paz, Petrank, "An on-the-fly mark and sweep garbage collector based on sliding views", ACM (1 quote, 163 words)
QuoteRef: bachCW11_1973 ;;Bachman, "The programmer as navigator", ACM (3 quotes, 206 words)
QuoteRef: bachR1_1997 ;;Bachrach, El-Yaniv, "Online list accessing algorithms and their applications: Recent empirical evidence", ACM (1 quote, 191 words)
QuoteRef: backJ8_1978a ;;Backus, "Can programming be liberated from the von Neumann style? A functional style and its algebra of programs", ACM (44 quotes, 1439 words)
QuoteRef: backJ_1973 ;;Backus, "Programming language semantics and closed applicative languages", ACM (17 quotes, 109 words)
QuoteRef: bacoDF10_2000 ;;Bacon, Strom, Tarafdar, "Guava: a dialect of Java without data races", ACM (28 quotes, 1446 words)
QuoteRef: bacoDF10_2004 ;;Bacon, Chenge, Rajan, "A unified theory of garbage collection", ACM (7 quotes, 434 words)
QuoteRef: bacoDF1_2003 ;;Bacon, Cheng, Rajan, "A real-time garbage collector with low overhead and consistent utilization", ACM (4 quotes, 565 words)
QuoteRef: bacoDF6_2001 ;;Bacon, Attanasio, Lee, Rajan, Smith, "Java without the coffee breaks: a noninstrusive multiprocessor garbage collector", ACM (2 quotes, 143 words)
QuoteRef: bacoF_1600 ;;Bacon, "Essay on Dispatch", ACM (1 quote, 34 words)
QuoteRef: baecR4_1991 ;;Baecker, Small, Mander, "Bringing icons to life", ACM (3 quotes, 227 words)
QuoteRef: baezRA11_1996 ;;Baeza-Yates, Gonnet, "Fast text searching for regular expressions or automaton searching on tries", ACM (1 quote, 67 words)
QuoteRef: bahlD8_2002 ;;Bahle, Williams, Zobel, "Efficient phrase querying with an auxiliary index", ACM (3 quotes, 186 words)
QuoteRef: ballT1_2003 ;;Ball, Naik, Rajamani, "From symptom to cause: localizing errors in counterexample traces", ACM (2 quotes, 226 words)
QuoteRef: ballT6_1993 ;;Ball, Larus, "Branch prediction for free", ACM (2 quotes, 121 words)
QuoteRef: bankRD11_1993 ;;Banker, Datar, Kemerer, Zweig, "Software complexity and maintenance costs", ACM (2 quotes, 178 words)
QuoteRef: bansJP4_1993 ;;Bansler, Bodker, "A reappraisal of structured analysis: design in an organizational context ", ACM (5 quotes, 246 words)
QuoteRef: baraK10_2003 ;;Barabash, Ossia, Petrank, "Mostly concurrent garbage collection revisited", ACM (1 quote, 176 words)
QuoteRef: bardGJ12_2001 ;;Badros, Borning, Stuckey, "The Cassowary linear arithmetic constraint solving algorithm", ACM (1 quote, 87 words)
QuoteRef: baryR12_2004 ;;Bar-Yehuda, Bendel, Freund, Rawit, "Local ratio: a unified framework for approximation algorithms", ACM (1 quote, 194 words)
QuoteRef: bassL3_1997 ;;Bass, Kasabach, Martin, Siewiorek, Smailagic, Stivoric, "The design of a wearable computer", ACM (3 quotes, 158 words)
QuoteRef: baueFL7_1972 ;;Bauer, Wossner, "The 'plankalkul' of Konrad Zuse: a forerunner of today's programming languages", ACM (4 quotes, 0 words)
QuoteRef: baymP9_1983 ;;Bayman, Mayer, "A diagnosis of beginning programmers' misconceptions of BASIC programming statements", ACM (5 quotes, 305 words)
QuoteRef: bealNC_1981 ;;Beale, Peyton, Jones, "An ADA compatible specification language", ACM (1 quote, 61 words)
QuoteRef: beck5_1990 ;;Beckmann, Kriegel, Schneider, Seeger, "The R*-tree: An efficient and robust access method for points and rectangles", ACM (1 quote, 183 words)
QuoteRef: beckJD7_1987 ;;Becker, "Arabic word processing", ACM (1 quote, 93 words)
QuoteRef: beckLL10_1982 ;;Beck, "A dynamic storage allocation technique based on memory residence time", ACM (5 quotes, 274 words)
QuoteRef: bellJR6_1973 ;;Bell, "Threaded code", ACM (1 quote, 0 words)
QuoteRef: bellSM10_1990 ;;Bellovin, Merritt, "Limitations of the Kerberos Authentication System", ACM (7 quotes, 512 words)
QuoteRef: bellT12_1989 ;;Bell, Witten, Cleary, "Modeling for text compression", ACM (1 quote, 64 words)
QuoteRef: benbI4_1984 ;;Benbasat, Wand, "Command abbreviation behavior in human-computer interaction", ACM (1 quote, 50 words)
QuoteRef: bensBW2_1999 ;;Benson, "Inner classes. Closures for the masses", ACM (1 quote, 49 words)
QuoteRef: bentJ10_1983 ;;Bentley, "Programming Pearls: Writing correct programs", ACM (7 quotes, 313 words)
QuoteRef: bentJ2_1986 ;;Bentley, "Programming pearls: Cutting the Gordian knot", ACM (1 quote, 22 words)
QuoteRef: bentJ3_1984 ;;Bentley, "Programming pearls: The back of the envelope", ACM (2 quotes, 199 words)
QuoteRef: bentJ5_1985 ;;Bentley, "Programming pearls: A spelling checker", ACM (2 quotes, 152 words)
QuoteRef: bentJ9_1987 ;;Bentley, "Programming pearls. A sample of brilliance", ACM (1 quote, 40 words)
QuoteRef: bentJL1_1997 ;;Bentley, Sedgewick, "Fast algorithms for sorting and searching strings", ACM (1 quote, 77 words)
QuoteRef: bergED11_2000 ;;Berger, McKinley, Blumofe, Wilson, "Hoard: A scalable memory allocator for multithreaded applications", ACM (1 quote, 121 words)
QuoteRef: bergED11_2002 ;;Berger, Zorn, McKinley, "Reconsidering custom memory allocation", ACM (3 quotes, 201 words)
QuoteRef: bergT9_1997 ;;Bergin, "HOPL II - Closing panel: The history of programming: Does our present past have a future?", ACM (5 quotes, 184 words)
QuoteRef: bernM6_2003 ;;Berndl, Lhotak, Qian, Hendren , Umaneee, "Pointers-to analysis using BDDs", ACM (1 quote, 184 words)
QuoteRef: bernT8_1994 ;;Berners-Lee, Cailliau, Luotonen, Nielsen, Secret, "The world-wide web", ACM (7 quotes, 255 words)
QuoteRef: bersBN12_1995 ;;Bershad, Savage, Pardyak, Sirer, Fiuczynski, Becker, Chambers, Eggers, "Extensibility, safety and performance in the SPIN operating system", ACM (7 quotes, 575 words)
QuoteRef: bertE4_1999 ;;Bertino, Jajodia, Samarati, "A flexible authorization mechanism for relational data management systems", ACM (1 quote, 91 words)
QuoteRef: berzAT_1980 ;;Berztiss, "Data abstraction, controlled iteration, and communicating processes ", ACM (4 quotes, 215 words)
QuoteRef: beszA9_2003 ;;Beszedes, Ferenc, Gyimothy, Dolenc, Karsisto, "Survey of code-size reduction methods", ACM (1 quote, 71 words)
QuoteRef: birdR2_1995 ;;Bird, Gopal, Herzberg, Janson, Kutten, Molva, Yung, "The KryptoKnight family of light-weight protocols for authentication and key distribution", ACM, IEEE (1 quote, 71 words)
QuoteRef: birkA10_2004 ;;Birka, Ernst, "A practical type system and language for reference immutability", ACM (10 quotes, 809 words)
QuoteRef: birmKP2_1987 ;;Birman, Joseph, "Reliable communication in the presence of failures", ACM (11 quotes, 559 words)
QuoteRef: birrAD4_1982 ;;Birrell, Levin, Needham, Schroeder, "Grapevine: An exercise in distributed computing", ACM (11 quotes, 461 words)
QuoteRef: blacSM10_2003 ;;Blackburn, McKinley, "Ulterior reference counting: fast garbage collection without a long wait", ACM (1 quote, 104 words)
QuoteRef: blaiDC3_1985 ;;Blair, Maron, "An evaluation of retrieval effectiveness for a full-textdocument-retrieval system ", ACM (9 quotes, 464 words)
QuoteRef: blelGE3_1996 ;;Blelloch, "Programming parallel algorithms", ACM (3 quotes, 241 words)
QuoteRef: blooBH7_1970 ;;Bloom, "Space/Time trade-offs in hash coding with allowable errors", ACM (2 quotes, 157 words)
QuoteRef: bobrDG7_1980 ;;Bobrow, "Managing reentrant structures using reference counts ", ACM (2 quotes, 94 words)
QuoteRef: bobrDG9_1986 ;;Bobrow, Mittal, Stefik, "Expert systems: perils and promise", ACM (2 quotes, 41 words)
QuoteRef: bochGV7_1973 ;;Bochmann, "Multiple exits from a loop without the goto", ACM (2 quotes, 0 words)
QuoteRef: bodiR6_2000 ;;Bodik, Gupta, Sarkar, "ABCD: Eliminating array bounds checks on demand", ACM (4 quotes, 289 words)
QuoteRef: bohmC5_1966 ;;Bohm, Jacopini, "Flow diagrams, turing machines, and languages with only two formation rules", ACM (2 quotes, 0 words)
QuoteRef: bohmC9_2001 ;;Bohm, Berchtold, Keim, "Searching in high-dimensional spaces--Index structures for improving the performance of multimedia databases", ACM (5 quotes, 342 words)
QuoteRef: bootB6_2000 ;;Boothe, "Efficient algorithms for bidirectional debugging", ACM (13 quotes, 968 words)
QuoteRef: bootKS11_1981 ;;Booth, "Authentication of signatures using public key encryption", ACM (4 quotes, 253 words)
QuoteRef: boreNS11_1992 ;;Borenstein, "Computational mail as network infrastructure for computer- supported cooperative work", ACM (7 quotes, 254 words)
QuoteRef: boreNS9_1988 ;;Borenstein, Thyberg, "Cooperative work in the Andrew Message System", ACM (7 quotes, 570 words)
QuoteRef: bornA10_1997 ;;Borning, Marriott, Stuckey, Xiao, "Solving linear arithmetic constraints for user interface applications", ACM (1 quote, 70 words)
QuoteRef: bornA11_1997 ;;Borning, Lin, Marriott, "Constraints for the web", ACM (2 quotes, 173 words)
QuoteRef: bornA2_1987 ;;Borning, "Computer system reliability and nuclear war", ACM (4 quotes, 174 words)
QuoteRef: bornAH11_1986 ;;Borning, "Classes versus prototypes in object-oriented languages", ACM, IEEE (4 quotes, 321 words)
QuoteRef: boroR11_1998 ;;Borovoy, Martin, Vemuri, Resnick, Silverman, Hancock, "Meme tags and community mirrors: moving from conferences to collaboration", ACM (2 quotes, 152 words)
QuoteRef: boutRT4_1992 ;;Boute, "The Euclidean definition of the functions div and mod ", ACM (1 quote, 63 words)
QuoteRef: boyaC6_2003 ;;Boyapati, Salcianu, Beebee, Rinard, "Ownership types for safe region-based memory management in real-time Java", ACM (1 quote, 179 words)
QuoteRef: brabC1_2002 ;;Brabrand, Schwartzbach, "Growing languages with metamorphic syntax macros", ACM (2 quotes, 153 words)
QuoteRef: branP11_1971 ;;Branquart, Lewi, Sintzoff, Wodon, "The composition of semantics in Algol 68", ACM (2 quotes, 0 words)
QuoteRef: brenRP7_1989 ;;Brent, "Efficient implementation of the first-fit strategy for dynamic storage allocation", ACM (1 quote, 171 words)
QuoteRef: brigP6_1989 ;;Briggs, Cooper, Kennedy, Torczon, "Coloring heuristics for register allocation", ACM (1 quote, 150 words)
QuoteRef: brinP11_1978 ;;Brinch-Hansen, "Distributed processes: a concurrent programming concept", ACM (14 quotes, 498 words)
QuoteRef: brinP4_1970 ;;Brinch Hansen, "The nucleus of a multiprogramming system", ACM (4 quotes, 348 words)
QuoteRef: brinP4_1999 ;;Brinch Hansen, "Java's insecure parallelism", ACM (5 quotes, 327 words)
QuoteRef: brinP7_1972 ;;Brinch Hansen, "Structured multiprogramming", ACM (4 quotes, 225 words)
QuoteRef: brooFP3_1996 ;;Brooks, "The computer scientist as toolsmith II", ACM (1 quote, 82 words)
QuoteRef: browPJ10_1967 ;;Brown, "The ML1 macro processor", ACM (5 quotes, 0 words)
QuoteRef: browPS7_1987 ;;Brown, Gould, "An experimental study of people creating spreadsheets", ACM (1 quote, 52 words)
QuoteRef: browSA11_1963 ;;Brown, Drayton, Mittman, "A description of APT language", ACM (6 quotes, 0 words)
QuoteRef: brucKB3_1996 ;;Bruce, "Progress in programming languages", ACM (1 quote, 112 words)
QuoteRef: brunJ7_1972 ;;Bruno, Steiglitz, "The expression of algorithms by charts ", ACM (1 quote, 0 words)
QuoteRef: buchAL1_2000 ;;Buchsbaum, Caldwell, Church, Fowler, Muthukrishnan, "Engineering the compression of massive tables: an experimental approach", ACM (1 quote, 179 words)
QuoteRef: buddTA_1980 ;;Budd, DeMillo, Lipton, Sayward, "Theoretical and empirical studies on using program mutation to test the functional correctness of programs", ACM (10 quotes, 413 words)
QuoteRef: buneP5_1986 ;;Buneman, Atkinson, "Inheritance and persistence in database programming languages", ACM (15 quotes, 828 words)
QuoteRef: burgRG5_1996 ;;Burger, Dybvig, "Printing floating-point numbers quickly and accurately", ACM (1 quote, 50 words)
QuoteRef: burrWE8_1983 ;;Burr, "An Overview of the proposed american national standard for local distributed data interfaces", ACM
QuoteRef: butlRW12_1991 ;;Butler, Finelli, "The infeasibility of experimental quantification of life- critical software reliability", ACM (2 quotes, 195 words)
QuoteRef: byrnMD4_1993 ;;Byrne, "Using icons to find documents: Simplicity is critical", ACM (1 quote, 44 words)
QuoteRef: byrnMD5_1999 ;;Byrne, John, Wehrle, Crow, "The tangled web we wove: A taxonomy of WWW use", ACM (3 quotes, 263 words)
QuoteRef: campB7_1988 ;;Campbell, Goodman, "HAM: A general purpose hypertext abstract machine", ACM (7 quotes, 271 words)
QuoteRef: cannA7_2002 ;;Cannane, Williams, "A general-purpose compression scheme for large collections", ACM (1 quote, 166 words)
QuoteRef: cannDJ6_2000 ;;Cannarozzi, Plezbert, Cytron, "Contaminated garbage Collection", ACM (2 quotes, 220 words)
QuoteRef: cardSK7_1980 ;;Card, Moran, Newell, "The keystroke-level model for user performance time with interactive systems ", ACM (3 quotes, 53 words)
QuoteRef: carrJM8_1984 ;;Carroll, Carrithers, "Training wheels in a user interface", ACM (9 quotes, 474 words)
QuoteRef: carrJM9_1988 ;;Carroll, Aaronson, "Learning by doing with simulated intelligent help", ACM (4 quotes, 185 words)
QuoteRef: carrN4_1989 ;;Carriero, Gelernter, "Linda in context", ACM (6 quotes, 221 words)
QuoteRef: cartDG1_1990 ;;Carta, "Two fast implementations of the "minimal standard" random number generator", ACM (1 quote, 20 words)
QuoteRef: cartL5_1978 ;;Carter, Floyd, Gill, Markowsky, Wegman, "Exact and approximate membership testers", ACM, IEEE (3 quotes, 163 words)
QuoteRef: cartR1_1985 ;;Cartwright, "Types as intervals", ACM (5 quotes, 180 words)
QuoteRef: cashPM1_1980 ;;Cashman, Holt, "A communication-oriented approach to structuring the software maintenance environment", ACM (6 quotes, 235 words)
QuoteRef: chaiGJ_1966 ;;Chaitin, "On the length of programs for computing finite binary sequences", ACM (1 quote, 49 words)
QuoteRef: chamC4_1995 ;;Chambers, Dean, Grove, "A framework for selective recompilation in the presence of complex intermodule dependencies", ACM, IEEE (2 quotes, 232 words)
QuoteRef: chavE9_2001 ;;Chavez, Navarro, Baeza-Yates, Marroquin, "Searching in metric spaces", ACM (2 quotes, 178 words)
QuoteRef: cheaAM9_2000 ;;Cheadle, Field, Marlow, Peyton Jones, While, "Non-stop Haskell", ACM (3 quotes, 356 words)
QuoteRef: chenPP3_1976 ;;Chen, "The entity-relationship model--toward a unified view of data", ACM (6 quotes, 113 words)
QuoteRef: cherC5_1988 ;;Cherniak, "Undebuggability and cognitive science", ACM (5 quotes, 365 words)
QuoteRef: cherDR12_1993 ;;Cheriton, Skeen, "Understanding the limitations of causally and totally ordered communication", ACM (9 quotes, 745 words)
QuoteRef: cherDR2_1979 ;;Cheriton, Malcolm, Melen, Sager, "Thoth, a portable real-time operating system", ACM (9 quotes, 299 words)
QuoteRef: cherDR3_1988 ;;Cheriton, "The V distributed system", ACM (17 quotes, 929 words)
QuoteRef: cherDR_1976 ;;Cheriton, "Man-machine interface design for timesharing systems", ACM (2 quotes, 33 words)
QuoteRef: chilTM10_1998 ;;Chilimbi, Larus, "Using generational garbage collection to implement cache- conscious data placement", ACM (1 quote, 143 words)
QuoteRef: chinRS3_1991 ;;Chin, Chanson, "Distributed object-based programming systems", ACM (6 quotes, 327 words)
QuoteRef: chocGV12_2001 ;;Chockler, Keidar, Vitenberg, "Group communication specifications: a comprehensive survey", ACM (1 quote, 132 words)
QuoteRef: chouA11_2000 ;;Chou, Chelf, Engler, Heinrich, "Using meta-level compilation to check FLASH protocol code", ACM (6 quotes, 656 words)
QuoteRef: chowFC10_1990 ;;Chow, Hennessy, "The priority-based coloring approach to register allocation ", ACM (1 quote, 90 words)
QuoteRef: chriC8_1966 ;;Christensen, "On the implementation of AMBIT, a language for symbol manipulation", ACM (3 quotes, 0 words)
QuoteRef: chriTW2_2002 ;;Christopher, "What should be in a parallel library", ACM (1 quote, 73 words)
QuoteRef: chunYC1_2000 ;;Chung, Moon, Ebcioglu, Sahlin, "Reducing sweep time for a nearly empty heap", ACM (1 quote, 100 words)
QuoteRef: ciacP4_1993 ;;Ciaccia, Zezula, "Estimating accesses in partitioned signature file organizations", ACM (2 quotes, 101 words)
QuoteRef: ciapE1_1999 ;;Ciapessoni, et al "From formal methods to formally based methods: an industrial experience", ACM (10 quotes, 431 words)
QuoteRef: clarCL5_1997 ;;Clarke, Cormack, "On the use of regular expressions for searching text", ACM (3 quotes, 254 words)
QuoteRef: clarDD12_1995 ;;Clark, "The structuring of systems using upcalls", ACM (11 quotes, 762 words)
QuoteRef: clarDD8_1988 ;;Clark, "The design philosophy of the DARPA Internet protocols", ACM (12 quotes, 824 words)
QuoteRef: clarEM1_1979 ;;Clarke, "Programming language constructs for which it is impossible to obtain good Hoare axiom systems ", ACM (1 quote, 42 words)
QuoteRef: clifC9_1988 ;;Clifton, Garcia-Molina, Hagmann, "The design of a document database", ACM (4 quotes, 216 words)
QuoteRef: clinWD6_1990 ;;Clinger, "How to read floating point numbers accurately", ACM (1 quote, 162 words)
QuoteRef: clouMJ7_1983 ;;Cloutier, Friedman, "Precision averaging for real-time analysis ", ACM (1 quote, 0 words)
QuoteRef: coddEF12_1979 ;;Codd, "Extending the database relational model to capture more meaning", ACM (13 quotes, 486 words)
QuoteRef: coddEF2_1982 ;;Codd, "Relational database: A practical foundation for productivity", ACM (6 quotes, 288 words)
QuoteRef: coddEF6_1970 ;;Codd, "A relational model of data for large shared data banks", ACM (14 quotes, 849 words)
QuoteRef: coheJD7_1997 ;;Cohen, "Recursive hashing functions for n-grams", ACM (1 quote, 108 words)
QuoteRef: coheNH10_1991 ;;Cohen, "Technical correspondence: Type-extension type tests can be performed in constant time ", ACM (1 quote, 124 words)
QuoteRef: collC1_1999 ;;Collberg, Thomborson, "Software watermarking: models and dynamic embeddings", ACM (2 quotes, 51 words)
QuoteRef: comeDE11_1986 ;;Comer, Peterson, "Conversation-based mail", ACM (19 quotes, 826 words)
QuoteRef: conrM5_1985 ;;Conrad, "On design principles for a molecular computer", ACM (4 quotes, 272 words)
QuoteRef: conwME7_1963 ;;Conway, "Design of a separable transition-diagram compiler", ACM (4 quotes, 0 words)
QuoteRef: cookCR11_1980 ;;Cook, Kim, "Best sorting algorithm for nearly sorted lists ", ACM (2 quotes, 154 words)
QuoteRef: coopKD9_2001 ;;Cooper, Simpson, Vick, "Operator strength reduction", ACM (5 quotes, 362 words)
QuoteRef: corrA5_2000 ;;Corral, Manolopoulos, Theodoridis, Vassilakopoulos, "Closest pair queries in spatial databases", ACM (1 quote, 87 words)
QuoteRef: corwJ10_2003 ;;Corwin, Bacon, Grove, Murthy, "MJ: a rational module system for Java and its applications", ACM (4 quotes, 424 words)
QuoteRef: cullDE11_1996 ;;Culler, Karp, Patterson, Sahay, Santos, Schauser, Subramonian, von Eicken, "A practical model of parallel computation", ACM (4 quotes, 257 words)
QuoteRef: currG11_1986 ;;Curry, "An approach to type safety in a traits system", ACM, IEEE (4 quotes, 99 words)
QuoteRef: cusuMA6_1997 ;;Cusumano, Selby, "How Microsoft builds software", ACM (5 quotes, 264 words)
QuoteRef: cyphA4_1991 ;;Cypher, "Eager: programming repetitive tasks by example", ACM (2 quotes, 219 words)
QuoteRef: cytrR10_1991 ;;Cytron, Ferrante, Rosen, Wegman, "Efficiently computing static single assignment form and the control dependence graph", ACM (2 quotes, 83 words)
QuoteRef: dahlOJ9_1966 ;;Dahl, Nygaard, "SIMULA, an Algol based simulation language", ACM (1 quote, 0 words)
QuoteRef: daiuC_1981 ;;Daiute, Taylor, "Computers and the improvement of writing ", ACM (1 quote, 84 words)
QuoteRef: dameF3_1964 ;;Damerau, "A technique for computer detection and correction of spelling errors", ACM (2 quotes, 0 words)
QuoteRef: darkRP10_1997 ;;Darken, Cocayne, Carmein, "The omni-directional treadmill: a locomotion device for virtual worlds", ACM (1 quote, 230 words)
QuoteRef: dasM6_2000 ;;Das, "Unification-based pointer analysis with directional assignments", ACM (2 quotes, 209 words)
QuoteRef: daviJW6_1987 ;;Davidson, Vaughan, "The effect of instruction set complexity on program size andmemory performance ", ACM (1 quote, 36 words)
QuoteRef: daviMD_1981 ;;Davis, Weyuker, "Pseudo-oracles for non-testable programs ", ACM (1 quote, 96 words)
QuoteRef: debrS1_1998 ;;Debray, Muth, Weippert, "Alias analysis of executable code", ACM (1 quote, 80 words)
QuoteRef: debrSK3_2000 ;;Debray, Evans, "Compiler techniques for code compaction", ACM (2 quotes, 245 words)
QuoteRef: degaP6_2001 ;;Degano, Priami, "Enhanced operational semantics: a tool for describing and analyzing concurrent systems", ACM (5 quotes, 395 words)
QuoteRef: demaT5_1989 ;;"DeMarco, T.", ACM (8 quotes, 403 words)
QuoteRef: demeA8_1987 ;;Demers, Greene, Hauser, Irish, Larson, Shenker, Sturgis, Swinehart, Terry, "Epidemic algorithms for replicated database maintenance", ACM (11 quotes, 554 words)
QuoteRef: demeAJ_1980 ;;Demers, Donahue, "Data Types, parameters and type checking ", ACM (1 quote, 0 words)
QuoteRef: demeA_1978 ;;Demers, Donahue, Skinner, "Data types as values: polymorphism, type-checking, encapsulation", ACM (29 quotes, 1311 words)
QuoteRef: demeA_1980 ;;Demers, Donahue, "Type-Completeness: as a language principle ", ACM (7 quotes, 273 words)
QuoteRef: demiRA5_1979 ;;DeMillo, Lipton, Perlis, "Social processes and proofs of theorems and programs ", ACM (16 quotes, 748 words)
QuoteRef: demiRA_1977 ;;DeMillo, Lipton, Perlis, "Social processes and proofs of theorems and programs", ACM (8 quotes, 291 words)
QuoteRef: demoES8_1998 ;;de Moura, Zivianni, Navorro, Baeza-Yates, "Fast searching on compressed text allowing errors", ACM (2 quotes, 255 words)
QuoteRef: demsB10_2003 ;;Demsky, Rinard, "Automatic detection and repair of errors in data structures", ACM (2 quotes, 264 words)
QuoteRef: dennDE4_1984 ;;Denning, "Digital signatures with RSA and other public-key cryptosystems", ACM (3 quotes, 152 words)
QuoteRef: dennDE8_1981 ;;Denning, Sacco, "Timestamps in key distribution protocols", ACM (1 quote, 114 words)
QuoteRef: dennPJ3_1982 ;;Denning, "Electronic Junk", ACM (9 quotes, 329 words)
QuoteRef: dennPJ3_1995 ;;Denning, "Can there be a science of information?", ACM (2 quotes, 79 words)
QuoteRef: dereF8_1979 ;;DeRemer, Pennello, "Efficient computation of LALR(1) look-ahead sets", ACM (1 quote, 106 words)
QuoteRef: deroSJ2_1990 ;;DeRose, Durand, Mylonas, Renear, "What is text, really?", ACM (6 quotes, 357 words)
QuoteRef: deviO6_1999 ;;Devillers, "On deletion in Delaunay triangulations", ACM (2 quotes, 88 words)
QuoteRef: dewaRB10_1969 ;;Dewar, Hochsprung, Worley, "The Iltran programming language", ACM (1 quote, 0 words)
QuoteRef: dewaRB6_1975 ;;Dewar, "Indirect threaded code", ACM (2 quotes, 124 words)
QuoteRef: dickGW1_1986 ;;Dickson, DeSanctis, McBride, "Understanding the effectiveness of computer graphics for decision support: A cumulative experimental approach", ACM (1 quote, 79 words)
QuoteRef: dijkEW10_1972 ;;Dijkstra, "The humble programmer", ACM (8 quotes, 211 words)
QuoteRef: dijkEW11_1974 ;;Dijkstra, "Self-stabilizing systems in spite of distributed control ", ACM (1 quote, 105 words)
QuoteRef: dijkEW12_1989 ;;Dijkstra, "A debate on teaching computing science: On the cruelty of really teaching computing science", ACM (9 quotes, 517 words)
QuoteRef: dijkEW3_1968 ;;Dijkstra, "Goto statement considered harmful", ACM (2 quotes, 24 words)
QuoteRef: dijkEW3_1970 ;;Dijkstra, et al. "News item--minority report [to Report on the algorithmic language ALGOL 68]", ACM (1 quote, 68 words)
QuoteRef: dingC5_1999 ;;Ding, Kennedy, "Improving cache performance in dynamic applications through data and computation reorganization at run time", ACM (2 quotes, 160 words)
QuoteRef: diseAA9_1986 ;;diSessa, Abelson, "Boxer: A reconstructible computational medium", ACM (12 quotes, 552 words)
QuoteRef: dobsJ4_1989 ;;Dobson, Randell, "Program verification: Public image and private reality", ACM (3 quotes, 174 words)
QuoteRef: dolbJ6_2000 ;;Dolby, Chien, "An automatic object inlining optimization and its evaluation", ACM (1 quote, 71 words)
QuoteRef: donaJ7_1985 ;;Donahue, Demers, "Data types as values ", ACM (5 quotes, 189 words)
QuoteRef: dongJJ5_1987 ;;Dongarra, Grosse, "Distribution of mathematical software via electronic mail", ACM (9 quotes, 383 words)
QuoteRef: dorN6_2003 ;;Dor, Rodeh, Sagiv, "CSSV: towards a realistic tool for statically detecting all buffer overflows in C", ACM (1 quote, 199 words)
QuoteRef: doucJR5_1999 ;;Douceur, Bolosky, "A large-scale study of file-system contents", ACM (6 quotes, 265 words)
QuoteRef: dourP6_1999 ;;Dourish, Edwards, Lamarca, Salisbury, "Presto: an experimental architecture for fluid interactive document spaces", ACM (4 quotes, 276 words)
QuoteRef: drisJR5_1986 ;;Driscoll, Sarnak, Sleator, Tarjan, "Making data structures persistent", ACM (3 quotes, 144 words)
QuoteRef: druiA3_1997 ;;Druin, Stewart, Proft, Bederson, Hollan, "KidPad: A design collaboration between children, technologists, and educators", ACM (3 quotes, 285 words)
QuoteRef: duggD9_2001 ;;Duggan, "Type-based hot swapping of running modules", ACM (2 quotes, 215 words)
QuoteRef: dujaE1_1998 ;;Dujardin, Amiel, Simon, "Fast algorithms for compressed multimethod dispatch table generation", ACM (1 quote, 82 words)
QuoteRef: dumaJ6_1995 ;;Dumas, Parsons, "Discovering the way programmers think about new programming environments", ACM (4 quotes, 230 words)
QuoteRef: earlJ10_1971 ;;Earley, "Toward an understanding of data structures", ACM (3 quotes, 0 words)
QuoteRef: earlJ2_1970 ;;Earley, "An efficient context-free parsing algorithm", ACM (2 quotes, 213 words)
QuoteRef: edgaAD3_1979 ;;Edgar, Lee, "FOCUS microcomputer number system", ACM (7 quotes, 260 words)
QuoteRef: edmoJ5_1999 ;;Edmonds, "Scheduling in the dark", ACM (1 quote, 183 words)
QuoteRef: edwaWK10_1997 ;;Edwards, Mynatt, Petersen, Spreitzer, Terry, Theimer, "Designing and implementing asynchronous collaborative applications with Bayou", ACM (3 quotes, 349 words)
QuoteRef: efeK11_1987 ;;Efe, "A proposed solution to the problem of levels in error-messagegeneration ", ACM (7 quotes, 413 words)
QuoteRef: eganDE5_1989 ;;Egan, Remde, Landauer, Lochbaum, Gomez, "Behavioral evaluation and analysis of a hypertext browser", ACM (6 quotes, 322 words)
QuoteRef: elliC2_2000 ;;Ellison, Schneier, "Risks of PKI: E-commerce", ACM (3 quotes, 272 words)
QuoteRef: elnoEN9_2002 ;;Elnozahy, Alvisi, Wang, Johnson, "A survey of rollback-recovery protocols in message-passing systems", ACM (6 quotes, 560 words)
QuoteRef: engbJ5_1999 ;;Engblom, "Why SpecInt95 should not be used to benchmark embedded systems tools", ACM (6 quotes, 331 words)
QuoteRef: englD10_2001 ;;Engler, Chen, Hallem, Chou, Chelf, "Bugs as deviant behavior: a general approach to inferring errors in systems code", ACM (10 quotes, 837 words)
QuoteRef: englDR12_1995 ;;Engler, Kaashoek, O'Toole, "Exokernel: an operating system architecture for application- level resource management", ACM (7 quotes, 442 words)
QuoteRef: ernsJ6_1997 ;;Ernst, Evans, Fraser, Lucco, Proebsting, "Code compression", ACM (4 quotes, 276 words)
QuoteRef: eugsPT6_2003 ;;Eugster, Felber, Guerraoui, Kermarrec, "The many faces of publish/subscribe", ACM (2 quotes, 122 words)
QuoteRef: evanWS6_2001 ;;Evans, Fraser, "Bytecode compression via profiled grammar rewriting", ACM (1 quote, 146 words)
QuoteRef: evanWS8_2003 ;;Evans, Fraser, "Grammar-based compression of interpreted code", ACM (1 quote, 132 words)

Related Topics up

ThesaHelp: ACM references a-e (259 items)
ThesaHelp: ACM references f-l (241 items)
ThesaHelp: ACM references m-z
(280 items)

Updated barberCB 10/05
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.