Volume 18, Number 1, January 1992
Mahadev Satyanarayanan: The Influence of Scale on Distributed File System Design. 1-8- Derek Coleman, Fiona Hayes, Stephen Bear: Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design. 9-18
- Eduardus A. T. Merks, J. Michael Dyck, Robert D. Cameron: Language Design For Program Manipulation. 19-32
- Keith W. Miller, Larry J. Morell, Robert E. Noonan, Stephen K. Park, David M. Nicol, Branson W. Murrill, Jeffrey M. Voas: Estimating the Probability of Failure When Testing Reveals No Failures. 33-43
- Mercedes Granda, José M. Drake, José A. Gregorio: Performance Evaluation of Parallel Systems by Using Unbounded Generalized Stochastic Petri Nets. 55-71
- Vincenzo Grassi, Lorenzo Donatiello, Salvatore Tucci: On the Optimal Checkpointing of Critical Tasks and Transaction-Oriented Systems. 72-77
- Ravi Ganesan, Shlomo Weiss: Scalar Memory References in Pipelined Multiprocessors: A Performance Study. 78-86
Volume 18, Number 2, February 1992
- Jack W. Davidson, Anne M. Holler: Subprogram Inlining: A Study of its Effects on Program Execution Time. 89-102
- Carl A. Waldspurger, Tad Hogg, Bernardo A. Huberman, Jeffrey O. Kephart, W. Scott Stornetta: Spawn: A Distributed Computational Economy. 103-117
- Philip S. Yu, Daniel M. Dias: Analysis of Hybrid Concurrency Control Schemes For a High Data Contention Environment. 118-129
- Hwa-Chun Lin, C. S. Raghavendra: A Dynamic Load-Balancing Policy With a Central Job Dispatcher (LBC). 148-158
- Geppino Pucci: A New Approach to the Modeling of Recovery Block Structures. 159-167
- Bernd-Jürgen Falkowski: Comments on an Optimal Set of Indices For a Relational Database. 168-171
Volume 18, Number 3, March 1992
- Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenbaum: Orca: A Language For Parallel Programming of Distributed Systems. 190-205
- Richard N. Taylor, David L. Levine, Cheryl D. Kelly: Structural Testing of Concurrent Programs. 206-215
- Kyu-Young Whang, Ashok Malhotra, Gary H. Sockut, Luanne M. Burns, Key-Sun Choi: Two-Dimensional Specification of Universal Quantification in a Graphical Database Query Language. 216-224
- Hamish Taylor: A Lingua Franca For Concurrent Logic Programming. 225-236
- Zahira Ammarguellat: A Control-Flow Normalization Algorithm and Its Complexity. 237-251
- Yiannis E. Papelis, Thomas L. Casavant: Specification and Analysis of Parallel/Distributed Software and Systems by Petri Nets With Transition Enabling Functions. 252-261
Volume 18, Number 4, April 1992
- M. Ferhan Pekergin: Parallel Computing Optimization in the Apollo Domain Network. 296-304
- G. A. Venkatesh, Charles N. Fischer: SPARE: A Development Environment For Program Analysis Algorithms. 304-318
- Matt W. Mutka: Estimating Capacity For Sharing in a Privately Owned Workstation Environment. 319-328
- Robert B. France: Semantically Extended Data Flow Diagrams: A Formal Specification Tool. 329-346
- Philip S. Yu, Ming-Syan Chen, Hans-Ulrich Heiss, Sukho Lee: On Workload Characterization of Relational Database Environments. 347-355
Volume 18, Number 5, May 1992
- Eric Steegmans, Johan Lewi, Ivo Van Horebeek: Generation of Interactive Parsers With Error Handling. 357-367
- Nazim H. Madhavji: Environment Evolution: The Prism Model of Changes. 380-392
- Kathryn C. Kinsley, Charles E. Hughes: Analysis of a Virtual Memory Model For Maintaining Database Views. 402-409
- Norman F. Schneidewind: Methodology For Validating Software Metrics. 410-422
- Leonard Kleinrock, Jau-Hsiung Huang: On Parallel Processing Systems: Amdahl's Law Generalized and Some Results on Optimal Design. 434-447
Volume 18, Number 6, June 1992
- Alexander Borgida, Matthias Jarke: Knowledge Representation and Reasoning in Software Engineering. 449-450
- Charles Rich, Yishai A. Feldman: Seven Layers of Knowledge Representation and Reasoning in Support of Software Development. 451-469
- Stephen Fickas, B. Robert Helm: Knowledge Representation and Reasoning in the Design of Composite Systems. 470-482
- John Mylopoulos, Lawrence Chung, Brian A. Nixon: Representing and Using Nonfunctional Requirements: A Process-Oriented Approach. 483-497
- Balasubramaniam Ramesh, Vasant Dhar: Supporting Systems Development by Capturing Deliberations During Requirements Engineering. 498-510
- Gerhard Fischer, Andreas Girgensohn, Kumiyo Nakakoji, David F. Redmiles: Supporting Software Designers with Integrated Domain-Oriented Design Environments. 511-522
- Dorothy E. Setliff, Rob A. Rutenbar: Knowledge Representation and Reasoning in a Software Synthesis Architecture. 523-533
- Filippo Cacace, Stefano Ceri, Letizia Tanca, Stefano Crespi-Reghizzi: Designing and Prototyping Data-Intensive Applications in the Logres and Algres Programming Environment. 534-546
Volume 18, Number 7, July 1992
- Erol Gelenbe: Guest Editor's Introduction to the Special Issue on Neural Network Software and Systems. 549-550
- Gregory L. Heileman, Michael Georgiopoulos, William D. Roome: A General Framework for Concurrent Simulation of Neural Network Models. 551-562
- Nachimuthu Karunanithi, Darrell Whitley, Yashwant K. Malaiya: Prediction of Software Reliability Using Connectionist Models. 563-574
- Edmond Mesrobian, Josef Skrzypek: A Software Environment For Studying Computational Neural Systems. 575-589
- Andreas Stafylopatis, Aristidis Likas: Pictorial Information Retrieval Using the Random Neural Network. 590-600
- Leslie S. Smith: A Framework for Neural Net Specification. 601-612
- S. T. Kim, K. Suwunboriruksa, S. Herath, Anura P. Jayasumana, Jayantha A. Herath: Algorithmic Transformations for Neural Computing and Performance of Supervised Learning on a Dataflow Machine. 613-623
- Mehmet Sahinoglu: Compound-Poisson Software Reliability Model. 624-630
- Kazuhiko Kato, Takashi Masuda: Persistent Caching: An Implementation Technique for Complex Objects with Object Identity. 631-645
- Gordon S. Novak, Fredrick N. Hill, Man-Lee Wan, Brian G. Sayrs: Negotiated Interfaces for Software Reuse. 646-653
Volume 18, Number 8, August 1992
- J. Eliot B. Moss: Working with Persistent Objects: To Swizzle or Not to Swizzle. 657-673
- Jeffrey M. Voas: PIE: A Dynamic Failure-Based Technique. 717-727
- Dongming Wang, Bernd Schürmann: Computer Aided Analysis and Derivation for Artificial Neural Systems. 728-735
- Karsten Schwan, Hongyi Zhou: Dynamic Scheduling of Hard Real-Time Tasks and Real-Time Threads. 736-748
Volume 18, Number 9, September 1992
- Richard A. Kemmerer, Carlo Ghezzi: Guest Editors' Introduction: Specification and Analysis of Real-Time Systems. 766-767
- Richard Gerber, Insup Lee: A Layered Approach to Automating the Verification of Real-Time Systems. 768-784
- Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel: Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE. 785-793
- Xavier Nicollin, Joseph Sifakis, Sergio Yovine: Compiling Real-Time Specifications into Extended Automata. 794-804
- Alan C. Shaw: Communicating Real-Time State Machines. 805-816
- Irene Greif, Robert Seliger, William E. Weihl: A Case Study Of CES: A Distributed Collaborative Editing System Implemented In Argus. 827-839
Volume 18, Number 10, October 1992
- W. Lewis Johnson, Martin S. Feather, David R. Harris: Representation and Presentation of Requirements Knowledge. 853-869
- William S. Mark, Sherman Tyler, James McGuire, Jon Schlossberg: Commitment-Based Software Development. 870-885
- Markku Oivo, Victor R. Basili: Representing Software Engineering Models: The TAME Goal Oriented Approach. 886-898
- Bruno Ciciani, Daniel M. Dias, Philip S. Yu: Analysis of Concurrency-Coherency Control Protocols for Distributed Transaction Processing Systems with Regional Locality. 899-914
- Tridas Mukhopadhyay, Sunder Kekre: Software Effort Models for Early Estimation of Process Control Applications. 915-924
Volume 18, Number 11, November 1992
- Richard W. Selby, Koji Torii: Guest Editorial Introduction: Special Issue on Software Measurement Principles, Techniques, and Environment. 929-930
- Lionel C. Briand, Victor R. Basili, William M. Thomas: A Pattern Recognition Approach for Software Engineering Data Analysis. 931-942
- Ram Chillarege, Inderpal S. Bhandari, Jarir K. Chaar, Michael J. Halliday, Diane S. Moebus, Bonnie K. Ray, Man-Yuen Wong: Orthogonal Defect Classification - A Concept for In-Process Measurements. 943-956
- Stephen G. Eick, Joseph L. Steffen, Eric E. Sumner Jr.: Seesoft-A Tool For Visualizing Line Oriented Software Statistics. 957-968
- Yingsha Liao, Donald Cohen: A Specificational Approach to High Level Program Monitoring and Measuring. 969-979
- Taghi M. Khoshgoftaar, John C. Munson, Bibhuti B. Bhattacharya, Gary D. Richardson: Predictive Modeling Techniques of Software Quality from Software Measures. 979-987
- William W. Agresti, William M. Evanco: Projecting Software Defects From Analyzing Ada Designs. 988-997
- Michael Daskalantonakis: A Practical View of Software Measurement and Implementation Experiences Within Motorola. 998-1010
- Chris F. Kemerer, Benjamin S. Porter: Improving the Reliability of Function Point Measurement: An Empirical Study. 1011-1024
- Warren Harrison: An Entropy-Based Measure of Software Complexity. 1025-1034
Volume 18, Number 12, December 1992
- Vaclav Rajlich: Guest Editor's Introduction: Special Issue on Software Maintenance. 1037
- Moises Lejter, Scott Meyers, Steven P. Reiss: Support for Maintaining Object-Oriented Programs. 1045-1052
- Gerardo Canfora, Aniello Cimitile, Ugo de Carlini: A Logic-Based Approach to Reverse Engineering Tools Production. 1053-1064
- Wojtek Kozaczynski, Jim Q. Ning, Andre Engberts: Program Concept Recognition and Transformation. 1965-1075
- Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang: A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis. 1076-1100
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2014-07-24T200436 by the dblp team