A nation at risk: the imperative for educational reform
- P. Denning
- ArtCACM
- 1 July 1983
Because of the extraordinary clarity and importance of the Commission's Report, the editors of the Communica t ions decided to reprint the Report's main section in its entirety and present it to you here.
Certification of programs for secure information flow
- D. Denning, P. Denning
- Computer ScienceCACM
- 1 July 1977
This paper presents a mechanism for verifying the secure flow of information through a program that exploits the properties of a lattice structure among security classes and proves that a program cannot cause supposedly nonconfidential results to depend on confidential input data.
Computing as a discipline
- P. Denning, D. Comer, Paul R. Young
- Education, Computer ScienceComputer
- 1989
A summary is given of a report that had the following goals: to describe computer science in a way that emphasizes fundamental questions and significant accomplishments; to propose a teaching…
The working set model for program behavior
- P. Denning
- Computer ScienceCACM
- 1 May 1968
A new model, the “working set model,” is developed, defined to be the collection of its most recently used pages, which provides knowledge vital to the dynamic management of paged memories.
Operating Systems Theory
- E. Coffman, P. Denning
- Education
- 1973
As one of the part of book categories, operating systems theory always becomes the most wanted book.
Working Sets Past and Present
- P. Denning
- Computer ScienceIEEE Transactions on Software Engineering
- 1980
This paper outlines the argument why it is unlikely that anyone will find a cheaper nonlookahead memory policy that delivers significantly better performance and suggests that a working set dispatcher should be considered.
Remaining trouble spots with computational thinking
- P. Denning
- PsychologyCommunications of the ACM
- 24 May 2017
Addressing unresolved questions concerning computational thinking with a focus on the role of reinforcement learning.
The Operational Analysis of Queueing Network Models
- P. Denning, J. Buzen
- BusinessCSUR
- 1 September 1978
This tutorial paper presents the basic results using the operational approach, a framework which allows the analyst to test whether each assumption is met in a given system, and methods for computing basic performance quantities.
Principles of Optimal Page Replacement
- A. Aho, P. Denning, J. Ullman
- Computer ScienceJournal of the ACM
- 1 January 1971
A formal model is presented for paging algorithms under /-order nonstationary assumptions about program behavior that is expressed as a dynamic programming problem whose solution yields an optimal replacement algorithm.
Hastily formed networks
- P. Denning
- Computer ScienceCommunications of the ACM
- 1 April 2006
The ability to form multi-organizational networks rapidly is crucial to humanitarian aid, disaster relief, and large urgent projects. Designing and implementing the network's conversation space is…
...
...