The Influence of Scale on Distributed File System Design
The proposition that scale should be recognized as a primary factor influencing the architecture and implementation of distributed systems is validated using Andrew and Coda, two distributed file systems. Performance, operability, and security are ...
Introducing Objectcharts or how to use Statecharts in object-oriented design
A notation called Objectcharts for specifying object classes is introduced. An Objectchart diagram is an extended form of a Statechart, which characterizes the behavior of a class as a state machine. The Objectchart transitions correspond to the state-...
Language Design for Program Manipulation
The design of procedural and object-oriented programming languages is considered with respect to how easily programs written in those languages can be formally manipulated. Current procedural languages such as Pascal, Modula-2 and Ada; generally support ...
Estimating the Probability of Failure When Testing Reveals No Failures
- Keith W. Miller,
- Larry J. Morell,
- Robert E. Noonan,
- Stephen K. Park,
- David M. Nicol,
- Branson W. Murrill,
- Jeffrey M. Voas
Formulas for estimating the probability of failure when testing reveals no errors are introduced. These formulas incorporate random testing results, information about the input distribution; and prior assumptions about the probability of failure of the ...
Analysis of the Periodic Update Write Policy for Disk Cache
A disk cache is typically used in file systems to reduce average access time for data storage and retrieval. The 'periodic update' write policy, widely used in existing computer systems, is one in which dirty cache blocks are written to a disk on a ...
Performance Evaluation of Parallel Systems by Using Unbounded Generalized Stochastic Petri Nets
Methods of calculating efficiently the performance measures of parallel systems by using unbounded generalized stochastic Petri nets are presented. An explosion in the number of states to be analyzed occurs when unbounded places appear in the model. The ...
On the Optimal Checkpointing of Critical Tasks and Transaction-Oriented Systems
The probability distribution of the overhead caused by the use of the checkpointing rollback recovery technique is evaluated in both cases of a single critical task and of an overall transaction-oriented system. This distribution is obtained in Laplace-...
Scalar Memory References in Pipelined Multiprocessors: A Performance Study
Interleaved memories are essential in pipelined computers to attain high memory bandwidth. As a memory bank is accessed, a reservation is placed on the bank for the duration of the memory cycle, which is often considerably longer than the processor ...
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design
A notation called Objectcharts for specifying object classes is introduced. An Objectchart diagram is an extended form of a Statechart, which characterizes the behavior of a class as a state machine. The Objectchart transitions correspond to the state-...