Binoy Ravindran
Orcid: 0000-0002-8663-739XAffiliations:
- Virginia Tech, Blacksburg, VA, USA
According to our database1,
Binoy Ravindran
authored at least 274 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proc. ACM Program. Lang., 2024
Proc. ACM Program. Lang., 2024
CoRR, 2024
Proceedings of the Theoretical Aspects of Software Engineering, 2024
Proceedings of the 25th International Middleware Conference, 2024
Proceedings of the 44th IEEE International Conference on Distributed Computing Systems, 2024
Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2024
Verifiably Correct Lifting of Position-Independent x86-64 Binaries to Symbolized Assembly.
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024
2023
BIRD: A Binary Intermediate Representation for formally verified Decompilation of x86-64 binaries.
Dataset, July, 2023
Aggregate VM: Why Reduce or Evict VM's Resources When You Can Borrow Them From Other Nodes?
Dataset, March, 2023
Proceedings of the Tests and Proofs - 17th International Conference, 2023
BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries.
Proceedings of the Tests and Proofs - 17th International Conference, 2023
Proceedings of the 24th International Middleware Conference, 2023
Aggregate VM: Why Reduce or Evict VM's Resources When You Can Borrow Them From Other Nodes?
Proceedings of the Eighteenth European Conference on Computer Systems, 2023
Proceedings of the 14th ACM SIGOPS Asia-Pacific Workshop on Systems, 2023
2022
Proc. VLDB Endow., 2022
Proceedings of the Verified Software. Theories, Tools and Experiments, 2022
Proceedings of the SPAA '22: 34th ACM Symposium on Parallelism in Algorithms and Architectures, Philadelphia, PA, USA, July 11, 2022
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
Proceedings of the EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5, 2022
Proceedings of the 9th ACM Workshop on Moving Target Defense, 2022
Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022
2021
ACM Trans. Comput. Syst., 2021
An OpenMP Runtime for Transparent Work Sharing across Cache-Incoherent Heterogeneous Nodes.
ACM Trans. Comput. Syst., 2021
IEEE Trans. Dependable Secur. Comput., 2021
Arch. Formal Proofs, 2021
Proceedings of the 35th International Symposium on Distributed Computing, 2021
Snapshot-free, transparent, and robust memory reclamation for lock-free data structures.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021
Proceedings of the Middleware '21: 22nd International Middleware Conference, Québec City, Canada, December 6, 2021
2020
Proceedings of the VEE '20: 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2020
Proceedings of the VEE '20: 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2020
Proceedings of the VEE '20: 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Proceedings of the SYSTOR 2020: The 13th ACM International Systems and Storage Conference, 2020
Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020
Proceedings of the 23rd International Symposium on Research in Attacks, 2020
Proceedings of the PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020
An OpenMP Runtime for Transparent Work Sharing Across Cache-Incoherent Heterogeneous Nodes.
Proceedings of the Middleware '20: 21st International Middleware Conference, 2020
Proceedings of the 40th IEEE International Conference on Distributed Computing Systems, 2020
Proceedings of the 13th European Workshop on Systems Security, 2020
Proceedings of the Computer Security - ESORICS 2020, 2020
2019
PrVM: a multicore real-time virtualization scheduling framework with probabilistic timing guarantees.
SIGBED Rev., 2019
Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2019
Proceedings of the 12th ACM International Conference on Systems and Storage, 2019
Rethinking Communication in Multiple-kernel OSes for New Shared Memory Interconnects.
Proceedings of the 10th Workshop on Programming Languages and Operating Systems, 2019
Proceedings of the Computer Safety, Reliability, and Security, 2019
Proceedings of the 10th International Workshop on Programming Models and Applications for Multicores and Manycores, 2019
Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019
Proceedings of the 20th International Middleware Conference, 2019
Proceedings of the 20th International Middleware Conference, 2019
Quantifying Memory Underutilization in HPC Systems and Using it to Improve Performance via Architecture Support.
Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture, 2019
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019
Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019
HEXO: Offloading HPC Compute-Intensive Workloads on Low-Cost, Low-Power Embedded Systems.
Proceedings of the 28th International Symposium on High-Performance Parallel and Distributed Computing, 2019
Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019
2018
IEEE Trans. Parallel Distributed Syst., 2018
2017
IEEE Trans. Parallel Distributed Syst., 2017
Theor. Comput. Sci., 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
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
Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017
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 Distributed Syst., 2016
IEEE Trans. Computers, 2016
Proceedings of the Distributed Computing - 30th International Symposium, 2016
Proceedings of the 9th ACM International on Systems and Storage Conference, 2016
Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, 2016
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016
Proceedings of the 2016 International Conference on Embedded Software, 2016
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016
2015
Proceedings of the Handbook on Data Centers, 2015
ACM SIGOPS Oper. Syst. Rev., 2015
Proceedings of the Distributed Computing - 29th International Symposium, 2015
Proceedings of the 27th ACM on Symposium on Parallelism in Algorithms and Architectures, 2015
Proceedings of the 27th ACM on Symposium on Parallelism in Algorithms and Architectures, 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
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
Proceedings of the 35th IEEE International Conference on Distributed Computing Systems, 2015
Proceedings of the 2015 International Conference on Distributed Computing and Networking, 2015
Proceedings of the 2015 International Conference on Distributed Computing and Networking, 2015
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
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
Proceedings of the Structural Information and Communication Complexity, 2014
Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014
Proceedings of the Principles of Distributed Systems - 18th International Conference, 2014
Proceedings of the Principles of Distributed Systems - 18th International Conference, 2014
Proceedings of the 2014 IEEE 13th International Symposium on Network Computing and Applications, 2014
Proceedings of the 15th International Middleware Conference, 2014
Proceedings of the 9th Workshop on Middleware for Next Generation Internet Computing, 2014
Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014
Proceedings of the 2014 IEEE 28th International Parallel and Distributed Processing Symposium, 2014
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
IEEE Trans. Computers, 2013
Proceedings of the 6th Annual International Systems and Storage Conference, 2013
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
Proceedings of the 2013 IEEE 12th International Symposium on Network Computing and Applications, 2013
Proceedings of the Proceedings Demo & Poster Track of ACM/IFIP/USENIX International Middleware Conference, 2013
Proceedings of the Proceedings Demo & Poster Track of ACM/IFIP/USENIX International Middleware Conference, 2013
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
Proceedings of the Euro-Par 2013: Parallel Processing Workshops, 2013
Proceedings of the Euro-Par 2013 Parallel Processing, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013
Proceedings of the 2013 IEEE International Conference on Cluster Computing, 2013
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 J. Exp. Algorithmics, 2012
Proceedings of the 5th Annual International Systems and Storage Conference, 2012
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
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
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
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium, 2012
Proceedings of the 4th USENIX Workshop on Hot Topics in Parallelism, 2012
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.
ACM Trans. Auton. Adapt. Syst., 2011
Mob. Networks Appl., 2011
Achieving Max-Min lifetime and fairness with rate allocation for data aggregation in sensor networks.
Ad Hoc Networks, 2011
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011
Proceedings of the 2011 International Conference on Embedded Computer Systems: Architectures, 2011
Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011
Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011
Proceedings of the 20th ACM International Symposium on High Performance Distributed Computing, 2011
Proceedings of the 48th Design Automation Conference, 2011
2010
ACM Trans. Embed. Comput. Syst., 2010
ACM Trans. Embed. Comput. Syst., 2010
IEEE Trans. Computers, 2010
J. Parallel Distributed Comput., 2010
J. Parallel Distributed Comput., 2010
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010
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
Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010
Proceedings of the IEEE Tenth International Conference on Peer-to-Peer Computing, 2010
Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010
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
Proceedings of the Distributed Computing in Sensor Systems, 2010
Proceedings of the Principles and Applications of Distributed Event-Based Systems, 2010
2009
IEEE Trans. Parallel Distributed 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
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
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
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
Proceedings of the WCNC 2008, IEEE Wireless Communications & Networking Conference, March 31 2008, 2008
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
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
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
IEEE Trans. Computers, 2007
On scheduling garbage collector in dynamic real-time systems with statistical timing assurances.
Real Time Syst., 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
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
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
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. Embed. Comput. Syst., 2006
A Utility Accrual Scheduling Algorithm for Real-Time Activities with Mutual Exclusion Resource Constraints.
IEEE Trans. Computers, 2006
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
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
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006
Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006
On Multiprocessor Utility Accrual Real-Time Scheduling with Statistical Timing Assurances.
Proceedings of the Embedded and Ubiquitous Computing, International Conference, 2006
2005
Time/Utility Function Decomposition Techniques for Utility Accrual Scheduling Algorithms in Real-Time Distributed Systems.
IEEE Trans. Computers, 2005
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
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
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 Distributed Syst., 2004
DPR, LPR: Proactive Resource Allocation Algorithms for Asynchronous Real-Time Distributed Systems.
IEEE Trans. Computers, 2004
J. Syst. Softw., 2004
J. Syst. Archit., 2004
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004
Proceedings of the 10th International Conference on Parallel and Distributed Systems, 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.
J. Syst. Softw., 2003
Proactive resource allocation for asynchronous real-time distributed systems in the presence of processor failures.
J. Parallel Distributed Comput., 2003
Proceedings of the 1st IEEE Workshop on Software Technologies for Future Embedded Systems, 2003
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 Distributed Comput., 2002
Proceedings of the 31st International Conference on Parallel Processing (ICPP 2002), 2002
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
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
Intelligent feedback control-based adaptive resource management for asynchronous, decentralized real-time systems.
IEEE Trans. Syst. Man Cybern. Syst., 2001
Real Time Syst., 2001
RBA: A Best Effort Resource Allocation Algorithm for Asynchronous Real-Time Distributed Systems.
J. Res. Pract. Inf. Technol., 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
Proceedings of the 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 2001
2000
Parallel Distributed Comput. Pract., 2000
Proceedings of the Software Reuse: Advances in Software Reusability, 2000
1999
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
Proceedings of the Parallel and Distributed Processing, 1999
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999
1998
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998
Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998
1997
Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), 1997
1996
Int. J. Softw. Eng. Knowl. Eng., 1996
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