Two runs of a distributed system can be considered equivalent if they represent diierent interleavings of the same run. Formulas of the propositional temporal logic of linear time (PTL) are said to be trace consistent when they cannot distinguish between equivalent runs. Determining whether a formula is trace consistent is decidable. In this paper, we consider a closely related notion: a PTL fo...

The objective of this paper is to improve the use of the hardware resources of the trace cache mechanism, reducing the implementation cost with no performance degradation. We achieve that by eliminating the replication of traces between the instruction cache and the trace cache. As we show, the trace cache mechanism is generating a high degree of redundancy between the traces stored in the trac...

Markov Modulated Posson Process (MMPP) is a good model of Internet traffic. We take an IP trace and fit an MMPP to it using an algorithm recently published in a Journal. It is observed that trace generated using the MMPP model of the original trace has a distribution similar to the original trace. This is seen in the form of a linear quantile-quantile plot. Average queuing delay with data trace...