Map
Index
Random
Help
Group
Notes
Related
th

ThesaHelp: references sa-sz

topic root > Group: all references


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

--referenced--
all Thesa topics

Summary

Quotation references starting with 's'.

Group members up

QuoteRef: sachP9_1995 ;;Sachs, P., Transforming work: Collaboration, learning, and design
QuoteRef: sackH1_1968 ;;Sackman, H. et al., Exploratory experimental studies comparing online and offline programming performance
QuoteRef: sackH_1970 ;;Sackman, H., Man-computer problem solving: Experimental evaluation of time-sharing and batch processing
QuoteRef: sahaS4_2011 ;;Saha, S. et al., An approach to improving the structure of error-handling code in the Linux kernel
QuoteRef: sahoSK3_2013 ;;Sahoo, S.K. et al., Using likely invariants for automated software fault localization
QuoteRef: saitY3_2005 ;;Saito, Y., Shapiro, M., Optimistic replication
QuoteRef: sakrSS10_2013 ;;Sakr, S.S. et al., The family of MapReduce and large-scale data processing systems
QuoteRef: saliK_1986 ;;Salisbury, K. et al., Integrated language, sensing, and control for a robot hand
QuoteRef: saltG4_1970 ;;Salton, G., Automatic text analysis
QuoteRef: saltG7_1986 ;;Salton, G., Another look at automatic text-retrieval systems
QuoteRef: saltJH9_1975 ;;Saltzer, J.H., Schroeder, M.D., The protection of information in computer systems
QuoteRef: saltJH_1979 ;;Saltzer, J.H., Naming and binding of objects
QuoteRef: saltJH11_1984 ;;Saltzer, J.H. et al., End-to-end arguments in system design
QuoteRef: saltRM_1980 ;;Salter, R.M. et al., Concur: a language for continuous, concurrent processes
QuoteRef: samaM10_2014 ;;Samak, M., Ramanathan, M.K., Multithreaded test synthesis for deadlock detection
QuoteRef: samaM11_2016 ;;Samak, M. et al., Directed synthesis of failing concurrent executions [NewQuotes]
QuoteRef: sameK2_1960 ;;Samelson, K., Bauer, F.L., Sequential formula translation
QuoteRef: sammJE5_1962 ;;Sammet, J.E., Basic elements of COBOL 61
QuoteRef: sammJE_1969 ;;Sammet, J.E., Programming Languages--history and fundamentals
QuoteRef: sammJE7_1972 ;;Sammet, J.E., Programming languages: history and future
QuoteRef: sampAD11_1986 ;;Samples, A.D. et al., SOAR: Smalltalk without bytecodes
QuoteRef: samuP12_1991 ;;Samuelson, P., Glushko, R.J., Intellectual property rights for digital library and hypertext publishing systems: An analysis of Xanadu
QuoteRef: sancF_1581 ;;Sanches, F., Quod nihil scivur [NewQuotes]
QuoteRef: sandD1_1982 ;;Sandberg, D., Lithe: A language combining a flexible syntax and classes
QuoteRef: sandE3_1978 ;;Sandewall, E., Programming in an interactive environment
QuoteRef: sandE1_1987 ;;Sandberg-Diment, E., Hazy maze of Buttons
QuoteRef: sandRS2_1996 ;;Sandu, R.S. et al., Role-based access control models [NewQuotes]
QuoteRef: sanfLS6_1972 ;;Sanford, L.S., Array pattern matching
QuoteRef: sankS3_1991 ;;Sankar, S., Rosenblum, D.S., Surveyors' Forum: Runtime checking and debugging of formally specified programs
QuoteRef: santDS12_1999 ;;Santry, D.S. et al., Deciding when to forget in the Elephant file system
QuoteRef: santRCM6_2018 ;;Santos, R.C.M. et al., A memory-bounded, deterministic and terminating semantics for the synchronous programming language Ceu [NewQuotes]
QuoteRef: sapiE_1921 ;;Sapir, E., Language: An introduction to the study of speech [OK NewQuotes]
QuoteRef: sariS10_1985 ;;Sarin, S., Greif, I., Computer-based real-time conferencing systems
QuoteRef: sarkS1_2009 ;;Sarkar, S. et al., The semantics of x86-CC multiprocessor machine code
QuoteRef: sarkS6_2011 ;;Sarkar, S. et al., Understanding POWER multiprocessors
QuoteRef: sartJB6_2010 ;;Sartor, J.B. et al., Z-rays: divide arrays and conquer speed and flexibility
QuoteRef: sassC7_2000 ;;Sassenrath, C., The REBOL scripting language
QuoteRef: sattEH5_1975 ;;Satterthwaite, E.H. Jr., Source language debugging tools
QuoteRef: satyM8_1989 ;;Satyanarayanan, M., Integrating security in a large distributed system [ExtraQuote]
QuoteRef: satyM4_1990 ;;Satyanarayanan, M. et al., Coda: A highly available file system for a distributed workstation environment
QuoteRef: satyM1_1992 ;;Satyanarayanan, M., The influence of scale on distributed file system design
QuoteRef: sausF_1916 ;;de Saussure, F., Cours de linguistique generale [NewQuotes]
QuoteRef: savoT5_2016 ;;Savor, T. et al., Continuous deployment at Facebook and OANDA [NewQuotes]
QuoteRef: sayeDL_1941 ;;Sayers, D.L., The Mind of the Maker [NewQuotes]
QuoteRef: scafC5_2008 ;;Scaffidi, C. et al., Topes: Reusable abstractions for validating data
QuoteRef: scanDA3_1988 ;;Scanlan, D.A., Learner preference for using structured flowcharts vs. pseudocode when comprehending short, relatively complex algorithms: A summary analysis
QuoteRef: scanDA9_1989 ;;Scanlan, D.A., Structured flowcharts outperform pseudocode: An experimental comparison
QuoteRef: scarDP4_2008 ;;Scarpazza, D.P. et al., String search on multicore processors
QuoteRef: schaBR11_1987 ;;Schatz, B.R., Telesophy: A system for manipulating the knowledge of a community
QuoteRef: schaH1_2001 ;;Schaumburg, H., Computers as tools or as social actors? -- The users' perspective on anthropomorphic agents
QuoteRef: schaR12_1984 ;;Schank, R., The overselling of AI
QuoteRef: schaRC_1981 ;;Schank, R.C., Riesbeck, C.K., Inside computer understanding. Five programs plus miniatures
QuoteRef: schaSR2_2002 ;;Schach, S.R. et al., Maintainability of the Linux kernel
QuoteRef: scheRR11_2016 ;;Schell, R.R., Cyber defense triad for where security matters
QuoteRef: scheS8_2010 ;;Schechter, S. et al., Popularity is everything: A new approach to protecting passwords from statistical-guessing attacks
QuoteRef: scheWL9_1983 ;;Scherlis, W.L., Scott, D.S., First steps towards inferential programming
QuoteRef: scheWN5_2009 ;;Scherer, W.N. III et al., Scalable synchronous queues
QuoteRef: schiJ1_2002 ;;Schindler, J. et al., Track-aligned extents: Matching access patterns to disk drive characteristics
QuoteRef: schiR4_1980 ;;Schild, R., Lienhard, H., Real-time programming in PORTAL
QuoteRef: schkE2_2016 ;;Schkufza, E. et al., Stochastic program optimization
QuoteRef: schlT3_2017 ;;Schlossnagle, T., Time, but faster
QuoteRef: schlT7_2021 ;;Schlossnagle, T. et al., Always-on time-series database: keeping up where there's no way to catch up [NewQuotes]
QuoteRef: schmU3_1997 ;;Schmid, U., Schossmaier, K., Interval-based clock synchronization
QuoteRef: schmWF1_1988 ;;Schmitt, W.F., The UNIVAC SHORT CODE
QuoteRef: schnB1_1997 ;;Schneier, B., Whiting, D., Fast software encryption: designing encryption algorithms for optimal software speed on the Intel Pentium processor
QuoteRef: schnB8_1999 ;;Schneier, B, The uses and abuses of biometrics
QuoteRef: schnB_2000 ;;Schneier, B., Secrets and Lies. Digital security in a networked world
QuoteRef: schnFB4_1998 ;;Schneider, F.B., On concurrent programming
QuoteRef: schnM3_1993 ;;Schneider, M., Self-stabilization
QuoteRef: schoDV9_1966 ;;Schorre, D.V., Improved organization for procedural language
QuoteRef: scholF8_2002 ;;Scholer, F. et al., Compression of inverted indexes for fast query evaluation
QuoteRef: schrB2_2011 ;;Schroeder, B. et al., DRAM errors in the wild: a large-scale field study
QuoteRef: schrMD2_1984 ;;Schroeder, M.D. et al., Experience with Grapevine: the growth of a distributed system
QuoteRef: schuJR9_1979 ;;Schultz, J.R., Davis, L., The technology of PROMIS
QuoteRef: schuKB3_2007 ;;Schurmann, K.-B., Stoye, J., An incomplex algorithm for fast suffix array construction
QuoteRef: schuSA_1970 ;;Schuman, S.A., Jorrand, P., Definition mechanisms in extensible programming languages
QuoteRef: schw7_2010 ;;Schwegman, J., The "system" as a reading technology: Pedagogy and philosophical criticism in Condillac's Traite des systemes [NewQuotes]
QuoteRef: schwB10_2002 ;;Schwarz, B. et al., Disassembly of executable code revisited
QuoteRef: schwJ_1980 ;;Schwartz, J. et al., Programming languages
QuoteRef: schwJ_1987 ;;Schwartz, J., Limits of artificial intelligence
QuoteRef: schwJI10_1969 ;;Schwartz, J.I., Analyzing large-scale system development [NewQuotes]
QuoteRef: schwJT_1972 ;;Schwartz, J.T., Semantic definition methods and the evolution of programming languages
QuoteRef: schwJT_1973 ;;Schwartz, J.T., On programming: an interium report on the SETL project. Installment II: the SETL language and examples of its use
QuoteRef: schwJT_1978 ;;Schwartz, J.T., Program genesis and the design of programming languages
QuoteRef: schwJT10_1980 ;;Schwartz, J.T., Ultracomputers
QuoteRef: schwK8_1992 ;;Schwan, K., Zhou, H., Dynamic scheduling of hard real-time tasks and real-time threads
QuoteRef: schwRL1_1979 ;;Schwartz, R.L., Berry, D.M., A semantic view of Algol 68
QuoteRef: schwRL3_1981 ;;Schwartz, R.L., Melliar-Smith, P.M., The finalization operation for abstract types
QuoteRef: scotD_1970 ;;Scott, D., Outline of a mathematical theory of computation
QuoteRef: scotD8_1971 ;;Scott, D., Strachey, C., Toward a mathematical semantics for computer languages
QuoteRef: scotD6_1972 ;;Scott, D., Data types as lattices or the study of the logical types of structured data
QuoteRef: scotD9_1976 ;;Scott, D., Data types as lattices
QuoteRef: scotE9_2010 ;;Scott, E., Johnstone, A., GLL parsing [NewQuotes]
QuoteRef: scotJD_1300 ;;Scotus, J.D., Ordinatio I [NewQuotes]
QuoteRef: scotJD_1300a ;;Duns Scotus, J., Concerning Metaphysics [NewQuotes]
QuoteRef: scotJD_1300b ;;Duns Scotus, J., Man's Natural Knowledge of God [NewQuotes]
QuoteRef: scotJD_1300c ;;Duns Scotus, J., The existence of God [NewQuotes]
QuoteRef: scotJD_1300d ;;Duns Scotus, J., The unicity of God [NewQuotes]
QuoteRef: scotJD_1301 ;;Scotus, J.D., Lectura I [NewQuotes]
QuoteRef: scotJD_1302 ;;Scotus, J.D., Reportatio IA (personally examined and corrected report of Scotus' questions on book 1 of Peter's Sentences, Paris, France) [NewQuotes]
QuoteRef: scotJD_1306 ;;Scotus, J.D., Quodlibet [NewQuotes]
QuoteRef: scowRS5_1973 ;;Scowen, R.S., Wichmann, B.A., The definition of comments in programming languages
QuoteRef: scowRS_1979 ;;Scowen, R.S., A new techniques for improving the quality of computer programs
QuoteRef: scowRS3_1982 ;;Scowen, R.S., A standard syntactic metalanguage
QuoteRef: scowRS3_1982b ;;Scowen, R.S., Ciechanowicz, Z.J., Seven sorts of programs
QuoteRef: sculZ1_2017 ;;Scully, Z., Chlipala, A., A program optimization for automatic database result caching [NewQuotes]
QuoteRef: seacRC4_2017 ;;Seacord, R.C., Uninitialized reads [NewQuotes]
QuoteRef: searA7_1993 ;;Sears, A., Layout appropriateness: A metric for evaluating user interface widget layout
QuoteRef: searA3_1994 ;;Sears, A., Shneiderman, B., Split menus: effectively using selection frequency to organize menus
QuoteRef: searCB10_2000 ;;Sears, C.B., The elements of cache programming style
QuoteRef: searJR_1958 ;;Searle, J.R., Proper names
QuoteRef: searJR_1983 ;;Searle, J.R., Proper names and intentionality
QuoteRef: searJR_1984 ;;Searle, J.R., Minds, Brains and Science
QuoteRef: searJR1_1990 ;;Searle, J.R., Is the brain's mind a computer program
QuoteRef: searJR_1992 ;;Searle, J.R., The Rediscovery of the Mind
QuoteRef: searR5_2012 ;;Sears, R., Ramakrishnan, R., bLSM: A general purpose log structured merge tree
QuoteRef: sebbM_1997 ;;Sebba, M., Contact Languages: Pidgins and Creoles
QuoteRef: seedH_1971 ;;Seeds, H., Programming RPG. RPG II
QuoteRef: segaME3_1993 ;;Segal, M.E., Frieder, O., On-the-fly program modification: systems for dynamic updating
QuoteRef: seibP_2009 ;;Seibel, P., Coders at Work: Reflections on the Craft of Programming
QuoteRef: seiwC3_1996 ;;Seiwald, C., Inter-file branching: A practical method for representing variants
QuoteRef: selbRW9_1987 ;;Selby, R.W. et al., Cleanroom software development: An empirical evaluation
QuoteRef: seldJP_1980 ;;Seldin, J.P., Curry's Program [NewQuotes]
QuoteRef: seltM1_1995 ;;Seltzer, M. et al., File system logging versus clustering: a performance comparison
QuoteRef: senK6_2008 ;;Sen, K., Race directed random testing of concurrent programs
QuoteRef: senkME1_1973 ;;Senko, M.E. et al., Data structures and accessing in data-base systems
QuoteRef: seoH5_2014 ;;Seo, H. et al., Programmers' build errors: A case study (at Google)
QuoteRef: sepkD_2007 ;;Sepkoski, D., Nominalism and Constructivism in Seventeenth-Century Mathematical Philosophy
QuoteRef: sethA_2021 ;;Seth, A., Being You [NewQuotes]
QuoteRef: sethS9_2015 ;;Sethumadhavan, S. et al., Trustworthy hardware from untrusted components
QuoteRef: settTB1_1961 ;;Settle, T.B., An experiment in the history of science
QuoteRef: seveDG1_1983 ;;Severance, D.G., A practitioner's guide to data base compression
QuoteRef: seymJ12_1993 ;;Seymour, J., No Mo' Modes
QuoteRef: seymJ3_1994 ;;Seymour, J., Everything old is new again
QuoteRef: shaL9_1990 ;;Sha, L. et al., Priority inheritance protocols: An approach to real-time synchronization
QuoteRef: shaL6_1991 ;;Sha, L. et al., Real-time computing with IEEE Futurebus+
QuoteRef: shaL9_1993 ;;Sha, L., Sathaye, S.S., A systematic approach to designing distributed real-time systems
QuoteRef: shahR6_2012 ;;Shahriyar, R. et al., Down for the count? Getting reference counting back in the ring
QuoteRef: shahR10_2013 ;;Shahriyar, R. et al., Taking off the gloves with reference counting Immix
QuoteRef: shamA11_1979 ;;Shamir, A., How to share a secret
QuoteRef: shamA_1984 ;;Shamir, A., Identity-based cryptosystems and signature schemes
QuoteRef: shanAU9_1993 ;;Shankar, A.U., An introduction to assertional reasoning for concurrent systems
QuoteRef: shanCE6_1938 ;;Shannon, C.E., A symbolic analysis of relay and switching circuits
QuoteRef: shanCE7_1948 ;;Shannon, C.E., The mathematical theory of communication
QuoteRef: shanCE10_1949 ;;Shannon, C.E., Communication theory of secrecy systems
QuoteRef: shanCE3_1950 ;;Shannon, C.E., Programming a computer for playing chess
QuoteRef: shanCE1_1951 ;;Shannon, C.E., Prediction and entropy of printed English
QuoteRef: shanH8_1996 ;;Shang, H., Merrettal, T.H., Tries for approximate string matching
QuoteRef: shapJS1_2002 ;;Shapiro, J.S., Hardy, N., EROS: a principle-driven operating system from the ground up
QuoteRef: shapM8_1991 ;;Shapiro, M. et al., Robust, distributed references and acyclic garbage collection
QuoteRef: shapM1_2011 ;;Shapiro, M. et al., A comprehensive study of convergent and commutative replicated data types [NewQuotes]
QuoteRef: shapMW12_2004 ;;Shapiro, M.W., Self-healing in modern operating systems
QuoteRef: shapR_1986 ;;Shapiro, R., Origins. A skeptic's guide to the creation of life on earth
QuoteRef: sharR10_2015 ;;Sharma, R. et al., Conditionally correct superoptimization
QuoteRef: shasD_1985 ;;Shasha, D., NetBook -- a data model to support knowledge exploration
QuoteRef: shasD4_1986 ;;Shasha, D., When does non-linear text help?
QuoteRef: shasD12_1987 ;;Shasha, D. et al., What should knowledge exploration systems do?
QuoteRef: shasD_2004 ;;Shasha, D., Zhu, Y., High performance discovery in time series: Techniques and case studies
QuoteRef: shavMJ2_1980 ;;Shave, M.J.R., Problems of integrity and distributed databases
QuoteRef: shavN3_2011 ;;Shavit, N., Data structures in the multicore age
QuoteRef: shawC7_1987 ;;Shaw, C., Build a model of the application world before you begin designing your database-application system
QuoteRef: shawCJ_1963 ;;Shaw, C.J., Jovial--a programming language for real-time command systems
QuoteRef: shawM3_1976 ;;Shaw, M., Research directions in abstract data structures
QuoteRef: shawM6_1976 ;;Shaw, M., Abstraction and verification in ALPHARD: Design and verification of a tree handler
QuoteRef: shawM8_1976 ;;Shaw, M. et al., Abstraction and verification in Alphard: Iteration and generators
QuoteRef: shawM9_1978 ;;Shaw, M. et al., Tartan--Language design for the Ironman requirement: reference manual
QuoteRef: shawM3_1980 ;;Shaw, M., Wulf, W.A., Toward relaxing assumptions in languages and their implementations
QuoteRef: shelBA11_1978 ;;Shell, B.A., Median split trees: a fast lookup technique for frequently occurring keys
QuoteRef: shelBJ3_1998 ;;Shelburne, B.J., Burton, C.P., Early programs on the Manchester Mark I prototype
QuoteRef: shenT5_2011 ;;Sheng, T. et al., RACEZ: A lightweight and non-invasive race detection tool for production applications
QuoteRef: shenX1_2007 ;;Shen, X. et al., Locality approximation using time
QuoteRef: shepM11_1997 ;;Sheppard, M., Schofield, C., Estimating software project effort using analogies
QuoteRef: shepRN2_1967 ;;Shepard, R.N., Recognition memory for words, sentences, and pictures
QuoteRef: sherA5_2005 ;;Sherman, A. et al., ACMS: The Akamai configuration management system
QuoteRef: sherC_1940 ;;Sherrington, Charles, Man On His Nature
QuoteRef: sherC_1953 ;;Sherrington, C., Man on His Nature [NewQuotes]
QuoteRef: sherF11_2007 ;;Sheridan, F., Practical testing of a C99 compiler using output comparison
QuoteRef: shewJR5_1996 ;;Shewchuk, J.R., Robust adaptive floating-point geometric predicates
QuoteRef: shewJR6_2005 ;;Shewchuk, J.R., Star splaying: an algorithm for repairing Delaunay triangulations and convex hulls
QuoteRef: shiX1_2018 ;;Shi, X. et al., Graph processing on GPUs: a survey [NewQuotes]
QuoteRef: shiY10_2010 ;;Shi, Yao et al., Do I use the wrong definition? DefUse: Definition-use invariants for detecting concurrency and sequential bugs
QuoteRef: shibY6_2000 ;;Shibata, Y. et al., A Boyer-Moore type algorithm for compressed pattern matching
QuoteRef: shimBE3_1984 ;;Shimano, B.E. et al., VAL-II: A new robot control system for automatic manufacturing
QuoteRef: shimBE4_1987 ;;Shimano, B.E. et al., AIM: A task-level control system for assembly
QuoteRef: shipDW3_1981 ;;Shipman, D.W., The functional data model and the data language DAPLEX
QuoteRef: shipP8_2010 ;;Shipman, P., The animal connection and human evolution
QuoteRef: shneB_1982 ;;Shneiderman, B., The future of interactive systems and the emergence of direct manipulation
QuoteRef: shneB1_1982 ;;Shneiderman, B., Control flow and data structure documentation: Two experiments
QuoteRef: shneB8_1983 ;;Shneiderman, B., Direct manipulation: A step beyond programming languages
QuoteRef: shneB_1985 ;;Shneiderman, B., Overcoming limitations imposed by current programming languages
QuoteRef: shneB_1987 ;;Shneiderman, B., Designing the User Interface: Strategies for effective human-computer interaction
QuoteRef: shneB8_1987 ;;Shneiderman, B., User interface design and evaluation for an electronic encyclopedia
QuoteRef: shneB_1990 ;;Shneiderman, B., User interface races: Sporting competition for power users
QuoteRef: shneB1_1993 ;;Shneiderman, B., Beyond intelligent machines: just do it!
QuoteRef: shneB_1998 ;;Shneiderman, B., Designing the user interface: strategies for effective human-computer interaction
QuoteRef: shocJF9_1978 ;;Shoch, J.F., Inter-Network naming, addressing, and routing
QuoteRef: shocJF9_1979 ;;Shoch, J.F., An overview of the programming language Smalltalk-72
QuoteRef: shocJF12_1980 ;;Shoch, J.F., Hupp, J.A., Measured performance of an Ethernet local network
QuoteRef: shocJF3_1982 ;;Shoch, J.F., Hupp, J.A., The "Worm" programs--Early experience with a distributed computation
QuoteRef: shoeK7_1983 ;;Shoens, K., Leres, C., Mail reference manual
QuoteRef: shorJ9_2004 ;;Shore, J., Fail fast
QuoteRef: shotJ1_2013 ;;Shotton, J. et al., Real-time human pose recognition in parts from single depth images
QuoteRef: shreB5_2020 ;;Shrestha, B., Lin, H., Data-centric edge computing to defend power grids against IoT-based attacks [NewQuotes]
QuoteRef: shriE6_1999 ;;Shriver, E. et al., Why does file system prefetching work?
QuoteRef: shriS7_1982 ;;Shrivastava, S., Panzieri, F., The design of a reliable remote procedure call mechanism
QuoteRef: shriSK12_1979 ;;Shrivastava, S.K., Concurrent Pascal with backward error recovery: language features and examples
QuoteRef: shriSK7_1993 ;;Shrivastava, S.K. et al., The duality of fault-tolerant system structures
QuoteRef: shuR10_2016 ;;Shu, R. et al., A study of security isolation techniques [NewQuotes]
QuoteRef: shusL11_2015 ;;Shustek, L.,, An interview with Fred Brooks
QuoteRef: siedJ_2006 ;;Siedersleben, J., Errors and exceptions -- rights and obligations [NewQuotes]
QuoteRef: sierF5_2020 ;;Sierra-Arriaga, F. et al., Security issues and challenges for virtualization technologies [NewQuotes]
QuoteRef: sievMC1_1991 ;;Sievert, ME.C., Andrews, M.J., Indexing consistency in Information Science Abstracts
QuoteRef: silbA2_1980 ;;Silberschatz, A., Kieburtz, R.B., The external consistency of abstract data types
QuoteRef: silbA10_1991 ;;Silberschatz, A., Stonebraker, M., Database systems: Achievements and opportunities
QuoteRef: silvBA_1981 ;;Silverberg, B.A., An overview of the SRI hierarchical development methodology
QuoteRef: silvC9_1999 ;;Silverstein, C. et al., Analysis of a very large web search engine query log
QuoteRef: silvC_2002 ;;Silverstein, C., A practical perfect hashing algorithm
QuoteRef: simeJ1_2003 ;;Simeon, J., Wadler, P., The essence of XML
QuoteRef: simeME1_1973 ;;Sime, M.E. et al., Psychological evaluation of two conditional constructions used in computer languages
QuoteRef: simeME1_1977 ;;Sime, M.E. et al., Reducing programming errors in nested conditionals by prescribing a writing procedure
QuoteRef: simeME1_1977a ;;Sime, M.E. et al., Scope marking in computer conditionals--a psychological evaluation
QuoteRef: simmGF_1963 ;;Simmons, G.F., Introduction to topology and modern analysis
QuoteRef: simoAJ10_1998 ;;Simons, A.J.H., Borrow, copy or steal? Loans and larceny in the orthodox canonical form
QuoteRef: simoB10_2012 ;;Simons, B., Jones, D.W., Internet voting in the U.S.
QuoteRef: simoC12_1976 ;;Simonyi, C., Meta-programming: a software production method
QuoteRef: simoC8_1991 ;;Simonyi, C., Heller, M., The Hungarian revolution
QuoteRef: simoDJ9_1999 ;;Simons, D.J/, Chabris, C.F., Gorillas in our midst: sustained inattentional blindness for dynamic events
QuoteRef: simoHA_1981 ;;Simon, H.A., The sciences of the artificial, 2nd edition
QuoteRef: simscrip_1971 ;;Consolidated Analysis Centers, Inc., Simscript II.5 Reference Handbook
QuoteRef: singAK4_2017 ;;Singh, A.K. et al., A survey and comparative study of hard and soft real-time dynamic resource allocation strategies for multi-/many-core systems [NewQuotes]
QuoteRef: singB12_1982 ;;Singh, B. et al., A graphics editor for Benesh movement notation
QuoteRef: singJ9_2016 ;;Singh, J., Gupta, V., Text stemming: approaches, applications, and challenges [NewQuotes]
QuoteRef: singSN8_1999 ;;Singh, S.N., Dalal, N.P., Web home pages as advertisements
QuoteRef: sinhP1_2005 ;;Sinha, P., A memory-efficient doubly linked list
QuoteRef: siocAC10_1991 ;;Siochi, A.C., Enrich, R.W., Computer analysis of user interfaces based on repetition in transcripts of user sessions
QuoteRef: siskJE_1985 ;;Sisk, J.E., VarArsdale, S., Exploring the PICK Operating System [NewQuotes]
QuoteRef: siteRL8_1971 ;;Sites, R.L., Algol W reference manual
QuoteRef: siteRL12_1978 ;;Sites, R.L., Programming tools: statement counts and procedure timings
QuoteRef: siyH12_2001 ;;Siy, H., Votta, L., Does the modern code inspection have value?
QuoteRef: sjobDIK5_1994 ;;Sjoberg, D.I.K. et al., Thesaurus-based software environments [NewQuotes]
QuoteRef: skibP8_2008 ;;Skibinski, P. et al., Effective asymmetric XML compression
QuoteRef: skolH_1963 ;;Skolnik, H., Problems of the chemical literature and some solutions
QuoteRef: slatBM7_1986 ;;Slator, B.M. et al., Pygmalion at the interface
QuoteRef: slatJM_1988 ;;Slatin, J.M., Hypertext and the teaching of writing
QuoteRef: slivBW7_1993 ;;Slivka, B.W. et al., Inside MS-DOS 6
QuoteRef: sloaAP_1963 ;;Sloan, A.P., Jr., My Years with General Motors
QuoteRef: slutD8_1998 ;;Slutz, D., Massive stochastic testing of SQL [OK]
QuoteRef: slyeJH10_1998 ;;Slye, J.H., Elnozahy, E.N., Support for software interrupts in log-based rollback-recovery
QuoteRef: smaaB2_2006 ;;Smaalders, B., Performance anti-patterns
QuoteRef: smalC1_1997 ;;Small, C., Manley, S., A revisitation of kernel synchronization schemes
QuoteRef: smitBC1_1991 ;;Smith, B.C., The owl and the electric encyclopedia
QuoteRef: smitCP_1980 ;;Smith, C.P., A software science analysis of programming size
QuoteRef: smitD9_2016 ;;Smite, D., van Solingen, R., What's the true hourly cost of offshoring? [NewQuotes]
QuoteRef: smitDA1_2003 ;;Smith, D.A. et al., Croquet -- a collaborative system architecture
QuoteRef: smitDC6_1975 ;;Smith, D.C., Pygmalion: a creative programming environment
QuoteRef: smitDC_1982 ;;Smith, D.C. et al., The Star user interface: an overview
QuoteRef: smitDC4_1982 ;;Smith, D.C. et al., Designing the Star User Interface
QuoteRef: smitDC7_1994 ;;Smith, D.C. et al., KidSim: programming agents without a programming language
QuoteRef: smitDR11_1985 ;;Smith, D.R. et al., Research on knowledge-based software environments at Kestrel Institute
QuoteRef: smitJB6_1987 ;;Smith, J.B. et al., WE: A writing environment for professionals
QuoteRef: smitJM5_1978 ;;Smith, J.M., Principles of database conceptual design
QuoteRef: smitJM1_1981 ;;Smith, J.M., Consistency of models (chairman for session topic)
QuoteRef: smitJW_1970 ;;Smith, J.W., Joss-II: Design philosophy
QuoteRef: smitKE10_1987 ;;Smith, K.E., Zdonik, S.B., Intermedia: A case study of the differences between relational and object-oriented database systems
QuoteRef: smitMD6_2004 ;;Smith, M.D. et al., A generalized algorithm for graph-coloring register allocation
QuoteRef: smitMH8_2001 ;;Smith, M.H. et al., Events and constraints: A graphical editor for capturing logic requirements of programs
QuoteRef: smitRB10_1995 ;;Smith, R.B. et al., The Self-4.0 user interface: manifesting a system-wide vision of concreteness, uniformity, and flexibility
QuoteRef: smitWR10_1995 ;;Smith, W.R., Using a prototype-based language for user interface: the Newton project's experience
QuoteRef: smolP11_1987 ;;Smolensky, P. et al., Constraint-based hypertext for argumentation
QuoteRef: snelJL7_1997 ;;Snell, J.L., Ahead-of-time debugging, or programming not in the dark
QuoteRef: snodR5_1984 ;;Snodgrass, R., Monitoring in a software development environment: A relational approach
QuoteRef: snodR9_1986 ;;Snodgrass, R., Ahn, I., Temporal databases
QuoteRef: snowCR5_1994 ;;Snow, C.R., Whitfield, H., Simple authentication
QuoteRef: snowRA_1973 ;;Snowdon, R.A., Pearl--a system for the preparation and validation of structured programming
QuoteRef: sobeAE3_2002 ;;Sobel, A.E.K., Clarkson, M.R., Formal methods application: an empirical tale of software development
QuoteRef: sockGH7_2009 ;;Sockut, G.H., Iyer, B.R., Online reorganization of databases
QuoteRef: soetQD4_2017 ;;Soetens, Q.D. et al., Changes as first-class citizens: a research perspective on modern software tooling [NewQuotes]
QuoteRef: solaA6_2005 ;;Solar-Lezama, A. et al., Programming by sketching for bit-streaming programs
QuoteRef: solnN_1971 ;;Solntseff, N., Yegerski, A., A survey of extensible programming languages
QuoteRef: soloA12_2018 ;;Solovyev, A. et al., Rigorous estimation of floating-point round-off errors with symbolic Taylor expansions [NewQuotes]
QuoteRef: soloE11_1983 ;;Soloway, E. et al., Cognitive strategies and looping constructs: An empirical study
QuoteRef: soloE5_1984 ;;Soloway, E., A cognitively-based methodology for designing languages/environments/methodologies
QuoteRef: soloE9_1986 ;;Soloway, E., Learning to program = Learning to construct mechanisms and explanations.
QuoteRef: soloY10_2012 ;;Solodkyy, Y. et al., Open and efficient type switch for C++
QuoteRef: soloY10_2013 ;;Solodkyy, Y. et al., Open pattern matching for C++ [NewQuotes]
QuoteRef: soreT6_2016 ;;Sorensen, T, Donaldson, A.F., Exposing errors related to weak memory in GPU applications
QuoteRef: soroBI4_1983 ;;Soroka, B.I., What can't robot languages do?
QuoteRef: soukJ8_2007 ;;Soukup, J., Soukup, M., The inevitable cycle: graphical tools and programming paradigms
QuoteRef: sounN3_1988 ;;Soundararajan, N., Costello, R.L., Responsive sequential processes
QuoteRef: sousN_2015 ;;Sousanis, N., Unflattening [NewQuotes]
QuoteRef: sowaJF_1984 ;;Sowa, J.F., Conceptual Structures: Information processing in mind and machine
QuoteRef: sparK7_1972 ;;Sparck Jones, K., Some thesauric history
QuoteRef: speaA12_2012 ;;Spear, A. et al., Using tracing to solve the multicore system debug problem
QuoteRef: specD3_1982 ;;Spector, D., Minimal overhead garbage collection of complex list structure
QuoteRef: specD1_1983 ;;Spector, D., The simplest functional programming language
QuoteRef: speeRD8_1969 ;;Speer, R.D., Strict control kept out semiconductor flaws [NewQuotes]
QuoteRef: speeTH_1986 ;;Speeter, T.H., Analysis and control of robotic manipulation
QuoteRef: speiM3_2022 ;;Speicher, M., We need to get rid of significance in A/B testing, seriously! [NewQuotes]
QuoteRef: spinD2_2000 ;;Spinellis, D., Reflection as a mechanism for software integrity verification
QuoteRef: spinD5_2008 ;;Spinellis, D., A tale of four kernels
QuoteRef: spinD3_2009 ;;Spinellis, D., Start with the most difficult part
QuoteRef: spinD11_2010 ;;Spinellis, D., Farewell to disks
QuoteRef: spivJM3_2004 ;;Spivey, J.M., Fast, accurate call graph profiling
QuoteRef: spooCR4_1986 ;;Spooner, C.R., The ML approach to the readable all-purpose language
QuoteRef: spooD6_2006 ;;Spoonhower, D. et al., Eventrons: a safe programming construct for high-frequency hard real-time applications
QuoteRef: spriJH10_2007 ;;Spring, J.H. et al., StreamFlex: High-throughput stream programming in Java
QuoteRef: srbaI7_2016 ;;Srba, I., Bielikova, M., Why is Stack Overflow failing? [NewQuotes]
QuoteRef: sridM8_2009 ;;Sridharan, M., Fink, S.J., The complexity of Andersen's analysis in practice [NewQuotes]
QuoteRef: sridV3_2015 ;;Sridharan, V. et al., Memory errors in modern systems: The good, the bad, and the ugly
QuoteRef: srihSN_1982 ;;Srihari, S.N. et al., Integration of bottom-up and top- down contextual knowledge in text error correction
QuoteRef: srivV6_2011 ;;Srivastava, V. et al., A security policy oracle: Detecting security holes using multiple API implementations
QuoteRef: stabL4_2011 ;;Stabile, L., Computing professionals [Letter to the Editor]
QuoteRef: stacZ2_2020 ;;Stachniak, Z., Learning from prototypes [NewQuotes]
QuoteRef: stalRM6_1981 ;;Stallman, R.M., EMACS The extensible, Customizable Self-documenting display editor
QuoteRef: stallRM6_1981 ;;Stallman, R.M., EMACS: the extensible, customizable self-documenting display editor
QuoteRef: stamRK7_1985 ;;Stamper, R.K, Towards a theory of information
QuoteRef: stanC12_1986 ;;Stanfill, C., Kahle, B., Parallel free-text search on the connection machine system
QuoteRef: stanJ6_2013 ;;Stanier, J., Watson, D., Intermediate representations in imperative compilers: A survey
QuoteRef: stanL_1973 ;;Standing, L., Learning 10,000 pictures
QuoteRef: stanT_1967 ;;Standish, T., A data definition facility for programming languages
QuoteRef: stanTA12_1971 ;;Standish, T.A., PPL - An extensible language that failed
QuoteRef: stanTA6_1975 ;;Standish, T.A., Extensibility in programming language design
QuoteRef: stavA3_2017 ;;Stavrou, A., Voas, J., Verified time
QuoteRef: stawPF_1954 ;;Stawson, P.F., Particular and general
QuoteRef: steeE11_2017 ;;Steel, E. et al., Hootsuite: in pursuit of reactive systems [NewQuotes]
QuoteRef: steeGL11_1977 ;;Steele, G.L.,Jr., Arithmetic shifting considered harmful
QuoteRef: steeGL5_1978 ;;Steele, G.L., RABBIT: A compiler for SCHEME (A dialect of LISP) A study in compiler optimization based on viewing lambda as rename and procedure call as goto using the techniques of macro definition of control and environment structures, source-to-source transformations, procedure integration, and tail-recursion
QuoteRef: steeGL10_1998 ;;Steele, G.L. Jr., Growing a language. Transcript of videotape
QuoteRef: steeGL10_2014 ;;Steele, G.L. Jr. et al., Fast splittable pseudorandom number generators
QuoteRef: steeGL3_2016 ;;Steele, G.L. Jr., Tristan, J.-B., Adding approximate counters
QuoteRef: stefA11_2013 ;;Stefik, A., Siebert, S., An empirical investigation into programming languages syntax
QuoteRef: stefD11_1999 ;;Stefanovic, D. et al., Age-based garbage collection
QuoteRef: stefM1_1987 ;;Stefik, M. et al., Beyond the chalkboard: Computer support for collaboration and problem solving in meetings
QuoteRef: steiM_1975 ;;Steiner, M., Mathematical Knowledge
QuoteRef: steiM_1998 ;;Steiner, M., The Applicability of Mathematics as a Philosophical Problem
QuoteRef: steiM_2011 ;;Steiner, M., Kripke on logicism, Wittgenstein, and de re beliefs about numbers
QuoteRef: steiP11_1975 ;;Stein, P., The FORTH dimension: mini language has many faces
QuoteRef: stemDW11_1986 ;;Stemple, D.W. et al., Functional addressing in Gutenberg: Interprocess communication without process identifiers
QuoteRef: stepPD8_1974 ;;Stephens, P.D., The IMP language and compiler
QuoteRef: sterTD11_1974 ;;Sterling, T.D., Guidelines for humanizing computerized information systems: A report from Stanley House
QuoteRef: stevS_1586 ;;Stevin, S, Anhang van de Weeghconst [NewQuotes]
QuoteRef: stevS_1605 ;;Stevin, S., Van den Hemelloop [NewQuotes]
QuoteRef: stevS_1608 ;;Stevin, S., De Thiende: The Art of Tenths [OK]
QuoteRef: stewG3_1983 ;;Stewart, G., A first look at Lisa
QuoteRef: stewG1_2015 ;;Stewart, G. et al., Compositional CompCert
QuoteRef: stewHD6_1979 ;;Stewart, H.D., letter to the editor
QuoteRef: stewI_2017 ;;Stewart, I., Infinity: A Very Short Introduction [NewQuotes]
QuoteRef: stieT_1985 ;;Stiefel, T., The Intellectual Revolution in Twelfth-Century Europe [NewQuotes]
QuoteRef: stilDL12_2002 ;;Still, D.L., Temme, L.A., Oz: A human-centered computing cockpit display
QuoteRef: stilJ_1998 ;;Stillwell, J., Numbers and Geometry
QuoteRef: stilJ_2013 ;;Stillwell, J., The Real Numbers. An Introduction to Set Theory and Analysis
QuoteRef: stilJ_2018 ;;Stillwell, J., Reverse Mathematics. Proofs from the Inside Out [NewQuotes]
QuoteRef: stirAMB_1922 ;;Stirling, A.M.W., William De Morgan and his wife [NewQuotes]
QuoteRef: stohEA4_1997 ;;Stohr, E.A., O'Boyle, M.F.P., Barrier synchronisation optimisation
QuoteRef: stoiI_2001 ;;Stoica, I. et al., Chord: A scalable peer-to-peer lookup service for Internet applications
QuoteRef: stonM7_1981 ;;Stonebraker, M., Operating system support for database management
QuoteRef: stonM8_2005 ;;Stonebraker, M. et al., C-Store: A column-oriented DBMS
QuoteRef: stonM9_2007 ;;Stonebraker, M. et al., The end of an architectural era (It's time for a complete rewrite)
QuoteRef: storEF_1970 ;;Storm, E.F., Vulcan--a string handling language with dynamic storage control
QuoteRef: stotDB10_1998 ;;Stotts, D.B., The usefulness of icons on the computer interface: Effect of graphical abstraction and functional representation on experienced and novice users
QuoteRef: stotPD12_1988 ;;Stotts, P.D., Furuta, R., Adding browsing semantics to the hypertext model
QuoteRef: stoyAD7_1993 ;;Stoyenko, A.D., Halang, W.A., Extending Pearl for industrial real-time applications
QuoteRef: stoyJ_1977 ;;Stoy, J., The Scott-Strachey Approach to the Mathematical Semantics of Programming Language
QuoteRef: stoyJE3_1972 ;;Stoy, J.E., Strachey, C., OS 6--An experimental operating system for a small computer, Part 2. Input/output and filing system
QuoteRef: straC8_1967 ;;Strachey, C., Fundamental concepts in programming languages
QuoteRef: straC3_1973 ;;Strachey, C., The varieties of programming languages
QuoteRef: straC1_1974 ;;Strachey, C., Wadsworth, C.P., Continuations: a mathematical semantics for handling full jumps
QuoteRef: streM_2020 ;;Strevens, M., The Knowledge Machine [NewQuotes]
QuoteRef: stroB_1987 ;;Stroustrup, B., Possible directions for C++
QuoteRef: stroB5_1989 ;;Stroustrup, B., What is object-oriented programming?
QuoteRef: stroB_1991 ;;Stroustrup, B., The C++ Programming Language
QuoteRef: stroB_1991x ;;Stroustrup, B., The C++ Programming Language
QuoteRef: stroB_1994 ;;Stroustrup, B., The Design and Evolution of C++
QuoteRef: stroB_1996 ;;Stroustrup, B., A history of C++: 1979-1991, and transcript of presentation
QuoteRef: stroB12_2004 ;;Stroustrup, B., Abstraction and the C++ machine model
QuoteRef: stroB1_2012 ;;Stroustrup, B., Software development for infrastructure
QuoteRef: stroR7_1985 ;;Strong, Sir R., The Listener
QuoteRef: stroR10_1986 ;;Strom, R., A comparison of the object-oriented and process paradigms
QuoteRef: stroRE5_1985 ;;Strom, R.E., Yemini, S., The NIL distributed systems programming language: A status report
QuoteRef: stroRE8_1985 ;;Strom, R.E., Yemini, S., Optimistic recovery in distributed systems
QuoteRef: stroRE1_1986 ;;Strom, R.E., Yemini, S., Typestate: A programming language concept for enhancing software reliability
QuoteRef: stroT_1985 ;;Strothotte, T., The use of the subjunctive in problem solving
QuoteRef: struDJ_1967 ;;Struik, D.J., A source book in mathematics, 1200-1800
QuoteRef: strzT5_1988 ;;Strzalkowski, T., personal communication (e-mail)
QuoteRef: sturC8_2020 ;;Sturton, C. et al., FinalFilter: asserting security properties of a processor at runtime [NewQuotes]
QuoteRef: suT10_2016 ;;Su, T. et al., A survey of data-flow testing [NewQuotes]
QuoteRef: suZS8_1982 ;;Su, Z.-S., Postel, J., The domain naming convention for Internet user applications
QuoteRef: suchFM5_2007 ;;Suchanek, F.M. et al., YAGO: a core of semantic knowledge unifying WordNet and Wikipedia [NewQuotes]
QuoteRef: suddEB10_2010 ;;Sudderth, E.B. et al., Nonparametric belief propagation
QuoteRef: sugiK_2001 ;;Sugihara, K., Degeneracy and instability in geometric computation
QuoteRef: sumnJP3_1989 ;;Sumner, J.P., Lundberg, S.W., Patentable computer program features as uncopyrightable subject matter
QuoteRef: sunC12_2000 ;;Sun, C., Undo any operation at any time in group editors
QuoteRef: sunC11_2016 ;;Sun, C. et al., Finding compiler bugs via live code mutation [NewQuotes]
QuoteRef: sunK6_2019 ;;Sun, K. et al., Exploring low-occlusion qwerty soft keyboard using spatial landmarks [NewQuotes]
QuoteRef: sunY2_2018 ;;Ferizovic, D., Belloch, G.epsilon., PAM: parallel augmented maps [NewQuotes]
QuoteRef: sunY6_2021 ;;Sun, Y. et al., Securing internet applications from routing attacks [NewQuotes]
QuoteRef: sundDM8_1990 ;;Sunday, D.M., A very fast substring search algorithm
QuoteRef: sundR7_2003 ;;Sundareswara, R., Schrater, P., Extensible point location algorithm
QuoteRef: suomJ2_2013 ;;Suomela, J., Survey of local algorithms
QuoteRef: suthDF1_2010 ;;Sutherland, D.F., Scherlis, W.L., Composable thread coloring
QuoteRef: suthIE5_1963 ;;Sutherland, I.E., Sketchpad: A man-machine graphical communication systems
QuoteRef: suttB9_2005 ;;de Sutter, B. et al., Link-time binary rewriting techniques for program compaction
QuoteRef: suttH10_2008 ;;Sutter, H., Writing lock-free code: a corrected queue
QuoteRef: suttH2_2009 ;;Sutter, H.., volatile vs. volatile
QuoteRef: suzaN12_1971 ;;Suzaki, N. et al., The implementation of Algol N
QuoteRef: suzuN_1980 ;;Suzuki, N., Analysis of pointer rotation
QuoteRef: swanDR10_1960 ;;Swanson, D.R., Searching natural language text by computer
QuoteRef: swanDR4_1986 ;;Swanson, D.R., Undiscovered public knowledge [NewQuotes]
QuoteRef: swanL7_2008 ;;Swan, L. et al., Making place for clutter and other ideas of home
QuoteRef: swarW7_1982 ;;Swartout, W., Balzer, R., On the inevitable intertwining of specification and implementation
QuoteRef: sweeL_1957 ;;Sweeney, L., Infinity in Plotinus
QuoteRef: sweePF5_1998 ;;Sweeney, P.F., Tip, F., A study of dead data members in C++ applications
QuoteRef: sweeRE3_1982 ;;Sweet, R.E., Sandman, J.G. Jr., Empirical analysis of the Mesa instruction set
QuoteRef: sweeRE7_1985 ;;Sweet, R.E., The Mesa programming environment
QuoteRef: swifMM10_2003 ;;Swift, M.M. et al., Improving the reliability of commodity operating systems
QuoteRef: swifMM11_2006 ;;Swift, M.M. et al., Recovering device drivers
QuoteRef: swinDC7_1985 ;;Swinehart, D.C. et al., The structure of Cedar
QuoteRef: swoyC_1994 ;;Swoyer, C., Leibniz's calculus of real addition [NewQuotes]
QuoteRef: symesDM_1975 ;;Symes, D.M., New control structures to aid gotolessness

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 p-r
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