Binoy Ravindran

Available identifiers

zbMath Open ravindran.binoyMaRDI QIDQ202509

List of research outcomes

Publication	Date of Publication	Type
Brief Announcement: Crystalline: Fast and Memory Efficient Wait-Free Reclamation.	2023-12-08	Paper
Highly Automated Formal Proofs over Memory Usage of Assembly Code	2021-11-10	Paper
Hyaline: Fast and Transparent Lock-Free Memory Reclamation	2021-01-20	Paper
Space-Optimal, Wait-Free Real-Time Synchronization	2018-06-12	Paper
Utility Accrual Real-Time Scheduling under Variable Cost Functions	2018-06-12	Paper
Utility Accrual Real-Time Scheduling Under the Unimodal Arbitrary Arrival Model with Energy Bounds	2018-06-12	Paper
Brief Announcement	2017-09-29	Paper
Heterogenous Quorum-Based Wake-Up Scheduling in Wireless Sensor Networks	2017-07-27	Paper
Least-Latency Routing over Time-Dependent Wireless Sensor Networks	2017-07-12	Paper
HiperTM: high performance, fault-tolerant transactional memory	2017-06-19	Paper
On Open Nesting in Distributed Transactional Memory	2017-05-16	Paper
Distributed Transactional Contention Management as the Traveling Salesman Problem	2014-08-07	Paper
An experimental evaluation of the scalability of real-time scheduling algorithms on large-scale multicore platforms	2014-04-01	Paper
Utility accrual real-time scheduling for multiprocessor embedded systems	2012-03-07	Paper
T-L plane-based real-time scheduling for homogeneous multiprocessors	2012-03-07	Paper
On scheduling garbage collector in dynamic real-time systems with statistical timing assurances	2007-08-17	Paper
Proactive resource allocation for asynchronous real-time distributed systems in the presence of processor failures.	2004-03-14	Paper
Adaptive resource management algorithms for periodic tasks in dynamic real-time distributed systems.	2003-04-02	Paper
Resource management middleware for dynamic, dependable real-time systems	2001-09-09	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Binoy Ravindran