K. Ramamritham

Learn 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)
To My Dear Wife and Loving Parents ACKNOWLEDGMENTS I am very grateful to Prof. Krithi Ramamritham for being my advisor and mentor. His inspiring thoughts and general support has assisted me in my personal and professional growth. The technical guidance and constructive criticisms he provided has helped me greatly in conducting my research and developing(More)
For algorithms that schedule hard real-time tasks, both the ability to generate feasible schedules and the quality of the generated feasible schedules, expressed in terms of the schedule length, are important performance metrics. The SPRING project uses a heuristic algorithm which integrates CPU and resource requirements for on-line, hard real-time task(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