| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Krithi Ramamritham Harish Kammanahalli , Srividya Gopalan , V. Sridhar , Krithi Ramamritham: Context Aware Retrieval in Web-Based Collaborations. PerCom Workshops 2004 : 8-12 Krithi Ramamritham, Kavi Arya , Gerhard Fohler : System Software for Embedded Applications. VLSI Design 2004 : 12-14 Aameek Singh , Abhishek Trivedi , Krithi Ramamritham, Prashant Shenoy : PTC: Proxies that Transcode and Cache in Heterogeneous Web Client Environments. World Wide Web 7 (1): 7-28 (2004) Umeshwar Dayal , Krithi Ramamritham, T. M. Vijayaraman : Proceedings of the 19th International Conference on Data Engineering, March 5-8, 2003, Bangalore, India IEEE Computer Society 2003 Debra E. VanderMeer , Anindya Datta , Kaushik Dutta , Helen M. Thomas , Krithi Ramamritham, Shamkant B. Navathe : FUSION: A System Allowing Dynamic Web Service Composition and Automatic Execution. CEC 2003 : 399-404 Dick Hung , Kam-yiu Lam , Edward Chan , Krithi Ramamritham: Processing of Location-Dependent Continuous Queries on Real-Time Spatial Data: The View from RETINA. DEXA Workshops 2003 : 961- Evaggelia Pitoura , Panos K. Chrysanthis , Krithi Ramamritham: Characterizing the Temporal and Semantic Coherency of Broadcast-Based Data Dissemination. ICDT 2003 : 410-424 John Sweeney , Huan Li , Roderic A. Grupen , Krithi Ramamritham: Scalability and schedulability in large, coordinated, distributed robot systems. ICRA 2003 : 4074-4079 Huan Li , John Sweeney , Krithi Ramamritham, Roderic A. Grupen , Prashant J. Shenoy : Real-Time Support for Mobile Robotics. IEEE Real Time Technology and Applications Symposium 2003 : 10-18 Ratul kr. Majumdar , Krithi Ramamritham, Ming Xiong : Adaptive Location Management in Mobile Environments. Mobile Data Management 2003 : 196-211 Purushottam Kulkarni , Prashant J. Shenoy , Krithi Ramamritham: Handling Client Mobility and Intermittent Connectivity in Mobile Web Accesses. Mobile Data Management 2003 : 401-407 Ratul kr. Majumdar , Kannan M. Moudgalya , Krithi Ramamritham: Adaptive Coherency Maintenance Techniques for Time-Varying Data. RTSS 2003 : 98-107 Shetal Shah , Shyamshankar Dharmarajan , Krithi Ramamritham: An Efficient and Resilient Approach to Filtering and Disseminating Streaming Data. VLDB 2003 : 57-68 Krithi Ramamritham, Kavi Arya : System Support for Embedded Applications. VLSI Design 2003 : 22- Sandeep Pandey , Krithi Ramamritham, Soumen Chakrabarti : Monitoring the dynamic web to respond to continuous queries. WWW 2003 : 659-668 Anoop George Ninan , Purushottam Kulkarni , Prashant J. Shenoy , Krithi Ramamritham, Renu Tewari : Scalable Consistency Maintenance in Content Distribution Networks Using Cooperative Leases. IEEE Trans. Knowl. Data Eng. 15 (4): 813-828 (2003) Debra E. VanderMeer , Anindya Datta , Kaushik Dutta , Krithi Ramamritham, Shamkant B. Navathe : Mobile User Recovery in the Context of Internet Transactions. IEEE Transactions on Mobile Computing 2 (2): 132-146 (2003) Prashant J. Shenoy , Saif Hasan , Purushottam Kulkarni , Krithi Ramamritham: Middleware versus Native OS Support: Architectural Considerations for Supporting Multimedia Applications. IEEE Real Time Technology and Applications Symposium 2002 : 23- Pau Martí , Josep M. Fuertes , Gerhard Fohler , Krithi Ramamritham: Improving Quality-of-Control Using Flexible Timing Constraints: Metric and Scheduling Issues. IEEE Real-Time Systems Symposium 2002 : 91- Manish Bhide , Krithi Ramamritham, Prashant J. Shenoy : Efficiently Maintaining Stock Portfolios up-to-date on the Web. RIDE 2002 Anuj Maheshwari , Aashish Sharma , Krithi Ramamritham, Prashant J. Shenoy : Transcoding and Caching Proxies for Heterogenous E-Commerce Clients. RIDE 2002 Anindya Datta , Kaushik Dutta , Helen M. Thomas , Debra E. VanderMeer , Suresha , Krithi Ramamritham: Proxy-based acceleration of dynamically generated content on the world wide web: an approach and implementation. SIGMOD Conference 2002 : 97-108 Kam-yiu Lam , Alan Kwan , Krithi Ramamritham: RTMonitor: Real-Time Data Monitoring Using Mobile Agent Technologies. VLDB 2002 : 1063-1066 Anandi Herlekar , Atul Deopujari , Krithi Ramamritham, Shaymsunder Gopale , Shridhar Shukla : enTrans: A System for Flexible Consistency Maintenance in Directory Applications. VLDB 2002 : 1095-1098 Shetal Shah , Krithi Ramamritham, Prashant J. Shenoy : Maintaining Coherency of Dynamic Data in Cooperating Repositories. VLDB 2002 : 526-537 Anindya Datta , Kaushik Dutta , Helen M. Thomas , Debra E. VanderMeer , Krithi Ramamritham, Suresha : A Proxy-Based Approach for Dynamic Content Acceleration on the WWW. WECWIS 2002 : 159-164 Aameek Singh , Abhishek Trivedi , Krithi Ramamritham, Prashant J. Shenoy : PTC : Proxies that Transcode and Cache in Heterogeneous Web Client Environments. WISE 2002 : 11-20 Anoop George Ninan , Purushottam Kulkarni , Prashant J. Shenoy , Krithi Ramamritham, Renu Tewari : Cooperative leases: scalable consistency maintenance in content distribution networks. WWW 2002 : 1-12 Anindya Datta , Kaushik Dutta , Helen M. Thomas , Debra E. VanderMeer , Krithi Ramamritham: Accelerating Dynamic Web Content Generation. IEEE Internet Computing 6 (5): 27-36 (2002) Cris Pedregal-Martin , Krithi Ramamritham: Support for Recovery in Mobile Systems. IEEE Trans. Computers 51 (10): 1219-1224 (2002) Manish Bhide , Pavan Deolasee , Amol Katkar , Ankur Panchbudhe , Krithi Ramamritham, Prashant J. Shenoy : Adaptive Push-Pull: Disseminating Dynamic Web Data. IEEE Trans. Computers 51 (6): 652-668 (2002) Ming Xiong , Krithi Ramamritham, John A. Stankovic , Donald F. Towsley , Rajendran M. Sivasankaran : Scheduling Transactions with Temporal Constraints: Exploiting Data Semantics. IEEE Trans. Knowl. Data Eng. 14 (5): 1155-1166 (2002) Anindya Datta , Debra E. VanderMeer , Krithi Ramamritham: Parallel Star Join + DataIndexes: Efficient Query Processing in Data Warehouses and OLAP. IEEE Trans. Knowl. Data Eng. 14 (6): 1299-1316 (2002) Ming Xiong , Krithi Ramamritham, Jayant R. Haritsa , John A. Stankovic : MIRROR: a state-conscious concurrency control protocol for replicated real-time databases. Inf. Syst. 27 (4): 277-297 (2002) Kaushik Dutta , Debra E. VanderMeer , Anindya Datta , Krithi Ramamritham: Discovering critical edge sequences in E-commerce catalogs. ACM Conference on Electronic Commerce 2001 : 65-74 Bhuvan Urgaonkar , Anoop George Ninan , Mohammad S. Raunak , Prashant J. Shenoy , Krithi Ramamritham: Maintaining Mutual Consistency for Cached Web Objects. ICDCS 2001 : 371-380 Pau Martí , Josep M. Fuertes , Krithi Ramamritham, Gerhard Fohler : Jitter Compensation for Real-Time Control Systems. IEEE Real-Time Systems Symposium 2001 : 39-48 Rajendran M. Sivasankaran , Krithi Ramamritham, John A. Stankovic : System Failure and Recovery. Real-Time Database Systems 2001 : 109-124 Jayant R. Haritsa , Krithi Ramamritham, Ramesh Gupta : Real-Time Commit Processing. Real-Time Database Systems 2001 : 227-243 Pavan Deolasee , Amol Katkar , Ankur Panchbudhe , Krithi Ramamritham, Prashant J. Shenoy : Dissemination of Dynamic Data. SIGMOD Conference 2001 Anindya Datta , Kaushik Dutta , Krithi Ramamritham, Helen M. Thomas , Debra E. VanderMeer : Dynamic Content Acceleration: A Caching Solution to Enable Scalable Dynamic Web Page Generation. SIGMOD Conference 2001 Hoshi Mistry , Prasan Roy , S. Sudarshan , Krithi Ramamritham: Materialized View Selection and Maintenance Using Multi-Query Optimization. SIGMOD Conference 2001 Kaushik Dutta , Debra E. VanderMeer , Anindya Datta , Krithi Ramamritham: User Action Recovery in Internet SAGAs (iSAGAs). TES 2001 : 132-146 Anindya Datta , Kaushik Dutta , Helen M. Thomas , Debra E. VanderMeer , Krithi Ramamritham, Dan Fishman : A Comparative Study of Alternative Middle Tier Caching Solutions to Support Dynamic Web Content Acceleration. VLDB 2001 : 667-670 Pavan Deolasee , Amol Katkar , Ankur Panchbudhe , Krithi Ramamritham, Prashant J. Shenoy : Adaptive push-pull: disseminating dynamic web data. WWW 2001 : 265-274 Anindya Datta , Kaushik Dutta , Debra E. VanderMeer , Krithi Ramamritham, Shamkant B. Navathe : An architecture to support scalable online personalization on the Web. VLDB J. 10 (1): 104-117 (2001) Debra E. VanderMeer , Kaushik Dutta , Anindya Datta , Krithi Ramamritham, Shamkant B. Navathe : Enabling scalable online personalization on the Web. ACM Conference on Electronic Commerce 2000 : 185-196 Krithi Ramamritham, Pavan Deolasee , Amol Katkar , Ankur Panchbudhe , Prashant J. Shenoy : Dissemination of Dynamic Data on the Internet. DNIS 2000 : 173-187 Mohammad S. Raunak , Prashant J. Shenoy , Pawan Goyal , Krithi Ramamritham: Implications of proxy caching for provisioning networks and servers. SIGMETRICS 2000 : 66-77 Anindya Datta , Debra E. VanderMeer , Krithi Ramamritham, Shamkant B. Navathe : Toward a Comprehensive Model of the Content and Structure, and User Interaction of a Web Site. TES 2000 : 63-76 Kaushik Dutta , Anindya Datta , Debra E. VanderMeer , Krithi Ramamritham, Helen M. Thomas : Demonstration: Enabling Scalable Online Personalization on the Web. VLDB 2000 : 631-634 Krithi Ramamritham, Yeha El Atfi , Carlo Batini , Michael Eitan , Valerie Gregg , D. B. Phatak : Social, Educational, and Governmental Change Enabled through Information Technology. VLDB 2000 : 651-654 V. Vinay , Krithi Ramamritham: Scheduling Algorithms for the Broadcast Delivery of Multimedia Products. WECWIS 2000 : 200-207 Krithi Ramamritham: Review - Data Processing Spheres of Control. ACM SIGMOD Digital Review 2 : (2000) Krithi Ramamritham: Review - DynaMat: A Dynamic View Management System for Data Warehouses. ACM SIGMOD Digital Review 2 : (2000) Krithi Ramamritham: Review - Multi-Level Multi-Channel Air Cache Designs for Broadcasting in a Mobile Environment. ACM SIGMOD Digital Review 2 : (2000) Krithi Ramamritham: Review - View Indexing in Relational Databases. ACM SIGMOD Digital Review 2 : (2000) Jayant R. Haritsa , Krithi Ramamritham, Ramesh Gupta : The PROMPT Real-Time Commit Protocol. IEEE Trans. Parallel Distrib. Syst. 11 (2): 160-181 (2000) Jayant R. Haritsa , Krithi Ramamritham: Real-Time Database Systems in the New Millenium. Real-Time Systems 19 (3): 205-208 (2000) Devavrat Shah , Laks V. S. Lakshmanan , Krithi Ramamritham, S. Sudarshan : Interestingness and Pruning of Mined Patterns. 1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery 1999 Kiran B. Goyal , Krithi Ramamritham, Anindya Datta , Helen M. Thomas : Indexing and Compression in Data Warehouses. DMDW 1999 : 11 Ming Xiong , Krithi Ramamritham, Jayant R. Haritsa , John A. Stankovic : MIRROR: A State-Conscious Concurrency Control Protocol for Replicated Real-Time Databases. IEEE Real Time Technology and Applications Symposium 1999 : 100-110 Chia Shen , Oscar González , Krithi Ramamritham, Ichiro Mizunuma : User Level Scheduling of Communicating Real-Time Tasks. IEEE Real Time Technology and Applications Symposium 1999 : 164-175 Ming Xiong , Krithi Ramamritham: Deriving Deadlines and Periods for Real-Time Update Transactions. IEEE Real-Time Systems Symposium 1999 : 32-43 Cris Pedregal Martin , Krithi Ramamritham: Recovery Guarantees in Mobile Systems. MobiDE 1999 : 22-28 Jayavel Shanmugasundaram , Arvind Nithrakashyap , Rajendran M. Sivasankaran , Krithi Ramamritham: Efficient Concurrency Control for Broadcast Environments. SIGMOD Conference 1999 : 85-96 Anindya Datta , Krithi Ramamritham, Helen M. Thomas : Curio: A Novel Solution for Efficient Storage and Indexing in Data Warehouses. VLDB 1999 : 730-733 Ming Xiong , Krithi Ramamritham, Jayant R. Haritsa , John A. Stankovic : Mirror: A State-Conscious Concurrency Control Protocol for Replicated Real-Time Databases. WECWIS 1999 : 20-29 Neeraj Suri , Krithi Ramamritham: Editorial: Special Section on Dependable Real-Time Systems. IEEE Trans. Parallel Distrib. Syst. 10 (6): 529-532 (1999) John A. Stankovic , Krithi Ramamritham, Douglas Niehaus , Marty Humphrey , Gary Wallace : The Spring System: Integrated Support for Complex Real-Time Systems. Real-Time Systems 16 (2-3): 223-251 (1999) Babak Hamidzadeh , Yacine Atif , Krithi Ramamritham: To Schedule or to Execute: Decision Support and Performance Implications. Real-Time Systems 16 (2-3): 281-313 (1999) Mohan Kamath , Krithi Ramamritham: Failure Handling and Coordinated Execution of Concurrent Workflows. ICDE 1998 : 334-341 Krithi Ramamritham, Chia Shen , Oscar González , Subhabrata Sen , S. Shirgurkar : Using Windows NT for Real-Time Applications: Experimental Observations and Recommendations. IEEE Real Time Technology and Applications Symposium 1998 : 102-111 R. Srinivasan , C. Liang , Krithi Ramamritham: Maintaining Temporal Coherency of Virtual Data Warehouses. IEEE Real-Time Systems Symposium 1998 : 60- Narain H. Gehani , Krithi Ramamritham, Jayavel Shanmugasundaram , Oded Shmueli : Accessing Extra-Database Information: Concurrency Control and Correctness. Inf. Syst. 23 (7): 439-462 (1998) G. Manimaran , C. Siva Ram Murthy , Krithi Ramamritham: A New Approach for Scheduling of Parallelizable Tasks in Real-Time Multiprocessor Systems. Real-Time Systems 15 (1): 39-60 (1998) Richard T. Snodgrass , Laura M. Haas , Alberto O. Mendelzon , Z. Meral Özsoyoglu , Jan Paredaens , Krithi Ramamritham, Nick Roussopoulos , Jennifer Widom , Philip S. Yu : Reminiscences on Influential Papers. SIGMOD Record 27 (4): 81-85 (1998) Cris Pedregal Martin , Krithi Ramamritham: Delegation: Efficiently Rewriting History. ICDE 1997 : 266-275 Ping Xuan , Subhabrata Sen , Oscar González , Jesus Fernandez , Krithi Ramamritham: Broadcast on Demand: Efficient and Timely Dissemination of Data in Mobile Environments. IEEE Real Time Technology and Applications Symposium 1997 : 38-48 Ramesh Gupta , Jayant R. Haritsa , Krithi Ramamritham: More optimism about real-time distributed commit processing. IEEE Real-Time Systems Symposium 1997 : 123-133 Oscar González , H. Shrikumar , John A. Stankovic , Krithi Ramamritham: Adaptive fault tolerance and graceful degradation under dynamic hard real-time scheduling. IEEE Real-Time Systems Symposium 1997 : 79-89 Ming Xiong , Krithi Ramamritham: Specification and Analysis of Transactions in Real-Time Active Databases. RTDB 1997 : 327- Ramesh Gupta , Jayant R. Haritsa , Krithi Ramamritham: Revisiting Commit Processing in Distributed Database Systems. SIGMOD Conference 1997 : 486-497 Cris Pedregal Martin , Krithi Ramamritham: Toward Formalizing Recovery of (Advanced) Transactions. Advanced Transaction Models and Architectures 1997 : 0- Jayavel Shanmugasundaram , Arvind Nithrakasyap , Jitendra Padhye , Rajendran M. Sivasankaran , Ming Xiong , Krithi Ramamritham: Transaction Processing in Broadcast Disk Environments. Advanced Transaction Models and Architectures 1997 : 0- Krithi Ramamritham: Computer Science Research in India. IEEE Computer 30 (6): 40-47 (1997) G. Manimaran , C. Siva Ram Murthy , Machiraju Vijay , Krithi Ramamritham: New Algorithms for Resource Reclaiming from Precedence Constrained Tasks in Multiprocessor Real-Time Systems. J. Parallel Distrib. Comput. 44 (2): 123-132 (1997) Krithi Ramamritham, Nandit Soparkar : Report on DART '96: Databases: Active and Real-Time (Concepts meet Practice). SIGMOD Record 26 (3): 51-53 (1997) Carlton Bickford , Marie S. Teo , Gary Wallace , John A. Stankovic , Krithi Ramamritham: A robotic assembly application on the Spring real-time system. IEEE Real Time Technology and Applications Symposium 1996 : 19-28 Hiroyuki Kaneko , John A. Stankovic , Subhabrata Sen , Krithi Ramamritham: Integrated scheduling of multimedia and hard real-time tasks. IEEE Real-Time Systems Symposium 1996 : 206- Ramesh Gupta , Jayant R. Haritsa , Krithi Ramamritham, S. Seshadri : Commit processing in distributed real-time database systems. IEEE Real-Time Systems Symposium 1996 : 220-229 Ming Xiong , Rajendran M. Sivasankaran , John A. Stankovic , Krithi Ramamritham, Donald F. Towsley : Scheduling transactions with temporal constraints: exploiting data semantics. IEEE Real-Time Systems Symposium 1996 : 240- Ming Xiong , John A. Stankovic , Krithi Ramamritham, Donald F. Towsley , Rajendran M. Sivasankaran : Maintaining Temporal Consistency: Issues and Algorithms. RTDB 1996 : 1-6 Mohan Kamath , Krithi Ramamritham: Efficient Transaction Support for Dynamic Information Retrieval Systems. SIGIR 1996 : 147-155 Shehan Xavier , Krithi Ramamritham: Implementation Considerations and Performance Evaluation of Object-Based Concurrency Control Protocols. Performance of Concurrency Control Mechanisms in Centralized Database Systems 1996 : 356-386 Patrick E. O'Neil , Krithi Ramamritham, Calton Pu : A Two-Phase Approach to Predictably Scheduling Real-Time Transactions. Performance of Concurrency Control Mechanisms in Centralized Database Systems 1996 : 494-522 Krithi Ramamritham: Predictability: Demonstrating Real-Time Properties. ACM Comput. Surv. 28 (4es): 186 (1996) Krithi Ramamritham: Application-Oriented Database Support. ACM Comput. Surv. 28 (4es): article 87 (1996) Mohan Kamath , Krithi Ramamritham: Correctness issues in workflow management. Distributed Systems Engineering 3 (4): 213-221 (1996) Rohan F. M. Aranha , Venkatesh Ganti , Srinivasa Narayanan , C. R. Muthukrishnan , S. T. S. Prasad , Krithi Ramamritham: Implementation of a Real-Time Database System. Inf. Syst. 21 (1): 55-74 (1996) Krithi Ramamritham, Rajendran M. Sivasankaran , John A. Stankovic , Donald F. Towsley , Ming Xiong : Integrating Temporal, Real-Time, and Active Databases. SIGMOD Record 25 (1): 8-12 (1996) Rajendran M. Sivasankaran , John A. Stankovic , Donald F. Towsley , Bhaskar Purimetla , Krithi Ramamritham: Priority Assignment in Real-Time Active Databases VLDB J. 5 (1): 19-34 (1996) Krithi Ramamritham, Panos K. Chrysanthis : A Taxonomy of Correctness Criteria in Database Applications VLDB J. 5 (1): 85-97 (1996) Rajendran M. Sivasankaran , Krithi Ramamritham, John A. Stankovic , Donald F. Towsley : Data Placement, Logging and Recovery in Real-Time Active Databases. ARTDB 1995 : 226-241 Krithi Ramamritham: The Origin of TCs. ARTDB 1995 : 50-62 R. F. M. Aranha , Venkatesh Ganti , Srinivasa Prasanna , C. R. Muthukrishnan , S. T. S. Prasad , Krithi Ramamritham: Design, Implementation and Performance of a Real-Time Version of a Commercial RDBMS. COMAD 1995 : 0- Mohan Kamath , Krithi Ramamritham, Donald F. Towsley : Continuous Media Sharing in Multimedia Database Systems. DASFAA 1995 : 79-86 Douglas Niehaus , John A. Stankovic , Krithi Ramamritham: A real-time system description language. IEEE Real Time Technology and Applications Symposium 1995 : 104-115 Lory D. Molesky , Krithi Ramamritham: Recovery Protocols for Shared Memory Database Systems. SIGMOD Conference 1995 : 11-22 Fuxing Wang , Krithi Ramamritham, John A. Stankovic : Determining Redundancy Levels for Fault Tolerant Real-Time Systems. IEEE Trans. Computers 44 (2): 292-301 (1995) Krithi Ramamritham, Calton Pu : A Formal Characterization of Epsilon Serializability. IEEE Trans. Knowl. Data Eng. 7 (6): 997-1007 (1995) Krithi Ramamritham: Allocation and Scheduling of Precedence-Related Periodic Tasks. IEEE Trans. Parallel Distrib. Syst. 6 (4): 412-420 (1995) Krithi Ramamritham: Guest Editor's Introduction. IEEE Trans. Software Eng. 21 (7): 577-578 (1995) Panos K. Chrysanthis , Krithi Ramamritham: Autonomy Requirements in Heterogeneous Distributed Database Systems. COMAD 1994 : 283-302 Bhaskar Purimetla , Rajendran M. Sivasankaran , John A. Stankovic , Krithi Ramamritham, Donald F. Towsley : Priority Assignment in Real-Time Active Databases. PDIS 1994 : 176-184 Alexandros Biliris , Shaul Dar , Narain H. Gehani , H. V. Jagadish , Krithi Ramamritham: ASSET: A System for Supporting Extended Transactions. SIGMOD Conference 1994 : 44-54 Panos K. Chrysanthis , Krithi Ramamritham: Synthesis of Extended Transaction Models Using ACTA. ACM Trans. Database Syst. 19 (3): 450-491 (1994) John A. Stankovic , Krithi Ramamritham: Advances in Real-Time Systems. IEEE Computer Society 1993 Wayne Burleson , Jason Ko , Douglas Niehaus , Krithi Ramamritham, John A. Stankovic , Gary Wallace , Charles C. Weems : The Spring Scheduling Co-Processor: A Scheduling Accelerator. ICCD 1993 : 140-144 Mohan Kamath , Krithi Ramamritham: Performance Characteristics of Epsilon Serializability with Hierarchical Inconsistency Bounds. ICDE 1993 : 587-594 Douglas Niehaus , Krithi Ramamritham, John A. Stankovic , Gary Wallace , Charles C. Weems , Wayne Burleson , Jason Ko : The Spring Scheduling Co-Processor: Design, Use, and Performance. IEEE Real-Time Systems Symposium 1993 : 106-111 Krithi Ramamritham: Real-Time Databases. Distributed and Parallel Databases 1 (2): 199-226 (1993) Panos K. Chrysanthis , Krithi Ramamritham: Delegation in ACTA to Control Sharing in Extended Transactions. IEEE Data Eng. Bull. 16 (2): 16-19 (1993) Chia Shen , Krithi Ramamritham, John A. Stankovic : Resource Reclaiming in Multiprocessor Real-Time Systems. IEEE Trans. Parallel Distrib. Syst. 4 (4): 382-397 (1993) Victor Yodaiken , Krithi Ramamritham: Verification of a Reliable Net Protocol. FTRTFT 1992 : 193-215 Krithi Ramamritham, Panos K. Chrysanthis : In Search of Acceptability Citeria: Database Consistency Requirements and Transaction Correctness properties. IWDOM 1992 : 212-230 Panos K. Chrysanthis , Krithi Ramamritham: ACTA: A Comprehensive TransAction Framework for Extended Transactions. RIDE-TQP 1992 : 221 Panos K. Chrysanthis , Krithi Ramamritham: ACTA: The SAGA Continues Database Transaction Models for Advanced Applications 1992 : 349-397 B. R. Badrinath , Krithi Ramamritham: Semantics-Based Concurrency Control: Beyond Commutativity. ACM Trans. Database Syst. 17 (1): 163-199 (1992) Jiandong Huang , John A. Stankovic , Krithi Ramamritham, Donald F. Towsley , Bhaskar Purimetla : Priority Inheritance in Soft Real-Time Databases. Real-Time Systems 4 (3): 243-268 (1992) Krithi Ramamritham, J. Eliot B. Moss , John A. Stankovic , David W. Stemple , W. Bruce Croft , Donald F. Towsley : Summary of Database Research Activities at The University of Massachusetts, Amherst. SIGMOD Record 21 (1): 139-143 (1992) Jiandong Huang , John A. Stankovic , Krithi Ramamritham, Donald F. Towsley : On Using Priority Inheritance In Real-Time Databases. IEEE Real-Time Systems Symposium 1991 : 210-221 Panos K. Chrysanthis , S. Raghuram , Krithi Ramamritham: Extracting Concurrency from Objects: A Methodology. SIGMOD Conference 1991 : 108-117 Panos K. Chrysanthis , Krithi Ramamritham: A Formalism for Extended Transaction Model. VLDB 1991 : 103-112 Krithi Ramamritham, Sang Hyuk Son , Alejandro P. Buchmann , Klaus R. Dittrich , C. Mohan : Real-Time Databases (Panel). VLDB 1991 : 313 Jiandong Huang , John A. Stankovic , Krithi Ramamritham, Donald F. Towsley : Experimental Evaluation of Real-Time Optimistic Concurrency Control Schemes. VLDB 1991 : 35-46 John A. Stankovic , Krithi Ramamritham: The Spring Kernel: A New Paradigm for Real-Time Systems. IEEE Software 8 (3): 62-72 (1991) K. Arvind , Krithi Ramamritham, John A. Stankovic : A Local Area Network Architecture for Communication in Distributed Real-Time Systems. Real-Time Systems 3 (2): 115-147 (1991) Narain H. Gehani , Krithi Ramamritham: Real-Time Concurrent C: A Language for Programming Dynamic Real-Time Systems. Real-Time Systems 3 (4): 377-405 (1991) Victor Yodaiken , Krithi Ramamritham: Specifying and Verifying a Real-Time Priority Queue with Modal Algebra. IEEE Real-Time Systems Symposium 1990 : 300-311 Chia Shen , Krithi Ramamritham, John A. Stankovic : Resource Reclaiming in Real-Time. IEEE Real-Time Systems Symposium 1990 : 41-50 B. R. Badrinath , Krithi Ramamritham: Performance Evaluation of Semantics-based Multilevel Concurrency Control Protocols. SIGMOD Conference 1990 : 163-172 Panos K. Chrysanthis , Krithi Ramamritham: ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior. SIGMOD Conference 1990 : 194-203 Wei Zhao , John A. Stankovic , Krithi Ramamritham: A Window Protocol for Transmission of Time-Constrained Messages. IEEE Trans. Computers 39 (9): 1186-1203 (1990) Krithi Ramamritham, John A. Stankovic , Perng-Fei Shiah : Efficient Scheduling Algorithms for Real-Time Multiprocessor Systems. IEEE Trans. Parallel Distrib. Syst. 1 (2): 184-194 (1990) John A. Stankovic , Krithi Ramamritham: Editorial: What is Predictability for Real-Time Systems? Real-Time Systems 2 (4): 247-254 (1990) Krithi Ramamritham, John A. Stankovic , Perng-Fei Shiah : O (n) Scheduling Algorithms for Real-Time Multiprocessor Systems. ICPP (3) 1989 : 143-152 Jiandong Huang , John A. Stankovic , Donald F. Towsley , Krithi Ramamritham: Experimental Evaluation of Real-Time Transaction Processing. IEEE Real-Time Systems Symposium 1989 : 144-155 Krithi Ramamritham, John A. Stankovic , Wei Zhao : Distributed Scheduling of Tasks with Deadlines and Resource Requirements. IEEE Trans. Computers 38 (8): 1110-1123 (1989) John A. Stankovic , Krithi Ramamritham: The Spring Kernel: A New Paradigm for Real-Time Operating Systems. Operating Systems Review 23 (3): 54-71 (1989) Lui Sha , Ragunathan Rajkumar , John P. Lehoczky , Krithi Ramamritham: Mode Change Protocols for Priority-Driven Preemptive Scheduling. Real-Time Systems 1 (3): 243-264 (1989) Wei Zhao , John A. Stankovic , Krithi Ramamritham: A Multi-Access Window Protocol for Transmission of Time Constrained Messages. ICDCS 1988 : 384-392 Sara R. Biyabani , John A. Stankovic , Krithi Ramamritham: The Integration of Deadline and Criticalness in Hard Real-Time Scheduling. IEEE Real-Time Systems Symposium 1988 : 152-160 B. R. Badrinath , Krithi Ramamritham: Synchronizing Transactions on Objects. IEEE Trans. Computers 37 (5): 541-547 (1988) Krithi Ramamritham, John A. Stankovic , Wei Zhao : Meta-Level Control in Distributed Real-Time Systems. ICDCS 1987 : 10-17 B. R. Badrinath , Krithi Ramamritham: Semantics-Based Concurrency Control: Beyond Commutativity. ICDE 1987 : 304-311 John A. Stankovic , Krithi Ramamritham: The Design of the Spring Kernel. IEEE Real-Time Systems Symposium 1987 : 146-157 Krithi Ramamritham: Channel Characteristics in Local-Area Hard Real-Tlime Systems. Computer Networks 13 : 3-13 (1987) Wei Zhao , Krithi Ramamritham, John A. Stankovic : Preemptive Scheduling Under Time and Resource Constraints. IEEE Trans. Computers 36 (8): 949-960 (1987) Wei Zhao , Krithi Ramamritham, John A. Stankovic : Scheduling Tasks with Resource Requirements in Hard Real-Time Systems. IEEE Trans. Software Eng. 13 (5): 564-577 (1987) Wei Zhao , Krithi Ramamritham: Virtual Time CSMA Protocols for Hard Real-Time Communication. IEEE Trans. Software Eng. 13 (8): 938-952 (1987) Krithi Ramamritham: Verification of resource controller processes. Inf. Syst. 12 (1): 57-67 (1987) Stephen Vinter , Krithi Ramamritham, David W. Stemple : Recoverable Actions in Gutenberg. ICDCS 1986 : 242-249 Wei Zhao , Krithi Ramamritham: A Virtual Time CSMA Protocol for Hard Real Time Communication. IEEE Real-Time Systems Symposium 1986 : 120-127 Shengchang Cheng , John A. Stankovic , Krithi Ramamritham: Dynamic Scheduling of Groups of Tasks with Precedence Constraints in Distributed Hard Real-Time Systems. IEEE Real-Time Systems Symposium 1986 : 166-174 David W. Stemple , Stephen Vinter , Krithi Ramamritham: Functional Addressing in Gutenberg: Interprocess Communication without Process Indentifiers. IEEE Trans. Software Eng. 12 (11): 1056-1066 (1986) Krithi Ramamritham, David W. Stemple , David A. Briggs , Stephen Vinter : Privilege Transfer and Revocation in a Port-Based System. IEEE Trans. Software Eng. 12 (5): 635-648 (1986) Krithi Ramamritham, David W. Stemple , Stephen Vinter : Decentralized Access Control in a Distributed System. ICDCS 1985 : 524-531 Wei Zhao , Krithi Ramamritham: Distributed Scheduling Using Bidding and Focused Addressing. IEEE Real-Time Systems Symposium 1985 : 103-111 John A. Stankovic , Krithi Ramamritham, Shengchang Cheng : Evaluation of a Flexible Task Scheduling Algorithm for Distributed Hard Real-Time Systems. IEEE Trans. Computers 34 (12): 1130-1143 (1985) Krithi Ramamritham: Synthesizing Code for Resource Controllers. IEEE Trans. Software Eng. 11 (8): 774-783 (1985) Krithi Ramamritham: Enabling local actions by global consensus. Inf. Syst. 10 (3): 319-324 (1985) Krithi Ramamritham, John A. Stankovic : Dynamic Task Scheduling in Distributed Real-Time Systems. ICDCS 1984 : 96-107 Krithi Ramamritham: Resource Controller Tasks in Ada: Their Structure and Semantics. ICSE 1984 : 67-77 David W. Stemple , Krithi Ramamritham, Stephen Vinter , Tim Sheard : Operating System Support for Abstract Data(base) Types. ICOD 1983 : 179-195 Krithi Ramamritham, David W. Stemple , Stephen Vinter : Primitives for Accessing Protected Objects. Symposium on Reliability in Distributed Software and Database Systems 1983 : 114-122 Krithi Ramamritham, Robert M. Keller : Specification of Synchronizing Processes. IEEE Trans. Software Eng. 9 (6): 722-733 (1983) Krithi Ramamritham: Correctness of a distributed transaction system. Inf. Syst. 8 (4): 309-325 (1983) Krithi Ramamritham, Robert M. Keller : On synchronization and its specification. CONPAR 1981 : 271-282 Krithi Ramamritham, Robert M. Keller : Specifying and Proving Properties of Sentinel Processes. ICSE 1981 : 374-386 1 [ 75 ] 2 [ 81 ] 3 [ 43 ] 4 [ 167 ] [ 179 ] 5 [ 129 ] 6 [ 110 ] 7 [ 25 ] [ 27 ] [ 39 ] [ 52 ] 8 [ 129 ] 9 [ 150 ] [ 161 ] 10 [ 92 ] 11 [ 65 ] 12 [ 28 ] 13 [ 14 ] 14 [ 46 ] 15 [ 60 ] [ 62 ] 16 [ 166 ] 17 [ 175 ] 18 [ 11 ] [ 16 ] 19 [ 38 ] [ 47 ] [ 48 ] [ 53 ] [ 54 ] [ 55 ] [ 58 ] [ 64 ] [ 67 ] [ 78 ] [ 174 ] 20 [ 50 ] 21 [ 65 ] 22 [ 114 ] [ 120 ] [ 130 ] [ 131 ] [ 134 ] [ 135 ] [ 137 ] [ 138 ] [ 140 ] [ 146 ] [ 148 ] [ 152 ] [ 155 ] [ 159 ] [ 164 ] [ 176 ] 23 [ 177 ] 24 [ 133 ] [ 136 ] [ 141 ] [ 150 ] 25 [ 157 ] 26 [ 168 ] 27 [ 46 ] 28 [ 130 ] [ 134 ] [ 135 ] [ 137 ] [ 138 ] [ 140 ] [ 146 ] [ 152 ] [ 155 ] [ 159 ] [ 164 ] [ 176 ] 29 [ 129 ] 30 [ 102 ] 31 [ 137 ] 32 [ 144 ] [ 162 ] [ 179 ] 33 [ 144 ] [ 162 ] 34 [ 75 ] [ 81 ] 35 [ 42 ] [ 65 ] [ 106 ] 36 [ 100 ] [ 102 ] [ 108 ] [ 118 ] 37 [ 180 ] 38 [ 157 ] 39 [ 120 ] 40 [ 132 ] 41 [ 129 ] 42 [ 172 ] [ 173 ] 43 [ 90 ] [ 98 ] [ 101 ] [ 123 ] [ 142 ] 44 [ 104 ] 45 [ 110 ] 46 [ 90 ] [ 98 ] [ 101 ] [ 113 ] [ 119 ] [ 122 ] [ 123 ] [ 142 ] [ 147 ] 47 [ 163 ] 48 [ 157 ] 49 [ 33 ] [ 45 ] [ 49 ] [ 51 ] 50 [ 111 ] 51 [ 175 ] 52 [ 65 ] 53 [ 61 ] [ 74 ] [ 82 ] [ 87 ] [ 109 ] 54 [ 180 ] 55 [ 91 ] 56 [ 133 ] [ 136 ] [ 141 ] [ 150 ] 57 [ 1 ] [ 2 ] [ 4 ] 58 [ 60 ] [ 62 ] 59 [ 153 ] [ 163 ] [ 165 ] [ 170 ] 60 [ 158 ] 61 [ 121 ] 62 [ 158 ] [ 175 ] 63 [ 30 ] 64 [ 172 ] [ 173 ] 65 [ 107 ] 66 [ 160 ] 67 [ 169 ] [ 171 ] 68 [ 94 ] [ 105 ] 69 [ 144 ] [ 162 ] 70 [ 97 ] [ 103 ] [ 116 ] 71 [ 104 ] 72 [ 139 ] 73 [ 118 ] 74 [ 46 ] 75 [ 72 ] 76 [ 50 ] 77 [ 169 ] 78 [ 94 ] [ 105 ] 79 [ 75 ] [ 81 ] 80 [ 81 ] 81 [ 131 ] [ 134 ] [ 135 ] [ 164 ] [ 176 ] 82 [ 60 ] [ 62 ] [ 73 ] [ 111 ] 83 [ 145 ] [ 153 ] [ 165 ] 84 [ 115 ] 85 [ 96 ] 86 [ 85 ] 87 [ 104 ] 88 [ 96 ] 89 [ 133 ] [ 136 ] [ 141 ] [ 150 ] 90 [ 166 ] 91 [ 104 ] 92 [ 151 ] 93 [ 129 ] 94 [ 174 ] 95 [ 75 ] [ 81 ] 96 [ 75 ] 97 [ 70 ] [ 85 ] 98 [ 51 ] [ 66 ] [ 79 ] 99 [ 48 ] 100 [ 30 ] 101 [ 132 ] [ 145 ] 102 [ 104 ] 103 [ 139 ] 104 [ 91 ] [ 102 ] [ 108 ] 105 [ 90 ] 106 [ 30 ] 107 [ 121 ] 108 [ 156 ] [ 168 ] 109 [ 96 ] [ 106 ] [ 115 ] 110 [ 160 ] 111 [ 6 ] 112 [ 40 ] [ 57 ] [ 108 ] [ 118 ] 113 [ 178 ] 114 [ 132 ] [ 133 ] [ 136 ] [ 141 ] [ 145 ] [ 150 ] [ 153 ] [ 154 ] [ 156 ] [ 160 ] [ 161 ] [ 163 ] [ 165 ] [ 170 ] [ 172 ] 115 [ 34 ] [ 36 ] 116 [ 108 ] 117 [ 106 ] 118 [ 100 ] 119 [ 157 ] 120 [ 154 ] [ 178 ] 121 [ 66 ] [ 77 ] [ 79 ] [ 80 ] [ 88 ] [ 89 ] [ 96 ] [ 115 ] [ 143 ] [ 149 ] 122 [ 104 ] 123 [ 46 ] 124 [ 93 ] 125 [ 180 ] 126 [ 107 ] 127 [ 8 ] [ 11 ] [ 16 ] [ 21 ] [ 22 ] [ 24 ] [ 26 ] [ 28 ] [ 29 ] [ 31 ] [ 32 ] [ 33 ] [ 34 ] [ 35 ] [ 36 ] [ 37 ] [ 40 ] [ 43 ] [ 44 ] [ 45 ] [ 49 ] [ 50 ] [ 51 ] [ 57 ] [ 60 ] [ 62 ] [ 63 ] [ 66 ] [ 71 ] [ 73 ] [ 77 ] [ 79 ] [ 80 ] [ 88 ] [ 89 ] [ 91 ] [ 92 ] [ 100 ] [ 111 ] [ 113 ] [ 119 ] [ 143 ] [ 147 ] [ 149 ] 128 [ 5 ] [ 6 ] [ 13 ] [ 14 ] [ 15 ] [ 18 ] [ 50 ] 129 [ 121 ] [ 139 ] 130 [ 155 ] [ 159 ] 131 [ 112 ] 132 [ 172 ] [ 173 ] 133 [ 92 ] 134 [ 153 ] [ 165 ] 135 [ 114 ] [ 120 ] [ 130 ] [ 137 ] [ 140 ] [ 152 ] [ 155 ] [ 159 ] [ 176 ] 136 [ 33 ] [ 45 ] [ 49 ] [ 50 ] [ 51 ] [ 66 ] [ 74 ] [ 77 ] [ 79 ] [ 80 ] [ 88 ] [ 89 ] [ 149 ] 137 [ 154 ] [ 178 ] 138 [ 145 ] 139 [ 130 ] [ 131 ] [ 134 ] [ 135 ] [ 137 ] [ 138 ] [ 140 ] [ 146 ] [ 148 ] [ 152 ] [ 155 ] [ 159 ] [ 164 ] [ 176 ] 140 [ 94 ] 141 [ 177 ] 142 [ 128 ] 143 [ 5 ] [ 6 ] [ 13 ] [ 14 ] [ 15 ] [ 18 ] 144 [ 60 ] [ 62 ] [ 92 ] [ 111 ] 145 [ 71 ] 146 [ 60 ] [ 62 ] 147 [ 104 ] 148 [ 86 ] 149 [ 80 ] [ 88 ] [ 89 ] [ 96 ] [ 99 ] [ 113 ] [ 117 ] [ 119 ] [ 147 ] [ 149 ] [ 171 ] 150 [ 102 ] 151 [ 41 ] [ 56 ] 152 [ 104 ] 153 [ 12 ] [ 17 ] [ 20 ] [ 21 ] [ 22 ] [ 26 ] [ 29 ] [ 32 ] [ 37 ]  ©2004 Association for Computing Machinery |
