ThesaHelp: references p-r

topic root > Group: all references

all references
references a-b
references c-d
references e-f
references g-h
references i-l
references m-o
references sa-sz
references t-z

all Thesa topics


Quotation references starting with 'p', 'q', or 'r'.

Group members up

QuoteRef: pagaFG3_1979 ;;Pagan, F.G., Semantic specification using two-level grammars: blocks, procedures and parameters
QuoteRef: pagaFG6_1988 ;;Pagan, F.G., Converting interpreters into compilers
QuoteRef: paghR10_2013 ;;Pagh, R. et al., How to approximate a set without knowing its size in advance [NewQuotes]
QuoteRef: paicCD8_1996 ;;Paice, C.D., Method for evaluation of stemming algorithms based on error counting [ExtraQuote]
QuoteRef: paleL12_1997 ;;Palen, L., Groupware adoption & adaptation: studies of successful use
QuoteRef: palmJ5_1973 ;;Palme, J., Simula as a tool for extensible program products
QuoteRef: palmJ1_1978 ;;Palme, J., How I fought with hardware and software and succeeded
QuoteRef: palmJ9_1979 ;;Palme, J., A human-computer interface for non-computer specialists
QuoteRef: palmJ2_1982 ;;Palme, J., Uses of the SIMULA process concept [NewQuotes]
QuoteRef: panH6_2010 ;;Pan, H. et al., Composing parallel software efficiently with Lithe
QuoteRef: pancP6_2015 ;;Panchekha, P. et al., Automatically improving accuracy for floating point expressions
QuoteRef: pandC_1075 ;;Pandulf of Capua, Liber de Calculatione [NewQuotes]
QuoteRef: paneJF2_2001 ;;Pane, J.F. et al., Studying the language and structure in non-programmers' solutions to programming problems
QuoteRef: paneJF9_2002 ;;Pane, J.F. et al., Using HCI techniques to design a more usable programming system
QuoteRef: pankV11_2009 ;;Pankratius, V. et al., Parallelizing bzip2: a case study in multicore software engineering
QuoteRef: pannF10_2005 ;;Panneton, F., L'Ecuyer, P., On the xorshift random number generators [NewQuotes]
QuoteRef: panwA3_2018 ;;Panwar, A. et al., Making huge pages actually useful [NewQuotes]
QuoteRef: papaG3_2020 ;;Papadakis, G. et al., Blocking and filtering techniques for entity resolution: a survey [NewQuotes]
QuoteRef: papaS2_2018 ;;Papadimitriou, S., Moussiades, L., Mac OS versus FreeBSD: a comparative evaluation [NewQuotes]
QuoteRef: pariG_1980 ;;Parikh, G., Techniques of Program and System Maintenance
QuoteRef: pariR_2017 ;;Parikh, R., Renero, A., Justified true belief: Plato, Gettier, and Turing [NewQuotes]
QuoteRef: parkCS2_2012 ;;Park, C.-S., Sen, K., Concurrent breakpoints
QuoteRef: parkDS5_1983 ;;Parker, D.S. Jr. et al., Detection of mutual inconsistency in distributed systems
QuoteRef: parkE3_2011 ;;Park, E. et al., Fast and space-efficient virtual machine checkpointing
QuoteRef: parkH3_2013 ;;Park, H. et al., Regularities considered harmful: Forcing randomness to memory accesses to reduce row buffer conflicts for multi-core, multi-bank systems
QuoteRef: parkR7_1978 ;;Parkin, R., On the use of keywords for passing procedure parameters
QuoteRef: parkS3_2009 ;;Park, S. et al., CTrigger: exposing atomicity bugs from their hiding places
QuoteRef: parkSK10_1988 ;;Park, S.K., Miller, K.W., Random number generators: Good ones are hard to find
QuoteRef: parkSK7_1993 ;;Park, S.K. et al., [Response to] Remarks on choosing and implementing random number generators
QuoteRef: parkWT10_1984 ;;Park, W.T., State-space representations for coordination of multiple manipulators
QuoteRef: parlBN3_1975 ;;Parlett, B.N., Wang, Y., The influence of the compiler on the cost of mathematical software
QuoteRef: parnB6_2012 ;;Parno, B., Trust extension for commodity computers
QuoteRef: parnC5_2011 ;;Parnin, C. et al., Java generics adoption: how new features are introduced, championed, or ignored
QuoteRef: parnDL8_1971 ;;Parnas, D.L., Information distribution aspects of design methodology
QuoteRef: parnDL5_1972 ;;Parnas, D.L., A technique for software module specification with examples
QuoteRef: parnDL12_1972 ;;Parnas, D.L., On the criteria to be used in decomposing systems into modules
QuoteRef: parnDL3_1976 ;;Parnas, D.L. et al., Abstract data types defined as classes of variables
QuoteRef: parnDL10_1976 ;;Parnas, D.L. et al., Using predicate transforms to verify the effects of "real" programs
QuoteRef: parnDL10_1976b ;;Parnas, D.L., Wurges, H., Response to undesired events in software systems
QuoteRef: parnDL_1977 ;;Parnas, D.L., The influence of software structure on reliability
QuoteRef: parnDL_1978 ;;Parnas, D.L., Some software engineering principles
QuoteRef: parnDL5_1978 ;;Parnas, D.L., Designing software for ease of extension and contraction
QuoteRef: parnDL8_1983 ;;Parnas, D.L., A generalized control structure and its formal definition
QuoteRef: parnDL3_1985 ;;Parnas, D.L. et al., The modular structure of complex systems
QuoteRef: parnDL8_1985 ;;Parnas, D.L., Weiss, D.M., Active design reviews: Principles and practices
QuoteRef: parnDL12_1985 ;;Parnas, D.L., Software aspects of strategic defense systems
QuoteRef: parnDL2_1986 ;;Parnas, D.L., Clements, P.C., A rational design process: How and why to fake it
QuoteRef: parnDL5_1988 ;;Parnas, D.L. et al., Evaluation standards for safety critical software
QuoteRef: parnDL6_1990 ;;Parnas, D.L. et al., Evaluation of safety-critical software
QuoteRef: parnDL8_1993 ;;Parnas, D.L., Some theorems we should prove
QuoteRef: parnDL8_1994 ;;Parnas, D.L., Inspection of safety-critical software using program-function tables
QuoteRef: parnDL12_1994 ;;Parnas, D.L. et al., Precise documentation of well-structured programs
QuoteRef: parnDL4_1996 ;;Parnas, D.L., Mathematical methods: what we need and don't need
QuoteRef: parnDL_1997 ;;Parnas, D.L., Mathematics of dependable systems II
QuoteRef: parnDL8_2007 ;;Parnas, D.L., Which is riskier: OS diversity or OS monopoly?
QuoteRef: parnDL1_2010 ;;Parnas, D.L., Really rethinking 'Formal Methods'
QuoteRef: parnDL11_2012 ;;Parnas, D.L., On proving continuity of programs [Letter to the editor]
QuoteRef: parnDL5_2021 ;;Parnas, D.L., Software engineering: a profession in waiting [NewQuotes]
QuoteRef: parrT6_2011 ;;Parr, T., Fisher, K., LL(*): the foundation of the ANTLR parser generator
QuoteRef: parrT10_2014 ;;Parr, T. et al., Adaptive LL(*) parsing: The power of dynamic analysis
QuoteRef: parsS1_2011 ;;Parsons, S. et al., Auctions and bidding: a guide for computer scientists
QuoteRef: partPR6_2002 ;;Parthassarathy, P.R., Krishnaiah, M., Resolving webuser on the fly
QuoteRef: pascB_1670 ;;Pascal, B., Pensees
QuoteRef: pascB_1728 ;;Pascal, B., The Art of Persuasion (part of De l'esprit geometrique)
QuoteRef: pascJ9_2000 ;;Pascoe, J. et al., Using while moving: HCI issues in fieldwork environments
QuoteRef: pascM11_2004 ;;Pasca, M., Acquisition of categorized named entities for web search
QuoteRef: paseD3_2010 ;;Pasetto, D. et al., Tools for very fast regular expression matching
QuoteRef: pashM9_2000 ;;Pashea, M., Microcontrollers & CORDIC methods
QuoteRef: patiR2_2019 ;;Patil, R., Modi, C., An exhaustive survey on security concerns and solutions at different components of virtualization [NewQuotes]
QuoteRef: pattDA10_2004 ;;Patterson, D.A., Latency lags bandwidth
QuoteRef: paulLD5_2008 ;;Paulson, L.D., New technique puts the deep freeze on computer security
QuoteRef: paulW_1952 ;;Pauli, W., Der einflub archetypischer vorstellungen auf die bildung naturwissenschaftlicher theorien bei Kepler [NewQuotes]
QuoteRef: paulW_1954 ;;Pauli, W., Pauli, W., Phenomenon and physical reality. Introduction to a symposium [NewQuotes]
QuoteRef: pausR10_1992 ;;Pausch, R. et al., Lessons learned from SUIT, the simple user interface toolkit
QuoteRef: peanG_1889 ;;Peano, G., Arithmetices principia, nova methodo exposita
QuoteRef: peanG_1890 ;;Peano, G., Sur une courbe, qui replit toute une aire plane
QuoteRef: peanG_1896 ;;Peano, G., Reply to question no. 719
QuoteRef: peanG_1906 ;;Peano, G., Super therema de Cantor-Bernstein et additione
QuoteRef: peanG_1921 ;;Peano, G., Le definizioni in matematica
QuoteRef: pearDJ4_21 ;;Pearce, D.J., A lightweight formalism for reference lifetimes and borrowing in Rust [NewQuotes]
QuoteRef: pearDJ7_1973 ;;Pearson, D.J., 'CADES' -- Computer aided design and evaluation system
QuoteRef: pearPK6_1990 ;;Pearson, P.K., Fast hashing of variable-length text strings
QuoteRef: peirB_1881 ;;Peirce, B., Linear associative algebra [OK]
QuoteRef: peirCS11_1877 ;;Peirce, C.S., The fixation of belief [NewQuotes]
QuoteRef: peirCS11_1887 ;;Peirce, C.S., Logical machines [NewQuotes]
QuoteRef: peirCS_1894 ;;Peirce, C.S., What is a sign
QuoteRef: peirCS_1895 ;;Peirce, C.S., Of reasoning in general
QuoteRef: peirCS2_1898 ;;Peirce, C.S., Philosophy and the conduct of life
QuoteRef: pellV_2007 ;;Pellatt, V., Numbers and Numeracy in Chinese Culture, Language, and Education: The social substratum of the development of mathematical thinking [NewQuotes]
QuoteRef: pembS1_1987 ;;Pemberton, S., An alternative simple language and environment for PCs
QuoteRef: pempS7_2000 ;;Pemberton, S., The accidental death of reviewing
QuoteRef: pengT4_2007 ;;Peng, T. et al., Survey of network-based defense mechanisms countering the DoS and DDoS problems
QuoteRef: penrR_1989 ;;Penrose, Roger, The Emperor's New Mind. Concerning computers, minds, and the laws of physics
QuoteRef: percC_2003 ;;Percival, C., Naive differences of executable code
QuoteRef: pereFM11_2005 ;;Pereira,F. M. Q., Palsberg, J., Register allocation via coloring of chordal graphs
QuoteRef: pereFMQ6_2008 ;;Pereira, F.M.Q., Palsberg, J., Register allocation by puzzle solving
QuoteRef: pereP_1269 ;;Peregrinus, P. (Pierre de Maricourt), Epistle of Petrus Peregrinus of Maricourt, to Sygerus of Foucaucourt, soldier, concerning the magnet [NewQuotes]
QuoteRef: perlAJ4_1957 ;;Perlis, A.J., Smith, J.W., A mathematical language compiler [IT]
QuoteRef: perlAJ2_1959 ;;Perlis, A.J. et al., TASS Tech Assembly System
QuoteRef: perlAJ8_1985 ;;Perlis, A.J., Another view of software
QuoteRef: perlAJ1_1986 ;;Perlis, A.J., Two thousand words and two thousand ideas--The 650 at Carnegie
QuoteRef: perlK11_1998 ;;Perlin, K., Quikwriting: Continuous stylus-based text entry
QuoteRef: perrC_1984 ;;Perrow, C., Normal accidents. Living with high-risk technologies
QuoteRef: perrD_2011 ;;Perry, D., Where do most software flaws come from?
QuoteRef: perrDE1_1990 ;;Perry, D.E., Kaiser, G.E., Adequate testing and object-oriented programming
QuoteRef: perrDE7_1994 ;;Perry, D.E. et al., People, organizations, and process improvement
QuoteRef: perrDE4_1998 ;;Perry, D.E. et al., Parallel changes in large scale software development: An observational case study
QuoteRef: perrDE7_2002 ;;Perry, D.E. et al., Reducing inspection interval in large-scale software development
QuoteRef: perrRH10_1979 ;;Perrott, R.H., A language for array and vector processors
QuoteRef: pestS10_2010 ;;Pestov, S. et al., Factor: a dynamic stack-based programming language
QuoteRef: peteJL9_1977 ;;Peterson, J.L., Petri nets
QuoteRef: peteJL12_1980 ;;Peterson, J.L., Computer programs for detecting and correcting spelling errors
QuoteRef: peteJL_1981 ;;Peterson, J.L., Petri net theory and the modeling of systems
QuoteRef: peteJL_1982 ;;Peterson, J.L., Use of Webster's seventh new collegiate dictionary to construct a master hyphenation list
QuoteRef: peteS1_1997 ;;Petersen, S., Design traps in Delphi properties
QuoteRef: peteS6_2010 ;;Peter, S. et al., Design principles for end-to-end multicore schedulers [NewQuotes]
QuoteRef: peteT11_2014 ;;Peterka, T. et al., High-performance computation of distributed-memory parallel 3D Voronoi and Delaunay tessellation
QuoteRef: peteTJ_1982 ;;Peters, T.J., Waterman, T.H. Jr., In search of excellence Lessons from America's best-run companies
QuoteRef: petrCA1_1966 ;;Petri, C.A., Communication with Automata
QuoteRef: petrCA10_1979 ;;Petri, C.A., Introduction to general net theory
QuoteRef: petrCA_1996 ;;Petri, C.A., Nets, time and space
QuoteRef: petrF11_2009 ;;Petrini, F. et al., SCAMPI: a scalable CAM-based algorithm for multiple pattern inspection
QuoteRef: petrL9_1982 ;;Petrone, L. et al., Dual: An interactive tool for developing documented programs by step-wise refinements
QuoteRef: petrM6_1995 ;;Petre, M., Why looking isn't always seeing: readership skills and graphical programming
QuoteRef: petrM4_2018 ;;Petri, M., Moffat, A., Compact inverted index storage using general-purpose compression libraries [NewQuotes]
QuoteRef: pettGW11_2001 ;;Petty, G.W., Automated computation and consistency checking of physical dimensions and units in scientific programs
QuoteRef: pettK6_1990 ;;Pettis, K., Hansen, R.C., Profile guided code positioning
QuoteRef: peyrM3_2000 ;;Peyravian, M. et al., Generation of RSA keys that are guaranteed to be unique for each user
QuoteRef: pfisGF6_1976 ;;Pfister, G.F., A high level language extension for creating and controlling dynamic pictures
QuoteRef: philJB5_1978 ;;Phillips, J.B. et al., Threaded code for laboratory computers
QuoteRef: philM_1974 ;;Phillips, M., The Seven laws of money
QuoteRef: pibiGE4_2017 ;;Pibiri, G.E., Venturini, R., Clustered elias-fano indexes [NewQuotes]
QuoteRef: pibiGE8_2017 ;;Pibiri, G.E., Venturini, R., Efficient data structures for massive n-gram datasets [NewQuotes]
QuoteRef: pibiGE2_2019 ;;Pibiri, G.E., Venturini, R., Handling massive n-gram datasets efficiently [NewQuotes]
QuoteRef: pickL_1984 ;;Pickenhain, L., Towards a holistic conception of movement control
QuoteRef: pikeR3_1988 ;;Pike, R., Window systems should be transparent
QuoteRef: pikeR6_1991 ;;Pike, R., 8 1/2, the Plan 9 window system
QuoteRef: pikeR6_1991a ;;Pike, R., A minimalist global user interface
QuoteRef: pikeR1_1994 ;;Pike, R., Acme: a user interface for programmers
QuoteRef: pikeR6_2000 ;;Pike, R., Lexical file names in Plan 9 or getting dot-dot right
QuoteRef: pikeR4_2005 ;;Pike, R. et al., Interpreting the data: parallel analysis with Sawzall
QuoteRef: pillTS10_2015 ;;Pillai, T.S. et al., Crash Consistency
QuoteRef: pinkS_2007 ;;Pinker, S., The Stuff of Thought: Language as a Window into Human Nature
QuoteRef: pirkP7_2010 ;;Pirkelbauer, P. et al., Design and evaluation of C++ open multi-methods [NewQuotes]
QuoteRef: pitkHF_1972 ;;Pitkin, H.F., Wittgenstein and Justice
QuoteRef: pittT7_1987 ;;Pittman, T., Two-level hybrid interpreter/Native code execution for combined space-time program efficiency
QuoteRef: pizlF6_2007 ;;Pizlo, F. et al., Hierarchical real-time garbage collection
QuoteRef: plaiC4_1996 ;;Plaisant, C. et al., LifeLines: visualizing personal histories
QuoteRef: plamR7_1981 ;;Plamondon, R., Robillard, P.N., Harness a computer to write better software, faster
QuoteRef: plasR6_1999 ;;Plasmeijer, R., van Eekelen, M., Keep it CLEAN: a unique approach to functional programming
QuoteRef: plat_360 ;;Plato, Timaeus [NewQuotes]
QuoteRef: plat_368 ;;Plato, Theaetetus
QuoteRef: plat_375 ;;Plato, The Republic [NewQuotes]
QuoteRef: platC6_2006 ;;von Platen, C., Eker, J., Feedback linking, optimizing object code layout for updates
QuoteRef: plot_270 ;;Plotinus, Enneads [NewQuotes]
QuoteRef: plumT3_1977 ;;Plum, T., Fooling the user of programming language
QuoteRef: pluqF10_2009 ;;Pluquet, F. et al., Executing code in the past: efficient in-memory object graph versioning
QuoteRef: pnueA10_1977 ;;Pnueli, A., The temporal logic of programs
QuoteRef: podgA7_1993 ;;Podgurski, A., Pierce, L., Retrieving reusable software by sampling behavior
QuoteRef: poinH_1891 ;;Poincare, H., Les geometries non Euclidiennes [NewQuotes]
QuoteRef: poinH_1898 ;;Poincare, H., On the foundations of geometry [NewQuotes]
QuoteRef: poinH_1902 ;;Poincare, H., La science et l'hypothese [OK]
QuoteRef: poinH_1905 ;;Poincare, H., La Valeur de la Science [OK]
QuoteRef: poinH_1908 ;;Poincare, H., Science et methode [OK]
QuoteRef: poleM9_1999 ;;Poletto, M., Sarkar, V., Linear scan register allocation
QuoteRef: poloHN_1980 ;;Polovino, H.N. et al., A computer-based coding scheme for research data
QuoteRef: poloM_1299 ;;Polo, M., The Travels [NewQuotes]
QuoteRef: polsPG_1972 ;;Polson, P.G., Campbell, G.D., Extended Scat
QuoteRef: polsPG3_1973 ;;Polson, P.G., Scat: design critera and software
QuoteRef: poolIS_1979 ;;Pool, I. de S., The first amendment and information policy
QuoteRef: poolPC10_1969 ;;Poole, P.C., Waite, W.W., Machine independent software
QuoteRef: poppR7_2002 ;;Popplestone, R., POP, A broad-spectrum programming language, 1967-2002
QuoteRef: portA11_1997 ;;Porter, A., Votta, L., What makes inspections work?
QuoteRef: portAA3_1997 ;;Porter, A.A., Johnson, P.M., Assessing software review meetings: results of a comparative analysis of two experimental studies
QuoteRef: portAA6_1997 ;;Porter, A.A. et al., An experiment to assess the cost-benefits of code inspections in large scale software development
QuoteRef: portDE3_2011 ;;Porter, D.E. et al., Rethinking the library OS from the top down
QuoteRef: portS1_2008 ;;Portigal, S., Persona non grata
QuoteRef: postEL7_1921 ;;Post, E.L., Introduction to a general theory of elementary propositions [NewQuotes]
QuoteRef: postEL_1936 ;;Post, E.L., Finite combinatory processes. Formulation 1. [NewQuotes]
QuoteRef: postEL_1941 ;;Post, E.L., Absolutely unsolvable problems and relatively undecidable propositions. Account of an anticipation [NewQuotes]
QuoteRef: postJB1_1988 ;;Postel, J.B. et al., An experimental multimedia mail system
QuoteRef: postRM5_1987 ;;Poston, R.M., Bruen, M.W., Counting down to zero software failures
QuoteRef: postSW7_1978 ;;Postma, S.W., FEA* A formal English subset of algebra/assertions
QuoteRef: potaWA_1979 ;;Potas, W.A., Interactive systems as if users really mattered
QuoteRef: pothG10_2007 ;;Pothier, G. et al., Scalable omniscient debugging
QuoteRef: potoTE10_1999 ;;Potok, T.E. et al., Productivity analysis of object-oriented software developed in a commercial environment
QuoteRef: pottC9_1993 ;;Potts, C., Software-engineering research revisited
QuoteRef: pounD11_1996 ;;Pountain, D., Parallel processing in bulk
QuoteRef: poupG5_1998 ;;Poupard, G., Stern, J., Security analysis of a practical "on the fly" authentication and signature generation
QuoteRef: poweB6_2019 ;;Powers, B. et al., Mesh: compacting memory management for C/C++ applications [NewQuotes]
QuoteRef: pradM10_2014 ;;Pradel, M. et al., EventBreak: Analyzing the responsiveness of user interfaces through performance-guided test generation
QuoteRef: pratGD9_1976 ;;Pratten, G.D., Snowdon, R.A., CADES -- Support of the development of complex software
QuoteRef: pratP1_2011 ;;Pratikakis, P. et al., Locksmith: practical static race detection for C
QuoteRef: pratRE3_1981 ;;Prather, R.E., Flowcharts which preserve topology
QuoteRef: pratT3_1978 ;;Pratt, T., Control computations and the design of loop control structures
QuoteRef: pratV1_1983 ;;Pratt, V., Five paradigm shifts in programming language design and their realization in Viron, a dataflow programming language
QuoteRef: pratVR3_1974 ;;Pratt, V.R., Quick and clean--a structured approach to language definition
QuoteRef: pratVR_1980 ;;Pratt, V.R., On specifying verifiers
QuoteRef: pratW7_1999 ;;Pratt, W. et al., A knowledge-based approach to organizing retrieved documents
QuoteRef: precL4_1998 ;;Prechelt, L., Tichy, W.F., A controlled experiment to assess the benefits of procedure argument type checking
QuoteRef: precL10_1999 ;;Prechelt, L., Comparing Java vs. C/C++ efficiency differences to interpersonal differences
QuoteRef: precL5_2000 ;;Prechelt, L., Unger, B., An experiment measuring the effects of Personal Software Process (PSP) training
QuoteRef: precL10_2000 ;;Prechelt, L., An empirical comparison of seven programming languages
QuoteRef: premR_2011 ;;Premraj, R., Zimmermann, T., The art of collecting bug reports
QuoteRef: prenB12_1998 ;;Preneel, B. et al., Principles and performance of cryptographic algorithms
QuoteRef: prenCJ8_1972 ;;Prenner, C.J. et al., An implementation of backtracking for programming language
QuoteRef: preuTB2_2022 ;;Preuber, T.B. et al., Everything you always wanted to know about embedded trace [NewQuotes]
QuoteRef: pricAM2_1984 ;;Price, A.M. de A., Defining dynamic variables and abstract data types in Pascal
QuoteRef: pricGW11_2003 ;;Price, G.W., Lowenthal, D.K., A comparative analysis of fine-grain threads packages
QuoteRef: proeTA1_1995 ;;Proebsting, T.A., Optimizing an ANSI C interpreter with superoperators
QuoteRef: prokA2_2018 ;;Prokopec, A., Cache-tries: concurrent lock-free hash tries with constant-time operations [NewQuotes]
QuoteRef: prokGB10_2008 ;;Prokopski, G.B., Verbrugge, C., Analyzing the performance of code-copying virtual machines
QuoteRef: provN6_1999 ;;Provos, N., Mazieres, D., A future-adaptable password scheme
QuoteRef: prywNS10_1979 ;;Prywes, N.S. et al., Use of a nonprocedureal specification language and associated program generator in software development
QuoteRef: ptolC_150 ;;Ptolemy, C., Almagest
QuoteRef: ptolK_150 ;;Ptolemaios, K., Geographike hyphegesis (Guide to Drawing a World Map) [NewQuotes]
QuoteRef: puenJPB9_2017 ;;Puente, J.P.B., Persistence for the masses: RRB-Vectors in a systems language [NewQuotes]
QuoteRef: pughW6_1990 ;;Pugh, W., Skip lists: a probabilistic alternative to balanced trees
QuoteRef: pughW6_1990a ;;Pugh, W., Weddell, G., Two-directional record layout for multiple inheritance
QuoteRef: pughW6_1999 ;;Pugh, W., Fixing the Java memory model
QuoteRef: puglSJ6_2007 ;;Puglisi, S.J. et al., A taxonomy of suffix array construction algorithms
QuoteRef: puliO9_2017 ;;Pulido-Prieto, O., Juarez-Martinez, U., A survey of naturalistic programming techniques [NewQuotes]
QuoteRef: pullJM_1968 ;;Pullan, J.M., The History of the Abacus [NewQuotes]
QuoteRef: puruR6_2005 ;;Purushothaman, R., Perry, D.E., Toward understanding the rhetoric of small source code changes
QuoteRef: putnH_1965 ;;Putnam, H., A philosopher looks at quantum mechanics [NewQuotes]
QuoteRef: putnH_1973 ;;Putnam, H., Meaning and reference
QuoteRef: putnH10_1973 ;;Putnam, H., Philosophy and our mental life [NewQuotes]
QuoteRef: putnH_1974 ;;Putnam, H., The 'corroboration' of theories [NewQuotes]
QuoteRef: putnH_1975 ;;Putnam, H., The meaning of 'meaning' [NewQuotes]
QuoteRef: putnH_2015 ;;Putnam, H. et al., Reply to Ian Hacking [NewQuotes]
QuoteRef: pylyZW3_1978 ;;Pylyshyn,Z.W., Computational models and empirical constraints
QuoteRef: pylyZW_1986 ;;Pylyshyn, Z.W., Computation and Cognition. Toward a foundation for cognitive science
QuoteRef: qiD6_2012 ;;Qi, D. et al., DARWIN: An approach to debugging evolving programs
QuoteRef: qiuZ9_1997 ;;Qiu, Z., Static head notes in the operations of dynamic structures
QuoteRef: quilMR_1967 ;;Quillian, M.R., Word concepts: A theory and simulation of some basic semantic capabilities
QuoteRef: quinS12_1991 ;;Quinlan, S., A cached WORM file system
QuoteRef: quinV8_2007 ;;Quint, V., Vatton, I., Editing with style [NewQuotes]
QuoteRef: quinWV2_1937 ;;Quine, W.V., New foundations for mathematical logic
QuoteRef: quinWV_1947 ;;Quine, W.V., Quine, W.V., Reference and modality
QuoteRef: quinWV2_1947 ;;Quine, W.V., Quine, W.V., Logic and the reification of universals
QuoteRef: quinWV_1950 ;;Quine, W.V., Identity, ostension, and hypostasis
QuoteRef: quinWV1_1951 ;;Quine, W.V., Two dogmas of empiricism
QuoteRef: quinWV8_1951 ;;Quine, W.V., Quine, W.V., The problem of meaning in linguistics
QuoteRef: quinWV_1956 ;;Quine, W.V., Quantifiers and propositional attitudes
QuoteRef: quinWV_1960 ;;Quine, W.V.O., Word and Object [NewQuotes]
QuoteRef: quinWV_1969 ;;Quine, W. van O., Set Theory and Its Logic
QuoteRef: quisJJ11_1991 ;;Quisquater, J.-J., Desmedt, Y.G., Chinese lotto as an exhaustive code-breaking machine
QuoteRef: raanRK1_2002 ;;Raanaas, R.K. et al., The expanding telephone number: Immediate memory for multiple-digit numbers
QuoteRef: raatP_1998 ;;Raatikainen, P., Complexity and information -- A critical evaluation of algorithmic information theory
QuoteRef: rabiH8_1984 ;;Rabich, H., letter to the editor
QuoteRef: rabiMO4_1959 ;;Rabin, M.O., Scott, D., Finite automata and their decision problems [ExtraQuote]
QuoteRef: rabiMO8_1974 ;;Rabin, M.O., Theoretical impediments to artificial intelligence
QuoteRef: rabiMO4_1989 ;;Rabin, M.O., Efficient dispersal of information for security, load balancing, and fault tolerance
QuoteRef: rabiMO10_2005 ;;Rabin, M.O., Shasha, D.E., Preventing piracy while preserving privacy
QuoteRef: rabkA5_2011 ;;Rabkin A., Katz, R., Static extraction of program configuration options
QuoteRef: radaR3_1993 ;;Rada, R., Retrieval hierarchies in hypertext
QuoteRef: radeC3_1997 ;;Rader, C. et al., Degrees of comprehension: Children's understanding of a visual Programming environment
QuoteRef: radiG1_1965 ;;Radin, G., Royway, H.P., Highlights of a new programming language
QuoteRef: raeA9_2003 ;;Rae, A. et al., Critical feature analysis of a radiotherapy machine
QuoteRef: ragaJ1_2018 ;;Ragan-Kelly, J. et al., Halide: decoupling algorithms from schedules for high-performance image processing [NewQuotes]
QuoteRef: rahiSK_1982 ;;Rahimi, S.K., Franta, W.R., Fair timestamp allocation in distributed systems
QuoteRef: rainM1_1973 ;;Rain, M., Operation expressions in Mary
QuoteRef: rajkR_1991 ;;Rajkumar, R., Synchronization in real-time systems: a priority inheritance approach
QuoteRef: ralsP8_2016 ;;Ralston, P. et al., Defeating counterfeiters with microscopic dielets embedded in electronic components
QuoteRef: ramaCV9_1980 ;;Ramamoorthy, C.V., Ho, G.S., Performance evaluation of asynchronous concurrent systems using Petri nets
QuoteRef: ramaGM1_2015 ;;Rama, G.M., Kak, A., Some structural measures of API usability [NewQuotes]
QuoteRef: ramaKK5_1990 ;;Ramakrishnan, K.K., Raj Jain, A binary feedback scheme for congestion avoidance in computer networks
QuoteRef: ramaMV6_1989 ;;Ramakrishna, M.V., Larson, P.-A., File organization using composite perfect hashing
QuoteRef: ramaMV4_1997 ;;Ramakrishna, M.V., Zobel, J., Performance in practice of string hashing functions
QuoteRef: ramaR8_2007 ;;Ramakrishnan, R., Tomkins, A., Toward a PeopleWeb
QuoteRef: ramaV9_2001 ;;Raman, V., Hellerstein, J.M., Potter's wheel: An interactive data cleaning system
QuoteRef: ramaV3_2004 ;;Ramasubramanian, V., Sirer, E. G., Beehive: O(1) lookup performance for power-law query distributions in peer-to-peer overlays
QuoteRef: ramsF9_2000 ;;Ramsak, F. et al., Integrating the UB-Tree into a database system kernel [OK]
QuoteRef: ramsHR5_1983 ;;Ramsey, H.R., Grimes, J.D., Human factors in interactive computer dialogue
QuoteRef: ramsHR6_1983 ;;Ramsey, H.R. et al., Flowcharts versus program design languages: An experimental comparison
QuoteRef: ramsN1_1995 ;;Ramsey, N., Fernandez, M.F., The New Jersey machine-code toolkit
QuoteRef: ramsN4_1996 ;;Ramsey, N., A simple solver for linear equations containing nonlinear operators
QuoteRef: ramsN5_1997 ;;Ramsey, N., Fernandez, M.F., Specifying representations of machine instructions
QuoteRef: ramsN6_2000 ;;Ramsey, N., Peyton Jones, S., A single intermediate language that supports multiple implementations of exceptions
QuoteRef: ramsN9_2005 ;;Ramsey, N., Dias, J., An applicative control-flow graph based on Huet's zipper
QuoteRef: randB6_1975 ;;Randell, B., System structure for software fault-tolerance
QuoteRef: randS_1957 ;;Sperry Rand, Remington Rand Univac, (Holt, A.W. and Turanski, W.), UNIVAC generalized programming
QuoteRef: rashRF11_1986 ;;Rashid, R.F., From RIG to Accent to Mach: The evolution of a network operating system
QuoteRef: raskA1_2008 ;;Raskin, A., The linguistic command line
QuoteRef: raskJ2_1997 ;;Raskin, J., Looking for a humane interface: Will computers ever become easy to use?
QuoteRef: raskJ_2000 ;;Raskin, J., The Humane Interface: New Directions for Designing Interactive Systems
QuoteRef: rathA2_1991 ;;Rathi, A. et al., Performance comparison of extendible hashing and linear hashing techniques
QuoteRef: rathED10_1976 ;;Rather, E.D., Moore, C.H., The Forth approach to operating systems
QuoteRef: rathED_1996 ;;Rather, E.D. et al., The evolution of Forth, with transcript of presentation
QuoteRef: rathS5_2015 ;;Parallel processing with Promises, Communications of the ACM
QuoteRef: rattJ3_1982 ;;Rattner, J., Hardware/Software cooperation in the iAPX-432
QuoteRef: rayD1_2012 ;;Ray, D., Ligatti, J., Defining code-injection attacks
QuoteRef: rayc10_2013 ;;Raychev, V. et al., Effective race detection for event-driven programs
QuoteRef: raymC3_1996 ;;Raymo, C., Deep Blue vs. human self-esteem
QuoteRef: raymDR7_1988 ;;Raymond, D.R., Tompa, F.W., Hypertext and the Oxford English Dictionary,
QuoteRef: raymES3_1998 ;;Raymond, E.S., The cathedral and the bazaar
QuoteRef: raynM2_1996 ;;Raynal, M., Singhai, M., Logical time: Capturing causality in distributed systems
QuoteRef: readC_1989 ;;Reade, C., Elements of functional programming
QuoteRef: reagJM_2010 ;;Reagle, J.M. Jr., Good faith collaboration: The culture of Wikipedia
QuoteRef: recoR_1543 ;;Recorde, R., The Grounde of Artes [NewQuotes]
QuoteRef: recoR_1557 ;;Recorde, R., The Whetstone of Witte [NewQuotes]
QuoteRef: redeDD2_1980 ;;Redell, D.D. et al., Pilot: an operating system for a personal computer
QuoteRef: redeDH7_1979 ;;Redelmeier, D.H., Eliminating the variable from Dijkstra's mini-language
QuoteRef: reedDP2_1979 ;;Reed, D.P., Kanodia, R.K., Synchronization with event counts and sequencers
QuoteRef: reedES_1984 ;;Reed, E.S., From action gestalts to direct action
QuoteRef: reenTM8_1981 ;;Reenskaug, T.M.H., User-oriented descriptions of Smalltalk Systems
QuoteRef: reevJW9_1992 ;;Reeves, J.W., What is software design [NewQuotes]
QuoteRef: regaJT8_2001 ;;Regan, J.T., Jensen, C.D., Capability file names: Separating authorization from user management in an Internet file system
QuoteRef: regeJ6_2005 ;;Regehr, J., Duongsaa, U., Preventing interrupt overload
QuoteRef: reghF2_2019 ;;Feghenzani, F. et al., The real-time Linux kernel: A survey on PREEMPT_RT [NewQuotes]
QuoteRef: reghSC1_2000 ;;Reghizzi, S.C. et al., Associative definition of programming languages
QuoteRef: reicC6_1991 ;;Reichenberger, C., Delta storage for arbitrary non-text files
QuoteRef: reicC10_2010 ;;Reichenbach, C. et al., What can the GC compute efficiently? A language for heap assertions at GC time
QuoteRef: reidBK_1980 ;;Reid, B.K., A high-level approach to computer document formatting
QuoteRef: reidJK6_1980 ;;Reid, J.K., Functions for manipulating floating-point numbers
QuoteRef: reihP6_1994 ;;Reiher, P. et al., Resolving file conflicts in the Ficus file system [NewQuotes]
QuoteRef: reinJ11_1971 ;;Reinfelds, J., A concept by concept description of the AMTRAN language
QuoteRef: reisSP5_2008 ;;Reiss, S.P., Tracking source locations
QuoteRef: rellN3_1981 ;;Relles, N., Price, L.A., A user interface for online assistance
QuoteRef: remdJR11_1987 ;;Remde, J.R. et al., SuperBook: An automatic tool for information exploration -hypertext?
QuoteRef: remyD6_1992 ;;Remy, D., Efficient representation of extensible records
QuoteRef: renBM6_2016 ;;Ren, B.M., Foster, J.S., Just-in-time static type checking for dynamic languages
QuoteRef: renaK9_2001 ;;Renaud, K., Smith, E., Jiminy: helping users to remember their passwords
QuoteRef: reneR10_1988 ;;van Renesse, R. et al., Performance of the world's fastest distributed operating system
QuoteRef: reneR2_2015 ;;van Renesse, R., Altinbuken, D., Paxos made moderately complex
QuoteRef: repsT11_1987 ;;Reps, T., Teitelbaum, T., Language processing in program editors
QuoteRef: requJ_1984 ;;Requin, J. et al., Bernstein's purposeful brain
QuoteRef: resnM11_2009 ;;Resnick, M., et al, Scratch: programming for all
QuoteRef: resnMD_1980 ;;Resnik, M.D., Frege and the Philosophy of Mathematics
QuoteRef: rettM4_1994 ;;Rettig, M., Prototyping for tiny fingers
QuoteRef: reynCF3_1971 ;;Reynolds, C.F., The importance of flexibility
QuoteRef: reynCF11_1971 ;;Reynolds, C.F., Codil. Part II, The Codil language and its interpreter
QuoteRef: reynJC_1965 ;;Reynolds, J.C., An introduction to the Cogent programming system
QuoteRef: reynJC5_1970 ;;Reynolds, J.C., Gedanken-- a simple typeless language based on the p? of completeness and the reference concept
QuoteRef: reynJC8_1972 ;;Reynolds, J.C., Definitional interpreters for higher-order programming languages
QuoteRef: reynJC9_1983 ;;Reynolds, J.C., Types, abstraction and parametric polymorphism
QuoteRef: reynRG11_1987 ;;Reynolds, R.G., The partial metrics system: Modeling the stepwise refinement process using partial metrics
QuoteRef: rheaS3_2003 ;;Rhea, S. et al., Pond: the OceanStore prototype
QuoteRef: richC8_1988 ;;Rich, C., Waters, R.C., Automatic programming: Myths and prospects
QuoteRef: richC2_2011 ;;Richter, C., Lipson, H., Untethered hovering flapping flight of a 3d-printed mechanical insect
QuoteRef: richE_1178 ;;Richard of Ely, Dialogue concerning the Exchequer [OK NewQuotes]
QuoteRef: richEA_1985 ;;Rich, E.A., member of, Panel Session: Comparative application of computer languages to practical problems
QuoteRef: richF12_1977 ;;Richard, F., Ledgard, H.F., A reminder for language designers
QuoteRef: richG9_1975 ;;Richter, G., On the relationship between information and data
QuoteRef: richG1_2010 ;;Richards, G. et al., An analysis of the dynamic behavior of JavaScript programs
QuoteRef: richH7_1985 ;;Richter, H., Noncorrecting syntax error recovery
QuoteRef: richJT11_2014 ;;Richards, J.T. et al., A decade of progress in parallel programming productivity
QuoteRef: richM_1974 ;;Richards, M. et al., The BCPL reference manual
QuoteRef: ricoF6_1994 ;;Rico, F., Sanvicente, E., A very fast method for verifying digital signatures
QuoteRef: ridjD6_1983 ;;Ridjanovic, D., Brodie, M.L., Action and transaction skeletons: High level language constructs for database transactions
QuoteRef: ridoJ5_2010 ;;Ridoux, J., Veitch, D., Principles of robust timing over the Internet
QuoteRef: riefE9_2000 ;;Rieffel, E., Polak, W., An introduction to quantum computing for non-physicists
QuoteRef: riehRD1_2021 ;;Riehle, R.D., Michael, J.B., Improving the trustworthiness of software through rigorous data type design [NewQuotes]
QuoteRef: riemB_1854 ;;Riemann, B., On the hypotheses that lie at the foundations of geometry [NewQuotes]
QuoteRef: rigbPC11_2012 ;;Rigby, P.C. et al., Contemporary peer review in action: Lessons from open source development
QuoteRef: riggM3_2018 ;;Rigger, M. et al., An analysis of x86-64 inline assembly in C programs [NewQuotes]
QuoteRef: rinaM6_2004 ;;Rinard, M. et al., Enhancing availability and security through failure-oblivious computing
QuoteRef: riplGD3_1978 ;;Ripley, G.D. et al., Performance of storage management in an implementation of SNOBOL4
QuoteRef: riskJ_2016 ;;Riskin, J., The Restless Clock. A history of the centuries-long argument over what makes living things tick. [NewQuotes]
QuoteRef: rissJ12_2006 ;;Risson, J., Moors, T., Survey of research towards robust peer-to-peer networks: Search methods
QuoteRef: ristD10_2008 ;;Ristanovic, D., Protic, J., The book cipher algorithm
QuoteRef: ritcDM7_1978a ;;Ritchie, D.M., Thompson, K., The UNIX time-sharing system
QuoteRef: ritcDM7_1978b ;;Ritchie, D.M., UNIX time-sharing system: A retrospective
QuoteRef: ritcDM7_1978c ;;Ritchie, D.M. et al., UNIX time-sharing system: The C programming language
QuoteRef: ritcDM_1979 ;;Ritchie, D.M., The UNIX I/O system
QuoteRef: ritcDM_1996 ;;Ritchie, D.M., The development of the C programming language, with transcript of presentation
QuoteRef: rittHW6_1973 ;;Rittel, H.W.J., Webber, M.M., Dilemmas in a general theory of planning
QuoteRef: riveRL4_1996 ;;Rivest, R.L., Lampson, B., SDSI--A simple distributed security infrastructure
QuoteRef: rizzL4_1997 ;;Rizzo, L., A very fast algorithm for RAM compression
QuoteRef: rizzL3_2012 ;;Rizzo, L., Revisiting network I/O APIs: The netmap framework
QuoteRef: roacJW10_1987 ;;Roach, J.W., Boaz, M.N., Coordinating the motions of robot arms in a common workspace
QuoteRef: robbFE_1926 ;;Robbins, F.E. et al., Studies in Greek mathematics
QuoteRef: robbR6_2010 ;;Robbes, R., Lanza, M., Improving code completion with program history
QuoteRef: robeG5_1981 ;;Robertson, G. et al., The ZOG approach to man-machine communication
QuoteRef: robeJD10_1981 ;;Roberts, J.D., Naming by colours: a graph-theoretic approach to distributed systems
QuoteRef: robeN12_1984 ;;Roberts, N., The pre-history of the information retrieval thesaurus
QuoteRef: robiA_1963 ;;Robinson, A., Introduction to model theory and the metamathematics of algebra [NewQuotes]
QuoteRef: robiJA1_1965 ;;Robinson, J.A., A machine-oriented logic based on the resolution principle
QuoteRef: robiKA8_1979 ;;Robinson, K.A., An Entity/Event data modeling method
QuoteRef: robiL9_1975 ;;Robinson, L. et al., A formal methodology for the design of operating system software
QuoteRef: robiM1_2000 ;;Robinson, M. et al., Diary as dialogue in papermill process control
QuoteRef: robsD8_1981 ;;Robson, D., Object-oriented software systems
QuoteRef: rochJA6_1989 ;;Rochlis, J.A., Eichin, M.W., With microscope and tweezers: The worm form MIT's perspective
QuoteRef: rodrNR8_1993 ;;Rodriguez, N. de La Rocque et al., Types in School
QuoteRef: roetFJ_1941 ;;Roethlisberger, F.J., Dickson, W.J., Management and the worker: An account of a research program conducted by the Western Electric Company, Hawthorne Works, Chicago [NewQuotes]
QuoteRef: roetFJ_1949 ;;Roethlisberger, F.J. et al., Management and the Worker. An Account of a Research Program Conducted by the Western Electric Company, Hawthorne Works, Chicago [NewQuotes]
QuoteRef: rogePM_1853 ;;Roget, P.M., Thesaurus of English words and phrases, classified and arranged so as to facilitate the expression of ideas and assist in literary composition [OK]
QuoteRef: rohdWF12_1979 ;;Rohde, W.F., Language tools for data access... Past, present and future
QuoteRef: rohmJ_1979 ;;Rohmer, J., APL2M A general computer aided software engineering environment for mini and microcomputers
QuoteRef: rojaR3_1998 ;;Rojas, R., How to make Zuse's Z3 a universal computer
QuoteRef: rojaR9_2000 ;;Rojas, R., Simulating Konrad Zuse's Computers
QuoteRef: romeM5_2018 ;;Romero, M., My users taught me to read with my ears [NewQuotes]
QuoteRef: rompT10_2010 ;;Rompf, T., Odersky, M., Lightweight modular staging: A pragmatic approach to runtime code generation and compiled DSLs [NewQuotes]
QuoteRef: rompT1_2013 ;;Rompf, T. et al., Optimizing data structures in high-level programs
QuoteRef: rompT8_2015 ;;Rompf, T., Amin, N., Functional pearl: A SQL to C compiler in 500 lines of code
QuoteRef: roscE_1975 ;;Rosch, E., Mervis, C.B., Family resemblances: studies in the internal structure of categories
QuoteRef: roscE10_1975 ;;Rosch, E., Mervis, C.B., Family resemblances: studies in the internal structure of categories
QuoteRef: roscE7_1976 ;;Rosch, E. et al., Basic objects in natural categories
QuoteRef: roseBK1_1988 ;;Rosen, B.K. et al., Global value numbers and redundant computations
QuoteRef: roseM10_1991 ;;Rosenblum, M., Ousterhout, J.K., The design and implementation of a log-structured file system
QuoteRef: roseM2_1992 ;;Rosenblum, M., Ousterhout, J.K., The design and implementation of a log-structured file system
QuoteRef: roseR_1991 ;;Rosen, R., Life Itself: A comprehensive inquiry into the nature, origin, and fabrication of life [NewQuotes]
QuoteRef: roseS_2007 ;;Rosenberg, S., Dreaming in Code
QuoteRef: rossCJ1_2010 ;;Rossbach, C.J. et al., Is transactional programming actually easier?
QuoteRef: rossDT3_1957 ;;Ross, D.T., Design of special language for machine-tool programming
QuoteRef: rossDT3_1961 ;;Ross, D.T., A generalized technique for symbol manipulation and numerical calculation
QuoteRef: rossDT_1963 ;;Ross, D.T., Rodriguez, J.E., Theoretical foundations for the computer-aided design system
QuoteRef: rossDT5_1964 ;;Ross, D.T., Feldmann, C.G., Verbal and graphical language for the AED system: a progress report
QuoteRef: rossDT_1967 ;;Ross, D.T., The AED approach to generalized computer aided design
QuoteRef: rossDT_1970 ;;Ross, D.T., Uniform referents: an essential property for a software engineering language
QuoteRef: rossDT5_1975 ;;Ross, D.T. et al., Software engineering: process, principles and goals
QuoteRef: rossDT11_1976 ;;Ross, D.T., Homilies for humble standards
QuoteRef: rossDT1_1977 ;;Ross, D.T., Structured analysis (SA): a language for communicating ideas
QuoteRef: rossDT1_1977a ;;Ross, D.T., Schoman, K.E. Jr., Structured analysis for requirements definition
QuoteRef: rossJP_1970 ;;Rossiensky, J.P., Tixier, V., A kernal approach to system programming SAM
QuoteRef: rothJ12_2002 ;;Rothe, J., Some facets of complexity theory and cryptography: a five-lecture tutorial
QuoteRef: rothMA12_1985 ;;Roth, M.A. et al., Null values in .not.1NF relational databases
QuoteRef: rothMA12_1988 ;;Roth, M.A. et al., Extended algebra and calculus for nested relational databases
QuoteRef: rotmB_1993 ;;Rottman, B., Ad Infinitum ... The Ghost in Turing's Machine
QuoteRef: rotmB_1993x ;;Rotman, B., Ad Infiinitum: The Ghost in Turing's Machine [NewQuotes]
QuoteRef: rounKA10_2013 ;;Roundy, K.A., Miller, B.P., Binary-code obfuscations in prevalent packer tools
QuoteRef: rousN12_1986 ;;Roussopoulos, N., Kang, H., Principles and techniques in the design of ADMS+-
QuoteRef: rovnPD_1968 ;;Rovner, P.D., Feldman, J.A., The Leap language and data structure
QuoteRef: roycWW8_1970 ;;Royce, W.W., Managing the development of large software systems
QuoteRef: rozeRH_1984 ;;Rozendal, R.H., Biodynamics of locomotion, forty years later
QuoteRef: rtl2 ;;Imperial Chemical Industries limited, Rtl/2
QuoteRef: rubiAD11_2000 ;;Rubin, A.D., Kerberos versus the Leighton-Micali protocol
QuoteRef: rubiAD12_2002 ;;Rubin, A.D., Security considerations for remote electronic voting
QuoteRef: rugiR4_2001 ;;Rugina, R., Rinard, M., Design-driven compilation
QuoteRef: rugiR3_2005 ;;Rugina, R., Rinard, M.C., Symbolic bounds analysis of pointers, array indices, and accessed memory regions
QuoteRef: ruhlRC11_1976 ;;Ruhl, R.C., The CONTROL language challenges high-level compilers and programmable controllers
QuoteRef: ruprA3_2018 ;;Ruprecht, A. et al., VM live migration at scale [NewQuotes]
QuoteRef: rushA7_1986 ;;Rushinek, A., Rushinek, S.F., What makes users happy?
QuoteRef: rushJ7_1983 ;;Rushby, J., Randell, B., A distributed secure system
QuoteRef: rushJ12_1991 ;;Rushby, J., von Henke, F., Formal verification of algorithms for critical systems
QuoteRef: russB6_1902 ;;Russell, B., Letter to Frege, and Frege's Letter to Russell
QuoteRef: russB7_1908 ;;Russell, B., Mathematical logic as based on the theory of types [NewQuotes]
QuoteRef: russB_1912 ;;Russel, B., Problems of Philosophy [OK]
QuoteRef: russB_1919 ;;Russell, B., Introduction to Mathematical Philosophy [OK]
QuoteRef: russB_1937 ;;Russell, B., A critical exposition of the philosophy of Leibniz
QuoteRef: russB_1938 ;;Russell, B., Principles of Mathematics [NewQuotes]
QuoteRef: russB_1956 ;;Russell, B., On denoting
QuoteRef: russDL3_1980 ;;Russell, D.L., State restoration in systems of communicating processes
QuoteRef: russGW1_1991 ;;Russell, G.W., Experience with inspection in ultralarge-scale developments
QuoteRef: russLM10_2006 ;;Russo, L.M.S., Oliveira, A.L., A compressed self-index using a Ziv-Lempel dictionary
QuoteRef: rusuLI11_2005 ;;Rusu, L.I. et al., Maintaining versions of dynamic XML documents
QuoteRef: rutaN11_2004 ;;Rutar, N. et al., A comparison of bug finding tools for Java
QuoteRef: rutkC10_1982 ;;Rutkowski,, C., An introduction to the human applications standard computer interface Part 1: Theory and principles.
QuoteRef: ruwaO2_2004 ;;Ruwase, O., Lam, M.S., A practical dynamic buffer overflow detector
QuoteRef: rybn1_2021 ;;, Human perceptron [NewQuotes]
QuoteRef: rymaJW3_1982 ;;Rymarczyk, J.W., Coding guidelines for pipelined processors
QuoteRef: ryzhL4_2008 ;;Ryzhyk, L. et al., Dingo: taming device drivers [NewQuotes]
QuoteRef: ryzhL8_2010 ;;Ryzhyk, L. et al., The case for active device drivers
QuoteRef: rzevG_1984 ;;Rzevski, G., Road, P., Prototypes versus pilot systems: strategies for evolutionary information system development

Related up

ThesaHelp: references a-b
ThesaHelp: references c-d
ThesaHelp: references e-f
ThesaHelp: references g-h
ThesaHelp: references i-l
ThesaHelp: references m-o
ThesaHelp: references sa-sz
ThesaHelp: references t-z

Updated barberCB 4/23
Copyright © 2002-2023 by C.B. Barber
Thesa, Avev, and thid-... are trademarks of C.B. Barber