Binoy Ravindran

According to our database1, Binoy Ravindran authored at least 221 papers between 1995 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Lerna: Parallelizing Dependent Loops Using Speculation.
TOS, 2019

ezBFT: Decentralizing Byzantine Fault-Tolerant State Machine Replication.
CoRR, 2019

Spectrum: A Framework for Adapting Consensus Protocols.
CoRR, 2019

A binary-compatible unikernel.
Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2019

libMPNode: An OpenMP Runtime For Parallel Processing Across Incoherent Domains.
Proceedings of the 10th International Workshop on Programming Models and Applications for Multicores and Manycores, 2019

Scheduling HPC workloads on heterogeneous-ISA architectures: poster.
Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

Formally verified big step semantics out of x86-64 binaries.
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

2018
AIRA: A Framework for Flexible Compute Kernel Execution in Heterogeneous Platforms.
IEEE Trans. Parallel Distrib. Syst., 2018

Lerna: Parallelizing Dependent Loops Using Speculation.
Proceedings of the 11th ACM International Systems and Storage Conference, 2018

2017
Managing Resource Limitation of Best-Effort HTM.
IEEE Trans. Parallel Distrib. Syst., 2017

Optimistic Transactional Boosting.
IEEE Trans. Parallel Distrib. Syst., 2017

HiperTM: High performance, fault-tolerant transactional memory.
Theor. Comput. Sci., 2017

Speeding up Consensus by Chasing Fast Decisions.
CoRR, 2017

Swift Birth and Quick Death: Enabling Fast Parallel Guest Boot and Destruction in the Xen Hypervisor.
Proceedings of the 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2017

Transparent Fault-Tolerance Using Intra-Machine Full-Software-Stack Replication on Commodity Multicore Hardware.
Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

A Distributed Operating System Network Stack and Device Driver for Multicores.
Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

OS Support for Thread Migration and Distribution in the Fully Heterogeneous Datacenter.
Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

Speeding up Consensus by Chasing Fast Decisions.
Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017

Breaking the Boundaries in Heterogeneous-ISA Datacenters.
Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

2016
Automated Data Partitioning for Highly Scalable and Strongly Consistent Transactions.
IEEE Trans. Parallel Distrib. Syst., 2016

On Open Nesting in Distributed Transactional Memory.
IEEE Trans. Computers, 2016

Remote Transaction Commit: Centralizing Software Transactional Memory Commits.
IEEE Trans. Computers, 2016

Opacity vs TMS2: Expectations and Reality.
Proceedings of the Distributed Computing - 30th International Symposium, 2016

Exploiting Parallelism of Distributed Nested Transactions.
Proceedings of the 9th ACM International on Systems and Storage Conference, 2016

Extending TM Primitives using Low Level Semantics.
Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, 2016

On ordering transaction commit.
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

On designing NUMA-aware concurrency control for scalable transactional memory.
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

Brief Announcement: A Family of Leaderless Generalized-Consensus Algorithms.
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

A flattened hierarchical scheduler for real-time virtualization.
Proceedings of the 2016 International Conference on Embedded Software, 2016

Making Fast Consensus Generally Faster.
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

2015
On Scheduling in Distributed Transactional Memory: Techniques and Tradeoffs.
Proceedings of the Handbook on Data Centers, 2015

Harnessing Energy Efficiency of Heterogeneous-ISA Platforms.
Operating Systems Review, 2015

Transactional Interference-Less Balanced Tree.
Proceedings of the Distributed Computing - 29th International Symposium, 2015

Brief Announcement: On Scheduling Best-Effort HTM Transactions.
Proceedings of the 27th ACM on Symposium on Parallelism in Algorithms and Architectures, 2015

Brief Announcement: Managing Resource Limitation of Best-Effort HTM.
Proceedings of the 27th ACM on Symposium on Parallelism in Algorithms and Architectures, 2015

Harnessing energy efficiency of heterogeneous-ISA platforms.
Proceedings of the Workshop on Power-Aware Computing and Systems, 2015

Disjoint-Access Parallelism: Impossibility, Possibility, and Cost of Transactional Memory Implementations.
Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 2015

An Automated Framework for Decomposing Memory Transactions to Exploit Partial Rollback.
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium, 2015

On Exploiting Locality for Generalized Consensus.
Proceedings of the 35th IEEE International Conference on Distributed Computing Systems, 2015

On Preserving Data Integrity of Transactional Applications on Multicore Architectures.
Proceedings of the 35th IEEE International Conference on Distributed Computing Systems, 2015

Thread Migration in a Replicated-Kernel OS.
Proceedings of the 35th IEEE International Conference on Distributed Computing Systems, 2015

Reducing Aborts in Distributed Transactional Systems through Dependency Detection.
Proceedings of the 2015 International Conference on Distributed Computing and Networking, 2015

On Reducing False Conflicts in Distributed Transactional Data Structures.
Proceedings of the 2015 International Conference on Distributed Computing and Networking, 2015

Popcorn: bridging the programmability gap in heterogeneous-ISA platforms.
Proceedings of the Tenth European Conference on Computer Systems, 2015

Transaction Execution Models in Partially Replicated Transactional Memory: The Case for Data-Flow and Control-Flow.
Proceedings of the Transactional Memory. Foundations, Algorithms, Tools, and Applications, 2015

2014
Breaching the Wall of Impossibility Results on Disjoint-Access Parallel TM.
Proceedings of the Distributed Computing - 28th International Symposium, 2014

Automated Data Partitioning for Highly Scalable and Strongly Consistent Transactions.
Proceedings of the International Conference on Systems and Storage, 2014

Distributed Transactional Contention Management as the Traveling Salesman Problem.
Proceedings of the Structural Information and Communication Complexity, 2014

Applying source level auto-vectorization to Aparapi Java.
Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014

Optimistic transactional boosting.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Be General and Don't Give Up Consistency in Geo-Replicated Transactional Systems.
Proceedings of the Principles of Distributed Systems - 18th International Conference, 2014

On Developing Optimistic Transactional Lazy Set.
Proceedings of the Principles of Distributed Systems - 18th International Conference, 2014

On Making Transactional Applications Resilient to Data Corruption Faults.
Proceedings of the 2014 IEEE 13th International Symposium on Network Computing and Applications, 2014

Archie: a speculative replicated transactional system.
Proceedings of the 15th International Middleware Conference, 2014

Speculative client execution in deferred update replication.
Proceedings of the 9th Workshop on Middleware for Next Generation Internet Computing, 2014

Managing Soft-Errors in Transactional Systems.
Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014

Remote Invalidation: Optimizing the Critical Path of Memory Transactions.
Proceedings of the 2014 IEEE 28th International Parallel and Distributed Processing Symposium, 2014

HiperTM: High Performance, Fault-Tolerant Transactional Memory.
Proceedings of the Distributed Computing and Networking - 15th International Conference, 2014

On Cache-Aware Task Partitioning for Multicore Embedded Real-Time Systems.
Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

KairosVM: Deterministic introspection for real-time virtual machine hierarchical scheduling.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013
Probability-Based Prediction and Sleep Scheduling for Energy-Efficient Target Tracking in Sensor Networks.
IEEE Trans. Mob. Comput., 2013

Least-Latency Routing over Time-Dependent Wireless Sensor Networks.
IEEE Trans. Computers, 2013

HSG-LM: hybrid-copy speculative guest OS live migration without hypervisor.
Proceedings of the 6th Annual International Systems and Storage Conference, 2013

Hyflow2: a high performance distributed transactional memory framework in scala.
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, 2013

On the Viability of Speculative Transactional Replication in Database Systems: A Case Study with PostgreSQL.
Proceedings of the 2013 IEEE 12th International Symposium on Network Computing and Applications, 2013

HyflowCPP: A Distributed Transactional Memory Framework for C++.
Proceedings of the 2013 IEEE 12th International Symposium on Network Computing and Applications, 2013

Automated data partitioning for independent distributed transactions.
Proceedings of the Proceedings Demo & Poster Track of ACM/IFIP/USENIX International Middleware Conference, 2013

SMASH: speculative state machine replication in transactional systems.
Proceedings of the Proceedings Demo & Poster Track of ACM/IFIP/USENIX International Middleware Conference, 2013

On high performance distributed transactional data structures.
Proceedings of the Proceedings Demo & Poster Track of ACM/IFIP/USENIX International Middleware Conference, 2013

On Closed Nesting and Checkpointing in Fault-Tolerant Distributed Transactional Memory.
Proceedings of the 27th IEEE International Symposium on Parallel and Distributed Processing, 2013

Adaptive Live Migration to Improve Load Balancing in Virtual Machine Environment.
Proceedings of the Euro-Par 2013: Parallel Processing Workshops, 2013

Enhancing Concurrency in Distributed Transactional Memory through Commutativity.
Proceedings of the Euro-Par 2013 Parallel Processing, 2013

FBLT: a real-time contention manager with improved schedulability.
Proceedings of the Design, Automation and Test in Europe, 2013

ByteSTM: Virtual Machine-Level Java Software Transactional Memory.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

Scheduling Open-Nested Transactions in Distributed Transactional Memory.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

On transactional memory concurrency control in distributed real-time programs.
Proceedings of the 2013 IEEE International Conference on Cluster Computing, 2013

Scheduling Transactions in Replicated Distributed Software Transactional Memory.
Proceedings of the 13th IEEE/ACM International Symposium on Cluster, 2013

On real-time STM concurrency control for embedded software with improved schedulability.
Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

2012
An experimental evaluation of the scalability of real-time scheduling algorithms on large-scale multicore platforms.
ACM Journal of Experimental Algorithmics, 2012

On open nesting in distributed transactional memory.
Proceedings of the 5th Annual International Systems and Storage Conference, 2012

An experimental evaluation of real-time DVFS scheduling algorithms.
Proceedings of the 5th Annual International Systems and Storage Conference, 2012

Transactional Forwarding: Supporting Highly-Concurrent STM in Asynchronous Distributed Systems.
Proceedings of the IEEE 24th International Symposium on Computer Architecture and High Performance Computing, 2012

VPC: Scalable, Low Downtime Checkpointing for Virtual Clusters.
Proceedings of the IEEE 24th International Symposium on Computer Architecture and High Performance Computing, 2012

Implementing distributable real-time threads in the Linux kernel: programming interface and scheduling support.
Proceedings of the ACM Symposium on Applied Computing, 2012

STM concurrency control for multicore embedded real-time software: time bounds and tradeoffs.
Proceedings of the ACM Symposium on Applied Computing, 2012

Challenges in Distributed Real-Time Systems: Scheduling and Synchronization.
Proceedings of the REACTION 2012, 2012

A framework accommodating categorized multiprocessor real-time scheduling in the RTSJ.
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012

Scheduling Closed-Nested Transactions in Distributed Transactional Memory.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium, 2012

HydraVM: Extracting Parallelism from Legacy Sequential Code Using STM.
Proceedings of the 4th USENIX Workshop on Hot Topics in Parallelism, 2012

STM concurrency control for embedded real-time software with tighter time bounds.
Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2011
Self-organizing and self-reconfigurable event routing in ad hoc networks with causal dependency awareness.
TAAS, 2011

An Automatic Presence Service for Low Duty-Cycled Mobile Sensor Networks.
MONET, 2011

Achieving Max-Min lifetime and fairness with rate allocation for data aggregation in sensor networks.
Ad Hoc Networks, 2011

Snake: Control Flow Distributed Software Transactional Memory.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

On STM concurrency control for multicore embedded real-time software.
Proceedings of the 2011 International Conference on Embedded Computer Systems: Architectures, 2011

A Quorum-Based Replication Framework for Distributed Software Transactional Memory.
Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

Enhancing the Performance of High Availability Lightweight Live Migration.
Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

Completely Distributed Particle Filters for Target Tracking in Sensor Networks.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

HyFlow: a high performance distributed software transactional memory framework.
Proceedings of the 20th ACM International Symposium on High Performance Distributed Computing, 2011

ChronOS Linux: a best-effort real-time multiprocessor Linux kernel.
Proceedings of the 48th Design Automation Conference, 2011

2010
Recovering from distributable thread failures in distributed real-time Java.
ACM Trans. Embedded Comput. Syst., 2010

Lock-free synchronization for dynamic embedded real-time systems.
ACM Trans. Embedded Comput. Syst., 2010

Heterogenous Quorum-Based Wake-Up Scheduling in Wireless Sensor Networks.
IEEE Trans. Computers, 2010

T-L plane-based real-time scheduling for homogeneous multiprocessors.
J. Parallel Distrib. Comput., 2010

Utility accrual real-time scheduling for multiprocessor embedded systems.
J. Parallel Distrib. Comput., 2010

On Transactional Scheduling in Distributed Transactional Memory Systems.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

Lightweight Live Migration for High Availability Cluster Service.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

Brief announcement: queuing or priority queuing? on the design of cache-coherence protocols for distributed transactional memory.
Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

Brief announcement: on enhancing concurrency in distributed transactional memory.
Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

NAP: An Agent-Based Scheme on Reducing Churn-Induced Delays for P2P Live Streaming.
Proceedings of the IEEE Tenth International Conference on Peer-to-Peer Computing, 2010

On Minimizing Average End-to-End Delay in P2P Live Streaming Systems.
Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010

On Best-Effort Utility Accrual Real-Time Scheduling on Multiprocessors.
Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010

Dynamic analysis of the relay cache-coherence protocol for distributed transactional memory.
Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

On Distributed Time-Dependent Shortest Paths over Duty-Cycled Wireless Sensor Networks.
Proceedings of the INFOCOM 2010. 29th IEEE International Conference on Computer Communications, 2010

On Multihop Broadcast over Adaptively Duty-Cycled Wireless Sensor Networks.
Proceedings of the Distributed Computing in Sensor Systems, 2010

Event-Based System Architecture in Mobile Ad Hoc Networks (MANETs).
Proceedings of the Principles and Applications of Distributed Event-Based Systems, 2010

2009
Garbage Collector Scheduling in Dynamic, Multiprocessor Real-Time Systems.
IEEE Trans. Parallel Distrib. Syst., 2009

CFlood: A Constrained Flooding Protocol for Real-time Data Delivery in Wireless Sensor Networks.
Proceedings of the Stabilization, 2009

Location-Aware Cache-Coherence Protocols for Distributed Transactional Contention Management in Metric-Space Networks.
Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), 2009

On scheduling soft real-time tasks with lock-free synchronization for embedded devices.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Opportunistic real-time routing in multi-hop wireless sensor networks.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Response time analysis of software transactional memory-based distributed real-time systems.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

An Approximation Algorithm for Minimum-Delay Peer-to-Peer Streaming.
Proceedings of the Proceedings P2P 2009, 2009

Brief Announcement: Relay: A Cache-Coherence Protocol for Distributed Transactional Memory.
Proceedings of the Principles of Distributed Systems, 13th International Conference, 2009

On real-time capacity of event-driven data-gathering sensor networks.
Proceedings of the 6th Annual International Conference on Mobile and Ubiquitous Systems: Computing, 2009

On bounding response times under software transactional memory in distributed multiprocessor real-time systems.
Proceedings of the Design, Automation and Test in Europe, 2009

2008
Rate Allocation with Lifetime Maximization and Fairness for Data Aggregation in Sensor Networks.
Proceedings of the IEEE International Conference on Wireless and Mobile Computing, 2008

RTRD: Real-Time and Reliable Data Delivery in Ad Hoc Networks.
Proceedings of the WCNC 2008, IEEE Wireless Communications & Networking Conference, March 31 2008, 2008

On Scalable Synchronization for Distributed Embedded Real-Time Systems.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2008

On a Self-Organizing MANET Event Routing Architecture with Causal Dependency Awareness.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Scheduling distributable real-time threads in the presence of crash failures and message losses.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

SOQ: A Service-Oriented Quorum-Based Protocol for Resilient Real-Time Communication in Partitionable Networks.
Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008

CQS-Pair: Cyclic Quorum System Pair for Wakeup Scheduling in Wireless Sensor Networks.
Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

On Collaborative Scheduling of Distributable Real-Time Threads in Dynamic, Networked Embedded Systems.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Energy efficient sleep scheduling based on moving directions in target tracking sensor network.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Scheduling Dependent Distributable Real-Time Threads in Dynamic Networked Embedded Systems.
Proceedings of the Distributed Embedded Systems: Design, 2008

Integrated Real-Time Scheduling and Communication with Probabilistic Timing Assurances in Unreliable Distributed Systems.
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

Real-Time, Byzantine-Tolerant Information Dissemination in Unreliable and Untrustworthy Distributed Systems.
Proceedings of IEEE International Conference on Communications, 2008

RT-P2P: A Scalable Real-Time Peer-to-Peer System with Probabilistic Timing Assurances.
Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008

Energy Efficient Sleep Scheduling in Sensor Networks for Multiple Target Tracking.
Proceedings of the Distributed Computing in Sensor Systems, 2008

LRTG: Scheduling Distributed Real-Time Tasks in Unreliable and Untrustworthy Systems.
Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness.
Proceedings of the Reliable Software Technologies, 2008

RTQG: Real-Time Quorum-based Gossip Protocol for Unreliable Networks.
Proceedings of the The Third International Conference on Availability, 2008

2007
Utility Accrual Real-Time Scheduling Under the Unimodal Arbitrary Arrival Model with Energy Bounds.
IEEE Trans. Computers, 2007

Space-Optimal, Wait-Free Real-Time Synchronization.
IEEE Trans. Computers, 2007

Utility Accrual Real-Time Scheduling under Variable Cost Functions.
IEEE Trans. Computers, 2007

On scheduling garbage collector in dynamic real-time systems with statistical timing assurances.
Real-Time Systems, 2007

Probabilistic, Real-Time Scheduling of Distributable Threads Under Dependencies in Mobile, Ad Hoc Networks.
Proceedings of the IEEE Wireless Communications and Networking Conference, 2007

Synchronization for an optimal real-time scheduling algorithm on multiprocessors.
Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

On Distributed Real-Time Scheduling in Networked Embedded Systems in the Presence of Crash Failures.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2007

RTG-L: Dependably Scheduling Real-Time Distributable Threads in Large-Scale, Unreliable Networks.
Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007

Byzantine-Tolerant, Information Propagation in Untrustworthy and Unreliable Networks.
Proceedings of the Network-Based Information Systems, First International Conference, 2007

On Best-Effort Real-Time Assurances for Recovering from Distributable Thread Failures in Distributed Real-Time Systems.
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

RTMG: Scheduling real-time distributable threads in large-scale, unreliable networks with low message overhead.
Proceedings of the 13th International Conference on Parallel and Distributed Systems, 2007

On Scheduling Exception Handlers in Dynamic, Embedded Real-Time Systems.
Proceedings of the Embedded Software and Systems, [Third] International Conference, 2007

Assured-Timeliness Integrity Protocols for Distributable Real-Time Threads with in Dynamic Distributed Systems.
Proceedings of the Emerging Directions in Embedded and Ubiquitous Computing, 2007

Consensus-Driven Distributable Thread Scheduling in Networked Embedded Systems.
Proceedings of the Embedded and Ubiquitous Computing, International Conference, 2007

2006
Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems.
ACM Trans. Embedded Comput. Syst., 2006

A Utility Accrual Scheduling Algorithm for Real-Time Activities with Mutual Exclusion Resource Constraints.
IEEE Trans. Computers, 2006

Utility Accrual Channel Establishment in Multihop Networks.
IEEE Trans. Computers, 2006

Recovering from Distributable Thread Failures with Assured Timeliness in Real-Time Distributed Systems.
Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006

On bounding energy consumption in dynamic, embedded real-time systems.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

On utility accrual processor scheduling with wait-free synchronization for embedded real-time software.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

An Optimal Real-Time Scheduling Algorithm for Multiprocessors.
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

Garbage Collector Scheduling in Dynamic, Multiprocessor Real-Time Systems.
Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

On Scheduling Garbage Collector in Dynamic Real-Time Systems With Statistical Timing Assurances.
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

On Multiprocessor Utility Accrual Real-Time Scheduling with Statistical Timing Assurances.
Proceedings of the Embedded and Ubiquitous Computing, International Conference, 2006

Lock-free synchronization for dynamic embedded real-time systems.
Proceedings of the Conference on Design, Automation and Test in Europe, 2006

2005
Time/Utility Function Decomposition Techniques for Utility Accrual Scheduling Algorithms in Real-Time Distributed Systems.
IEEE Trans. Computers, 2005

MSA: a memory-aware utility accrual scheduling algorithm.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Utility Accrual Real-Time Scheduling under Variable Cost Functions.
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

On Recent Advances in Time/Utility Function Real-Time Scheduling and Resource Management.
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Stochastic, Utility Accrual Real-Time Scheduling with Task-Level and System-Level Timeliness Assurances.
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

A Space-Optimal Wait-Free Real-Time Synchronization Protocol.
Proceedings of the 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 2005

Energy-Efficient, Utility Accrual Real-Time Scheduling Under the Unimodal Arbitrary Arrival Model.
Proceedings of the 2005 Design, 2005

2004
A Formally Verified Application-Level Framework for Real-Time Scheduling on POSIX Real-Time Operating Systems.
IEEE Trans. Software Eng., 2004

Time-Utility Function-Driven Switched Ethernet: Packet Scheduling Algorithm, Implementation, and Feasibility Analysis.
IEEE Trans. Parallel Distrib. Syst., 2004

DPR, LPR: Proactive Resource Allocation Algorithms for Asynchronous Real-Time Distributed Systems.
IEEE Trans. Computers, 2004

Fast, Best-Effort Real-Time Scheduling Algorithms.
IEEE Trans. Computers, 2004

Proactive QoS negotiation in asynchronous real-time distributed systems.
Journal of Systems and Software, 2004

Efficiently tolerating failures in asynchronous real-time distributed systems.
Journal of Systems Architecture, 2004

Utility Accrual Scheduling under Joint Utility and Resource Constraints.
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

On Utility Accrual Real-Time Channel Establishment in Multi-Hop Networks.
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

On the Joint Utility Accrual Model.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Scheduling Distributable Real-Time Threads in Tempus Middleware.
Proceedings of the 10th International Conference on Parallel and Distributed Systems, 2004

Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems.
Proceedings of the EMSOFT 2004, 2004

Adaptive Time-Critical Resource Management Using Time/Utility Functions: Past, Present, and Future.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

CPU scheduling for statistically-assured real-time performance and improved energy efficiency.
Proceedings of the 2nd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2004

2003
LMR, DTA: adaptive communication algorithms for asynchronous real-time distributed systems using token-ring networks.
Journal of Systems and Software, 2003

Proactive resource allocation for asynchronous real-time distributed systems in the presence of processor failures.
J. Parallel Distrib. Comput., 2003

A Power-Aware, Best-Effort Real-Time Task Scheduling Algorithm.
Proceedings of the 1st IEEE Workshop on Software Technologies for Future Embedded Systems, 2003

Utilitiy Accrual Scheduling with Real-Time Java.
Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

A Systems Engineering Approach for Constructing Certifiable Real-Time Distributed Systems.
Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 2003

Choir: A Real-Time Middleware Architecture Supporting Benefit-Based Proactive Resource Allocation.
Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 2003

2002
Engineering Dynamic Real-Time Distributed Systems: Architecture, System Description Language, and Middleware.
IEEE Trans. Software Eng., 2002

Guest Editors' Introduction to Special Section on Asynchronous Real-Time Distributed Systems.
IEEE Trans. Computers, 2002

Using Application Benefit for Proactive Resource Allocation in Asynchronous Real-Time Distributed Systems.
IEEE Trans. Computers, 2002

Adaptive Resource Management Algorithms for Periodic Tasks in Dynamic Real-Time Distributed Systems.
J. Parallel Distrib. Comput., 2002

BPA: A Fast Packet Scheduling Algorithm for Real-Time Switched Ethernet Networks.
Proceedings of the 31st International Conference on Parallel Processing (ICPP 2002), 2002

A Best-Effort Communication Protocol for Real-Time Broadcast Networks.
Proceedings of the 31st International Conference on Parallel Processing (ICPP 2002), 2002

Constructing High Assurance Asynchronous Real-Time Distributed Systems: A Proof-Based System Engineering Approach.
Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002

Efficiently Tolerating Failures in Asynchronous Real-Time Distributed Systems.
Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002

On Decentralized Proactive Resource Allocation in Asynchronous Real-Time Distributed Systems.
Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002

2001
Resource Management Middleware for Dynamic, Dependable Real-Time Systems.
Real-Time Systems, 2001

RBA: A Best Effort Resource Allocation Algorithm for Asynchronous Real-Time Distributed Systems.
Journal of Research and Practice in Information Technology, 2001

Implementation and evaluation of a best-effort scheduling algorithm in an embedded real-time system.
Proceedings of the 2001 IEEE International Symposium on Performance Analysis of Systems and Software, 2001

Adaptive Resource Management in Asynchronous Real-Time Distributed Systems Using Feedback Control Functions.
Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001

A Predictive Algorithm for Adaptive Resource Management of Periodic Tasks in Asynchronous Real-Time Distributed Systems.
Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

On Adaptive Communication in Asynchronous Real-Time Distributed Systems.
Proceedings of the 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 2001

2000
DynBench: A Benchmark Suite for Dynamic Real-Time Systems.
Scalable Computing: Practice and Experience, 2000

Palette: A Reuse-Oriented Specification Language for Real-Time Systems.
Proceedings of the Software Reuse: Advances in Software Reusability, 2000

1999
Adaptive QoS and Resource Management using a Posteriori Workload Characterizations.
Proceedings of the Fifth IEEE Real-Time Technology and Applications Symposium, 1999

Distributed, Scalable, Dependable Real-Time Systems: Middleware Services and Applications.
Proceedings of the 13th International Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS / SPDP '99), 1999

DynBench: A Dynamic Benchmark Suite for Distributed Real-Time Systems.
Proceedings of the Parallel and Distributed Processing, 1999

Quality of Service Management in Distributed Asynchronous Real-Time Systems.
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1998
Specification and Modeling of Dynamic, Distributed Real-Time Systems.
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

A Resource Management Model for Dynamic, Scalable, Dependable, Real-Time Systems.
IPPS/SPDP Workshops, 1998

1997
Building Distributed Scalable Dependable Real-TimeSystems.
Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), 1997

1996
Reverse Engineering of Computer-Based Control Systems.
International Journal of Software Engineering and Knowledge Engineering, 1996

Exploiting parallelism in high performance embedded system scheduling.
Proceedings of the 3rd International Conference on High Performance Computing, 1996

1995
Metrics and techniques for automatic partitioning and assignment of object-based concurrent programs.
Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, 1995


  Loading...