WorldCat Identities

DeMillo, Richard A.

Overview
Works: 73 works in 165 publications in 1 language and 3,567 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor
Classifications: QA76.9.A25, 001.64
Publication Timeline
.
Most widely held works by Richard A DeMillo
Abelard to Apple : the fate of American colleges and universities by Richard A DeMillo( Book )

15 editions published between 2011 and 2014 in English and held by 404 WorldCat member libraries worldwide

The vast majority of American college students attend two thousand or so private and public institutions that might be described as the Middle--reputable educational institutions, but not considered equal to the elite and entrenched upper echelon of the Ivy League and other prestigious schools. Richard DeMillo has a warning for these colleges and universities in the Middle: If you do not change, you are heading for irrelevance and marginalization. In "Abelard to Apple", DeMillo argues that these institutions, clinging precariously to a centuries-old model of higher education, are ignoring the social, historical, and economic forces at work in today's world. In the age of iTunes, open source software, and for-profit online universities, there are new rules for higher education. DeMillo, who has spent years in both academia and in industry, explains how higher education arrived at its current parlous state and offers a road map for the twenty-first century. He describes the evolving model for higher education, from European universities based on a medieval model to American land-grant colleges to Apple's iTunes u and MIT's OpenCourseWare. He offers ten rules to help colleges reinvent themselves (including "Focus on what differentiates you") and argues for a focus on teaching undergraduates. DeMillo's message--for colleges and universities, students, alumni, parents, employers, and politicians--is that any college or university can change course if it defines a compelling value proposition (one not based in "institutional envy" of Harvard and Berkeley) and imagines an institution that delivers it
Applied cryptology, cryptographic protocols, and computer security models by R. A De Millo( Book )

18 editions published between 1983 and 1988 in English and held by 377 WorldCat member libraries worldwide

Foundations of secure computation by Richard A DeMillo( Book )

12 editions published in 1978 in English and held by 367 WorldCat member libraries worldwide

Data base security; Encryption as a security mechanism; Design-oriented models of operating system security; Theoretical models of operating system security
Software testing and evaluation by Richard A DeMillo( Book )

10 editions published in 1987 in English and held by 306 WorldCat member libraries worldwide

Revolution in higher education : how a small band of innovators will make college accessible and affordable by Richard A DeMillo( Book )

4 editions published in 2015 in English and held by 273 WorldCat member libraries worldwide

Studies in computer science : in honor of Samuel D. Conte by John Rice( Book )

5 editions published in 1994 in English and held by 83 WorldCat member libraries worldwide

Revolution in higher education : how a small band of innovators will make college accessible and affordable by Richard A DeMillo( )

3 editions published in 2015 in English and held by 17 WorldCat member libraries worldwide

In this impassioned account, Richard DeMillo tells the behind-the-scenes story of these pioneering efforts and offers a road map for transforming higher education
Even data bases that lie can be compromised by Richard A DeMillo( Book )

7 editions published between 1976 and 1977 in English and Undetermined and held by 7 WorldCat member libraries worldwide

Users can compromise data bases by asking a series of questions, even when the data systems are allowed to lie. (Author)
Space and time hierarchies for control structures and data structures by R. J Lipton( Book )

4 editions published in 1975 in English and held by 5 WorldCat member libraries worldwide

The running time or computational complexity of a sequential process is usually determined by summing weights attached to the basic operations from which the process is derived. In practice, however, the complexity is often limited by how efficiently it can access its data structures and how efficiently it can control program flow. Furthermore, it has been extensively argued that certain limitations on the process sequencing mechanisms available to the programmer result in more 'efficient' representations for the underlying processes. In this paper the authors examine these issues in an attempt to assess the 'power' of various data and control structures
Mutation analysis by Allen Troy Acree( Book )

4 editions published in 1979 in English and held by 4 WorldCat member libraries worldwide

A new type of software test is introduced, called mutation analysis. A method for applying mutation analysis is described, and the results of several experiments to determine its effectiveness are given. Finally it is shown how mutation analysis can subsume or augment many of the more traditional program testing techniques. (Author)
Can structured programs be efficient? by Richard A DeMillo( Book )

3 editions published in 1976 in English and held by 4 WorldCat member libraries worldwide

By using a new method for comparing the power of control structures, we give evidence that there are provable quantitative differences among various control structures. The key result discussed in this note states that there are natural goto programs which can only be simulated by structured programs that are either very large or very slow. (Author)
Social processes and proofs of theorems and programs by Richard A DeMillo( Book )

4 editions published between 1976 and 1978 in English and held by 4 WorldCat member libraries worldwide

It has been extensively argued that the art and science of programming should strive to become more like mathematics. In this paper we argue that this point of view is correct, but that the reasons usually given for it are wrong. We present our view that mathematics is, rather than a formal process, an ongoing social process and that the formalistic view of mathematics is misleading and destructive for proving software. (Author)
Space-Time Trade-Offs in Structured Programming by Richard A DeMillo( Book )

2 editions published in 1976 in English and held by 3 WorldCat member libraries worldwide

The report extends the results of a previous paper by improving the space-time inequality by an exponential, and includes reducible flowgraphs
A Constructive Generalization of the Borel-Cantelli Lemma with Application to the Complexity of Infinite Strings by Richard A DeMillo( Book )

3 editions published in 1975 in English and held by 3 WorldCat member libraries worldwide

A constructive adaptation of the Borel-Cantelli Lemma is obtained. Applications to several problems of complexity include the existence of hard 0,1 polynomials. (Author)
Mutation analysis as a tool for software quality assurance by Richard A DeMillo( Book )

2 editions published in 1980 in English and held by 3 WorldCat member libraries worldwide

A protocol for using mutation analysis as a tool for software quality assurance is described. The results of experiments on the reliability of this method are also described. (Author)
Preserving Average Proximity in Arrays by Richard A DeMillo( Book )

3 editions published between 1975 and 1976 in English and held by 3 WorldCat member libraries worldwide

The combinatorial problem of storage arrays as various kinds of list structures is examined. Embeddings of graphs are used to model the loss of proximity involved in such storage schemes, and an elementary proof that arrays cannot be stored as linear lists with bounded loss of proximity is presented. Average loss of proximity is then considered, and it is shown that arrays cannot be stored as linear lists with only bounded loss of average proximity, but can be so stored in binary trees. The former result implies that row major order is an asymptotically optimal storage strategy for arrays. (Author)
Statistical Measures of Software Reliability by Richard A DeMillo( Book )

2 editions published in 1980 in English and held by 2 WorldCat member libraries worldwide

Estimating program reliability presents many of the same problems as measuring software performance and cost: the central technical issue concerns the existence of an independent objective scale upon which may be based a qualitative judgement of the ability of a given program to function as intended in a specified environment over a specified time interval. Several scales have already been proposed. While these concepts may have independent interest, they fail to capture the most significant aspect of reliability estimation as it applies to software: most software is unreliable by these standards, but the degree of unreliability is not quantified. A useful program which has not been proved correct is unreliable, but so is, say, the null program (unless by some perversity of specification the null program satisfies the designer); an operationally meaningful scale of reliability should distinguish these extremes. In the sequel, we will sketch the outlines of the traditional theory that is most relevant to software reliability estimation, give a brief critical analysis of the use of the traditional theory in measuring reliability, and describe another use of the R(t) measure which we believe more closely fits the intuitive requirements of the scale we asked for above
Software project forecasting by Richard A DeMillo( Book )

2 editions published in 1980 in English and held by 2 WorldCat member libraries worldwide

We have argued that a major use of software metrics is in the forecasting problem for software projects. By analogy with weather forecasting, we may characterize the current state of knowledge in software forecasting as the gathering of portents. While these may be useful and sometimes decisive in project management, they are prescientific and qualitative. Further, it seems very unlikely that the portents can be developed into a useful theory of forecasting. To develop scientific forecasting tools, a rational way of predicting the future from historical primary data is required. It is also important that the primary data and the measurements used to obtain it satisfy some basic methodological requirements -- for example, the hypotheses developed from the measurements should be meaningful in the sense implied by measurement theory. The statistical approach, seeking to predict future events on the basis of historical patterns, seems to be an attractive short range approach to the forecasting problem. The goal of the exact method is to be able to apply largescale computation to many micropredictions to synthesize a quantitative forecast
Papers on program testing by Richard A DeMillo( Book )

4 editions published in 1979 in English and Undetermined and held by 2 WorldCat member libraries worldwide

Since late 1976, we have been involved in what we believe is a new approach to computer program testing, an approach called mutation analysis (and we shall forever be indebted to Jerome Feldman for suggesting the term). The main novelties of the mutation approach to program testing are its simplicity, its empirical basis, its ease of mechanical implementation, and its tractability for scientific analysis. Although much remains to be learned about mutation as a testing tool, there is a considerable body of written material which describes our initial experience with the technique. Much of this material has appeared only in workshops or as memoranda, so we have been urged to collect it together for wider dissemination. The current collection is the result. The reader should note that the selections do not appear in chronological order; rather, they are organized so that a sufficiently patient reader may proceed from the conceptual basis of mutation analysis through implementation, application, and theoretical issues
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.43 (from 0.05 for Abelard to ... to 0.95 for A Construc ...)

Abelard to Apple : the fate of American colleges and universities
Alternative Names
DeMillo, R. A.

DeMillo, Richard Allan 1947-

Millo, Richard de 1947-

Richard DeMillo American academic

Languages
English (105)

Covers