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)
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