Prakash Krishnamurthy

Learn More
<i>There are two basic parts to the behavioral specification of distributed systems: safety and progress. In earlier work, we developed a tool to monitor progress properties of CORBA components specified using the temporal operator</i> transient. <i>In this paper, we address the specification and testing of transient properties that are quantified (over(More)
ii ABSTRACT User-level network interface protocols such as GM, FM, VIA have become increasingly popular to achieve low latency in cluster computing. However, communication with most of these protocols is restricted to a System Area Network (SAN) and the wide area interconnectivity of clusters remains under-explored. In spite of demonstrably superior(More)
  • 1