Volume 28,
Number 1,
March 1996
ACM 50th-Anniversary Symposium: Perspectives in Computer Science
Long versions of these papers are published in The Computer Science and Engineering Handbook
Algorithms and Data Structures
Architecture
Artificial Intelligence
Computational Science
Database and Information Retrieval
Computer Graphics
Human-Computer Interaction
Operating Systems and Networks
Programming Languages
Software Engineeing
Volume 28,
Number 2,
June 1996
Symposium on Models of Programming Languages and Compuation
Language Design
Program Analysis
Program Verification and Types
Long Papers
Volume 28,
Number 3,
September 1996
Volume 28,
Number 4,
December 1996
ACM 50th Anniversary Issue:
Strategic Directions in Computing Research
Foundations
- Michael C. Loui:
Strategic Directions in Research in Theory of Computing.
575-590 BibTeX
,
from ACM:
PDF document
- Roberto Tamassia:
Strategic Directions in Computational Geometry.
591-606 BibTeX
,
from ACM:
PDF document
- Rance Cleaveland, Scott A. Smolka:
Strategic Directions in Concurrency Research.
607-625 BibTeX
,
from ACM:
PDF document
- Edmund M. Clarke, Jeannette M. Wing:
Formal Methods: State of the Art and Future Directions.
626-643 BibTeX
,
from ACM:
PDF document
- Chris Hankin, Hanne Riis Nielson, Jens Palsberg:
Strategic Directions in Research on Programming Languages.
644-652 BibTeX
,
from ACM:
PDF document
- Jon Doyle, Thomas Dean:
Strategic Directions in Artificial Intelligence.
653-670 BibTeX
,
from ACM:
PDF document
Systems
- Trevor N. Mudge:
Strategic Directions in Computer Architecture.
671-678 BibTeX
,
from ACM:
PDF document
- David Clark, Joseph Pasquale:
Strategic Directions in Networks and Telecommunications.
679-690 BibTeX
,
from ACM:
PDF document
- Rachid Guerraoui:
Strategic Directions in Object-Oriented Programming.
691-700 BibTeX
,
from ACM:
PDF document
- Pascal Van Hentenryck, Vijay A. Saraswat:
Strategic Directions in Constraint Programming.
701-726 BibTeX
,
from ACM:
PDF document
- Carl A. Gunter, John C. Mitchell, David Notkin:
Strategic Directions in Software Engineering and Programming Languages.
727-737 BibTeX
,
from ACM:
PDF document
- Leon J. Osterweil:
Strategic Directions in Software Quality.
738-750 BibTeX
,
from ACM:
PDF document
- John A. Stankovic:
Strategic Directions in Real-Time and Embedded Systems.
751-763 BibTeX
,
from ACM:
PDF document
- Abraham Silberschatz, Stanley B. Zdonik:
Strategic Directions in Database Systems - Breaking Out of the Box.
764-778
Electronic Edition BibTeX
- Garth A. Gibson, Jeffrey Scott Vitter, John Wilkes:
Strategic Directions in Storage I/O Issues in Large-Scale Computing.
779-793 BibTeX
,
from ACM:
PDF document
Applications and Infrastructure
Volume 28,
Number 4es,
December 1996
Artificial Intelligence
- Ronald J. Brachman, Hector J. Levesque:
Undirected Behavior Without Unbounded Search.
1 BibTeX
,
from ACM:
HTML document
- Thomas Dean:
Integrating Theory and Practice in Planning.
2 BibTeX
,
from ACM:
HTML document
- Thomas G. Dietterich:
Machine Learning.
3 BibTeX
,
from ACM:
HTML document
- Jon Doyle:
Cleaving (Unto) Artificial Intelligence.
4 BibTeX
,
from ACM:
HTML document
- C. Cordell Green:
Formality Helps Scalability and Robustness.
5 BibTeX
,
from ACM:
HTML document
- Barbara J. Grosz:
The Importance of Integration for AI.
6 BibTeX
,
from ACM:
HTML document
- Ian Horswill:
Integrated Systems and Naturalistic Tasks.
7 BibTeX
,
from ACM:
HTML document
- Daphne Koller:
Structured Representations and Intractability.
8 BibTeX
,
from ACM:
HTML document
- Fernando C. N. Pereira:
Language, Computation and Artificial Intelligence.
9 BibTeX
,
from ACM:
HTML document
- Bart Selman:
Computational Challenges in Artificial Intelligence.
10 BibTeX
,
from ACM:
HTML document
- Yoav Shoham:
The Open Scientific Borders of AI, and the Case of Economics.
11 BibTeX
,
from ACM:
HTML document
- Howard E. Shrobe:
Two Challenging Domains.
12 BibTeX
,
from ACM:
HTML document
- William R. Swartout:
Future Directions in Knowledge-Based Systems.
13 BibTeX
,
from ACM:
HTML document
- Michael P. Wellman:
The Economic Approach to Artificial Intelligence.
14 BibTeX
,
from ACM:
HTML document
- Shlomo Zilberstein:
Resource-Bounded Reasoning in Intelligent Systems.
15 BibTeX
,
from ACM:
HTML document
Computational Geometry
Computational Science and Engineering
Computer Architecture
- Thomas M. Conte:
Importance of Profiling and Compatibility.
26 BibTeX
,
from ACM:
HTML document
- Joel S. Emer:
Incremental Versus Revolutionary Research.
27 BibTeX
,
from ACM:
HTML document
- Matthew K. Farrens:
Distributed Decentralized Computing.
28 BibTeX
,
from ACM:
HTML document
- Dirk Grunwald:
Embedded, General-Purpose, and High-Performance Systems.
29 BibTeX
,
from ACM:
HTML document
- Kai Li:
Applications, Storage Hierarchy, and Integration.
30 BibTeX
,
from ACM:
HTML document
- Jack Mills:
An Industrial Perspective on Computer Architecture.
31 BibTeX
,
from ACM:
HTML document
- David Nagle:
Synergy Between Software and Hardware.
32 BibTeX
,
from ACM:
HTML document
- Yale N. Patt:
Microarchitecture, Compilers and Algorithms.
33 BibTeX
,
from ACM:
HTML document
- Jim Smith:
Multiscalar As a New Architecture Paradigm.
34 BibTeX
,
from ACM:
HTML document
- Wen-Hann Wang:
Microprocessor Architecture Challenges - The Best is Yet to Come!
35 BibTeX
,
from ACM:
HTML document
- David A. Wood:
Problems, Challenges and the Importance of Performance Evaluation.
36 BibTeX
,
from ACM:
HTML document
- Robert Yung:
The Importance of Process Technology to Architecture.
37 BibTeX
,
from ACM:
HTML document
Concurrency
- Jos C. M. Baeten, Jan A. Bergstra:
Six Issues Concerning Future Directions in Concurrency Research.
39 BibTeX
,
from ACM:
HTML document
- Eike Best:
Some Major Dichotomies Relating to Future Research in Concurrency.
40 BibTeX
,
from ACM:
HTML document
- Rance Cleaveland:
Semantic Theories and System Design.
41 BibTeX
,
from ACM:
HTML document
- Roberto Gorrieri:
On the Power of Concurrency Theory.
42 BibTeX
,
from ACM:
HTML document
- Mohamed G. Gouda:
Network Protocols Between Exact Specifications and Pragmatic Implementations.
43 BibTeX
,
from ACM:
HTML document
- Jan Friso Groote:
Concurrency Theory Will Set Standards for Description and Analysis of Software.
44 BibTeX
,
from ACM:
HTML document
- C. A. R. Hoare:
Unifying Theories : A Personal Statement.
46 BibTeX
,
from ACM:
HTML document
- David R. Luginbuhl:
Issues in Concurrent Systems Research.
47 BibTeX
,
from ACM:
HTML document
- Dale Miller:
Logical Foundations for Open System Design.
48 BibTeX
,
from ACM:
HTML document
- Jayadev Misra:
A Discipline of Multiprogramming.
49 BibTeX
,
from ACM:
HTML document
- Faron Moller:
Logics for Concurrency: Structure Versus Automata.
50 BibTeX
,
from ACM:
HTML document
- Ugo Montanari:
Causal Computing.
51 BibTeX
,
from ACM:
HTML document
- Rocco De Nicola, Scott A. Smolka:
Concurrency: Theory and Practice.
52 BibTeX
,
from ACM:
HTML document
- Sanjiva Prasad:
Models for Mobile Computing Agents.
53 BibTeX
,
from ACM:
HTML document
- Vaughan R. Pratt:
Concurrency Concepts - An Ongoing Search.
54 BibTeX
,
from ACM:
HTML document
- Joseph Sifakis:
Research Directions for Concurrency.
55 BibTeX
,
from ACM:
HTML document
- Bernhard Steffen, Tiziana Margaria:
Method Engineering for Real-Life Concurrent Systems.
56 BibTeX
,
from ACM:
HTML document
- Bent Thomsen:
Programming Languages, Analysis Tools, and Concurrency Theory.
57 BibTeX
,
from ACM:
HTML document
- Pierre Wolper:
Where is the Algorithmic Support?
58 BibTeX
,
from ACM:
HTML document
Constraint Programming Constraint Programming
- Alexander Brodsky:
Constraint Database Technology for Electronic Trade with Complex Objectives.
107 BibTeX
,
from ACM:
Postscript document
- Philippe Codognet:
The Virtuality of Constraints and the Constraints of Virtuality.
60 BibTeX
,
from ACM:
Postscript document
- Rina Dechter:
Bucket Elimination: A Unifying Framework for Processing Hard and Soft Constraints.
61 BibTeX
,
from ACM:
Postscript document
- Mehmet Dincbas:
Constraint Programming.
62 BibTeX
,
from ACM:
Postscript document
- Eugene C. Freuder:
In Pursuit of the Holy Grail.
63 BibTeX
,
from ACM:
HTML document
- Manuel V. Hermenegildo:
Some cCallenges for Constraint Programming.
64 BibTeX
,
from ACM:
HTML document
- Joxan Jaffar, Roland H. C. Yap:
Constraint Programming 2000.
65 BibTeX
,
from ACM:
HTML document
- Simon Kasif:
Towards a Constraint-Based Engineering Framework for Algorithm Design and Application.
66 BibTeX
,
from ACM:
Postscript document
- Alan K. Mackworth:
Constraint-Based Design of Embedded Intelligent Systems.
67 BibTeX
,
from ACM:
HTML document
- David A. McAllester:
The Rise of Nonlinear Mathematical Programming.
68 BibTeX
,
from ACM:
Postscript document
- Ken McAloon:
Constraint-Based Programming.
69 BibTeX
,
from ACM:
Postscript document
- Ugo Montanari, Francesca Rossi:
Constraint Solving and Programming: What's Next?
70 BibTeX
,
from ACM:
HTML document
- William J. Older:
CLP (intervals).
71 BibTeX
,
from ACM:
Postscript document
- Jean-Francois Puget:
Future of Constraint Programming.
72 BibTeX
,
from ACM:
Postscript document
- Raghu Ramakrishnan:
Constraints in Databases.
73 BibTeX
,
from ACM:
HTML document
- Vijay A. Saraswat:
Compositional Computing.
74 BibTeX
,
from ACM:
Postscript document
- Gert Smolka:
Constraints in OZ.
75 BibTeX
,
from ACM:
Postscript document
- Pascal Van Hentenryck:
Constraint Programming for Combinatorial Search Problems.
76 BibTeX
,
from ACM:
HTML document
Databases
Education
- Owen L. Astrachan:
Education Goals and Priorities.
92 BibTeX
,
from ACM:
HTML document
- Kim B. Bruce:
Thoughts on Computer Science Education.
93 BibTeX
,
from ACM:
HTML document
- Robert D. Cupper:
A Revised Curriculum Framework.
94 BibTeX
,
from ACM:
HTML document
- Peter J. Denning:
Business Design of the University.
95 BibTeX
,
from ACM:
HTML document
- Robert L. Scot Drysdale:
What Should We Teach?
96 BibTeX
,
from ACM:
HTML document
- Charles Kelemen:
Public Understanding of CS and First Courses for Nonmajors.
97 BibTeX
,
from ACM:
HTML document
- Catherine C. McGeoch:
Research in the Curriculum, and the Web.
98 BibTeX
,
from ACM:
HTML document
- Yale N. Patt:
First Courses and Fundamentals.
99 BibTeX
,
from ACM:
HTML document
- Viera K. Proulx, Richard Rasala:
The Future of Computer Science Education.
100 BibTeX
,
from ACM:
HTML document
- Roy Rada:
Calling for a Virtual Computing College.
101 BibTeX
,
from ACM:
HTML document
- Eric Roberts:
Directions in Computer Science Education.
102 BibTeX
,
from ACM:
HTML document
- Lynn Andrea Stein:
Interactive Programming: Revolutionizing Introductory Computer Science.
103 BibTeX
,
from ACM:
HTML document
- Allen B. Tucker:
Crisis in Computer Science Education.
104 BibTeX
,
from ACM:
HTML document
Electronic Commerce and Digital Libraries
- Nabil R. Adam, Shamim A. Naqvi:
Universal Access in Digital Libraries.
105 BibTeX
,
from ACM:
HTML document
- Baruch Awerbuch:
Maximizing Gross Network Product (GNP): Resource Management on the GII.
106 BibTeX
,
from ACM:
HTML document
- Alexander Brodsky:
Constraint Database Technology for Electronic Trade with Complex Objectives.
107 BibTeX
,
from ACM:
Postscript document
- Robert L. Grossman:
Database Mining Challenges for Digital Libraries.
108 BibTeX
,
from ACM:
HTML document
- Jim Johnson:
The Physics of Politics in the Information Age.
109 BibTeX
,
from ACM:
HTML document
- Catherine D. McCollum, Arnon Rosenthal, Barbara T. Blaustein:
Flexible Security Policies for Digital Libraries.
110 BibTeX
,
from ACM:
HTML document
- Anna-Lena Neches:
The Future of Electronic Commerce: A Pragmatic View.
111 BibTeX
,
from ACM:
HTML document
- Jacob Slonim, Karen Bennet:
The Electronic Commerce Position Paper.
112 BibTeX
,
from ACM:
HTML document
- Ouri Wolfson:
Infrastructure and Cost Models for Digital Libraries.
113 BibTeX
,
from ACM:
HTML document
- Howard D. Wactlar:
The Next Generation Electronic Library - Capturing the Experience.
114 BibTeX
,
from ACM:
HTML document
Formal Methods
- Rajeev Alur:
Next Steps in Formal Verification.
115 BibTeX
,
from ACM:
HTML document
- Edmund M. Clarke, Jeannette M. Wing:
Tools and Partial Analysis.
116 BibTeX
,
from ACM:
HTML document
- Rance Cleaveland:
Formality and Software Design.
117 BibTeX
,
from ACM:
HTML document
- Steven M. German:
Research Goals for Formal Methods.
118 BibTeX
,
from ACM:
HTML document
- Thomas A. Henzinger:
Some Myths About Formal Verification.
119 BibTeX
,
from ACM:
HTML document
- Gerard J. Holzmann:
On-The-Fly Model Checking.
120 BibTeX
,
from ACM:
HTML document
- Cliff B. Jones:
Formal Methods Light.
121 BibTeX
,
from ACM:
HTML document
- Doron Peled:
User Interfaces for Formal Methods.
122 BibTeX
,
from ACM:
HTML document
- John M. Rushby:
Enhancing the Utility of Formal Methods.
123 BibTeX
,
from ACM:
HTML document
- Joseph Sifakis:
Research Directions for Formal Methods.
124 BibTeX
,
from ACM:
HTML document
- A. Prasad Sistla:
Hybrid and Incremental Modelchecking Techniques.
125 BibTeX
,
from ACM:
HTML document
- Bernhard Steffen, Tiziana Margaria:
Tools Get Formal Methods into Practice.
126 BibTeX
,
from ACM:
HTML document
- Pierre Wolper:
The Meaning of "Formal".
127 BibTeX
,
from ACM:
HTML document
- Jim Woodcock:
Software Engineering Research Directions.
128 BibTeX
,
from ACM:
HTML document
Human-Computer Interaction
- Steve Bryson:
Implications of Near-Real-Time Three-Dimensional Interfaces.
129 BibTeX
,
from ACM:
HTML document
- Dick C. A. Bulterman:
Making the Technology Serve the User.
130 BibTeX
,
from ACM:
HTML document
- Tiziana Catarci:
Databases and the Web: New Requirements for Easy Access.
131 BibTeX
,
from ACM:
HTML document
- Wayne Citrin:
Strategic Directions in Visual Languages Research.
132 BibTeX
,
from ACM:
HTML document
- Isabel F. Cruz:
Tailorable Information Visualization.
133 BibTeX
,
from ACM:
HTML document
- Ephraim P. Glinert, R. Lindsay Todd, G. Bowden Wise:
The Adaptive Multi-interface Multi-modal Environment.
134 BibTeX
,
from ACM:
HTML document
- Jonathan Grudin:
The End of Exile.
135 BibTeX
,
from ACM:
HTML document
- James D. Hollan:
Strategic Issues for Human-Computer Interaction.
136 BibTeX
,
from ACM:
HTML document
- Yannis E. Ioannidis:
Visual User Interfaces for Database Systems.
137 BibTeX
,
from ACM:
HTML document
- Robert J. K. Jacob:
The Future of Input Devices.
138 BibTeX
,
from ACM:
HTML document
- Bonnie E. John:
Evaluating Usability Evaluation Techniques.
139 BibTeX
,
from ACM:
HTML document
- David Kurlander:
Thoughts on User Interface Research Processes and Agendas.
140 BibTeX
,
from ACM:
HTML document
- Brad A. Myers:
Programmability and Heuristics in the User Interfaces.
141 BibTeX
,
from ACM:
HTML document
- Dan R. Olsen:
Computational Resources and the Internet.
142 BibTeX
,
from ACM:
HTML document
- Stuart M. Shieber:
A Call for Collaborative Interfaces.
143 BibTeX
,
from ACM:
HTML document
- Ben Shneiderman:
Advanced Graphic User Interfaces: Elastic and Tightly Coupled Windows.
144 BibTeX
,
from ACM:
HTML document
- John T. Stasko:
Future Research Directions in Human-Computer Interaction.
145 BibTeX
,
from ACM:
HTML document
- Gary W. Strong:
Human-Centered Information Systems (HCIS).
146 BibTeX
,
from ACM:
HTML document
- Kent Wittenburg:
The WWW Information Glut: Implications for Next-Generation HCI Technologies.
147 BibTeX
,
from ACM:
HTML document
Object-Oriented Programming
- Mehmet Aksit:
Separation and Composition of Concerns in the Object-Oriented Model.
148 BibTeX
,
from ACM:
HTML document
- Andrew P. Black:
Object-Oriented Languages: The Next Generation.
149 BibTeX
,
from ACM:
HTML document
- Luca Cardelli:
Bad Engineering Properties of Object-Oriented Languages.
150 BibTeX
,
from ACM:
HTML document
- Pierre Cointe:
Reflective Languages and MetaLevel Architectures.
151 BibTeX
,
from ACM:
HTML document
- James Coplien:
Broadening beyond Objects to Patterns and to Other Paradigms.
152 BibTeX
,
from ACM:
HTML document
- Rachid Guerraoui:
Distributed Programming Abstractions.
153 BibTeX
,
from ACM:
HTML document
- Gregor Kiczales:
Aspect-Oriented Programming.
154 BibTeX
,
from ACM:
HTML document
- Doug Lea:
Specification, Architecture, and Interoperability.
155 BibTeX
,
from ACM:
HTML document
- Karl J. Lieberherr:
From Transience to Persistence in Object-Oriented Programming: Patterns and Architectures.
156 BibTeX
,
from ACM:
HTML document
- Ole Lehrmann Madsen:
Strategic Research Directions in Object-Oriented Programming.
157 BibTeX
,
from ACM:
HTML document
- Boris Magnusson:
Technology Integration.
158 BibTeX
,
from ACM:
HTML document
- José Meseguer:
Why OOP Needs New Semantic Foundations.
159 BibTeX
,
from ACM:
HTML document
- Hanspeter Mössenböck:
Trends in Object-Oriented Programming.
160 BibTeX
,
from ACM:
HTML document
- Jens Palsberg:
Compiler Technology for Object-Oriented Languages.
161 BibTeX
,
from ACM:
HTML document
- Douglas C. Schmidt:
Using Design Patterns to Guide the Development of Reusable Object-Oriented Software.
162 BibTeX
,
from ACM:
HTML document
Programming Languages
(the papers of this sections are reprinted in
SIGPLAN Notices 32(1))
- Luca Cardelli:
Global Computation.
163 BibTeX
,
from ACM:
HTML document
- Charles Consel:
Program Adaptation Based on Program Transformation.
164 BibTeX
,
from ACM:
Postscript document
- Patrick Cousot:
Program Analysis: The Abstract Interpretation Perspective.
165 BibTeX
,
from ACM:
Postscript document
- Michael Hanus:
Integration of Declarative Paradigms: Benefits and Challenges.
166 BibTeX
,
from ACM:
Postscript document
- Daniel Le Métayer:
Program Analysis for Software Engineering: New Applications, New Requirements, New Tools.
167 BibTeX
,
from ACM:
Postscript document
- Flemming Nielson:
Perspectives on Program Analysis.
168 BibTeX
,
from ACM:
Postccript document
- Martin Odersky:
Challenges in Type Systems Research.
169 BibTeX
,
from ACM:
Postscript document
- Robert Paige:
Future Directions in Program Transformations.
170 BibTeX
,
from ACM:
Postscript document
- Alberto Pettorossi, Maurizio Proietti:
Future Directions in Program Transformation.
171 BibTeX
,
from ACM:
Postscript document
- John C. Reynolds:
Beyond ML.
172 BibTeX
,
from ACM:
Postscript document
- Jon G. Riecke:
Semantics: The Description of Computational Structures.
173 BibTeX
,
from ACM:
Postscript document
- Barbara G. Ryder:
The Future of Program Analysis.
174 BibTeX
,
from ACM:
Postscript document
- David A. Schmidt:
On the Need for a Popular Formal Semantics.
175 BibTeX
,
from ACM:
Postscript document
- Dennis M. Volpano:
Provably Secure Programming Languages for Remote Evaluation.
176 BibTeX
,
from ACM:
Postscript document
- Reinhard Wilhelm:
Program Analysis - A Toolmaker's Perspective.
177 BibTeX
,
from ACM:
Postscript document
Real-Time Computing
- Alan Burns:
Broadening Real-Time Systems Research.
178 BibTeX
,
from ACM:
HTML document
- Kevin Jeffay:
Technical and Educational Challenges For Real-Time Computing.
179 BibTeX
,
from ACM:
HTML document
- Michael B. Jones:
Consumer Real-Time Systems.
180 BibTeX
,
from ACM:
HTML document
- Gary Koob:
Large Scale Distributed Real-Time Systems.
181 BibTeX
,
from ACM:
HTML document
- Insup Lee:
Formal Verification, Testing and Checking of Real-Time Systems.
182 BibTeX
,
from ACM:
HTML document
- John P. Lehoczky:
Analytical Methods For Real-Time Computing.
183 BibTeX
,
from ACM:
HTML document
- Jane W.-S. Liu:
Validation of Timing Properties.
184 BibTeX
,
from ACM:
HTML document
- Aloysius K. Mok:
Firm Real-Time Systems.
185 BibTeX
,
from ACM:
HTML document
- Krithi Ramamritham:
Predictability: Demonstrating Real-Time Properties.
186 BibTeX
,
from ACM:
HTML document
- Lui Sha:
Real-Time In the Real World.
187 BibTeX
,
from ACM:
HTML document
- John A. Stankovic:
The Pervasiveness of Real-Time Computing.
188 BibTeX
,
from ACM:
HTML document
- André M. Van Tilborg:
Real-Time Sesearch in the Department of Defense.
189 BibTeX
,
from ACM:
HTML document
Software Engineering and Programming Languages
- Gregory D. Abowd:
Software Engineering and Programming Language Considerations for Ubiquitous Computing.
190 BibTeX
,
from ACM:
HTML document
- Craig Chambers:
Towards Reusable, Extensible Components.
192 BibTeX
,
from ACM:
HTML document
- Lori A. Clarke, Peri L. Tarr:
New Functionality for Programming Languages.
193 BibTeX
,
from ACM:
HTML document
- William G. Griswold, Richard Wolski, Scott B. Baden, Stephen J. Fink, Scott R. Kohn:
Programming Language Requirements for the Next Millennium.
194 BibTeX
,
from ACM:
Postscript document
- Robert Harper, Peter Lee:
Research in Programming Languages for Composability, Safety, and Performance.
195 BibTeX
,
from ACM:
HTML document
- Paul Hudak:
Building Domain-Specific Embedded Languages.
196 BibTeX
,
from ACM:
HTML document
- Samuel N. Kamin:
The Challenge of Language Technology Transfer.
197 BibTeX
,
from ACM:
HTML document
- Melody M. Moore:
Representation Issues for Reengineering Interactive Systems.
199 BibTeX
,
from ACM:
HTML document
- Jens Palsberg:
Software Evolution and Integration.
200 BibTeX
,
from ACM:
HTML document
- William L. Scherlis:
Beyond Coding.
201 BibTeX
,
from ACM:
HTML document
- Jack C. Wileden:
Programming Languages and Software Engineering: Past, Present and Future.
202 BibTeX
,
from ACM:
HTML document
Software Quality
Storage I/O for Large-Scale Computing
- Alok N. Choudhary, David Kotz:
Large-Scale File Systems with the Flexibility of Databases.
207 BibTeX
,
from ACM:
HTML document
- Thomas H. Cormen, Michael T. Goodrich:
A Bridging Model for Parallel Computation, Communication, and I/O.
208 BibTeX
,
from ACM:
HTML document
- Garth A. Gibson, John Wilkes:
Self-Managing Network-Attached Storage.
209 BibTeX
,
from ACM:
HTML document
- Richard R. Muntz, Joseph Pasquale:
System-Level Design Issues for Storage I/O.
210 BibTeX
,
from ACM:
HTML document
- Mahadev Satyanarayanan, Carla Schlatter Ellis:
Adaptation: The Key to Mobile I/O.
211 BibTeX
,
from ACM:
HTML document
- Darren Erik Vengroff, Jeffrey Scott Vitter:
I/O-Efficient Algorithms and Environments.
212 BibTeX
,
from ACM:
HTML document
Telecommunications
Theory of Computation
Copyright © Sat May 16 23:54:53 2009
by Michael Ley (ley@uni-trier.de)