K. Ramamritham

Learn More
ACKNOWLEDGMENTS The past seven years at UMass has been the most challenging and exciting moment in my life. I learned so much academically and also in personal life that I am happy that I made the decision to come to UMass. I have acquainted many people on the way and I have benefited tremendously from the interaction with them. I would like to use this(More)
Lightweight computing devices are becoming ubiquitous and an increasing number of applications are being developed for these devices. Many of these applications deal with significant amounts of data and involve complex joins and aggregate operations, which necessitate a local database management system on the device. This is a challenge as these devices are(More)
This paper constitutes a work-in-progress report on the first, mostly conceptual phase of a major international effort in building and evaluating a distributed testbed for database application systems in safety-critical real-time environments. Given that safety/ reliability requirements and real-time constraints are in conflict there cannot be a closed form(More)
This paper presents a te chnique for specifying and verifying properties of "sentinels" a high-level language construct for synchronizing access to shared resources. Statements in the specification language possess formal temporal semantics. As a prelude to proving the correctness of sentinels, the semantics of c ons t r uc t s used in sentinels is given.(More)
  • 1