Richard West

Anton Njavro

ACM Trans. Embed. Comput. Syst., July, 2023

FlyOS: rethinking integrated modular avionics for autonomous multicopters.

[BibT_eX]

[DOI]

Real Time Syst., 2023

2022

[Solution] End-to-end Scheduling of Real-time Task Pipelines on Multiprocessors.

[BibT_eX]

[DOI]

J. Syst. Res., March, 2022

Telomere: Real-Time NAND Flash Storage.

[BibT_eX]

[DOI]

Katherine Missimer

Manos Athanassoulis

ACM Trans. Embed. Comput. Syst., 2022

A DPU Solution for Container Overlay Networks.

[BibT_eX]

[DOI]

CoRR, 2022

Jumpstart: Fast Critical Service Resumption for a Partitioning Hypervisor in Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022

FLYOS: Integrated Modular Avionics for Autonomous Multicopters.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022

ModelMap: A Model-Based Multi-Domain Application Framework for Centralized Automotive Systems.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

The Viability of Using Online Prediction to Perform Extra Work while Executing BSP Applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE High Performance Extreme Computing Conference, 2022

2021

Towards an Integrated Vehicle Management System in DriveOS.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2021

2020

Akita: A CPU scheduler for virtualized Clouds.

[BibT_eX]

[DOI]

CoRR, 2020

A Paravirtualized Android for Next Generation Interactive Automotive Systems.

[BibT_eX]

[DOI]

Proceedings of the HotMobile '20: The 21st International Workshop on Mobile Computing Systems and Applications, 2020

Boomerang: Real-Time I/O Meets Legacy Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2020

PAStime: Progress-Aware Scheduling for Time-Critical Computing.

[BibT_eX]

[DOI]

Proceedings of the 32nd Euromicro Conference on Real-Time Systems, 2020

smARTflight: An Environmentally-Aware Adaptive Real-Time Flight Management System.

[BibT_eX]

[DOI]

Proceedings of the 32nd Euromicro Conference on Real-Time Systems, 2020

2019

Reinforcement Learning for UAV Attitude Control.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2019

PAStime: Progress-aware Scheduling for Time-critical Computing.

[BibT_eX]

[DOI]

CoRR, 2019

2018

End-to-End Analysis and Design of a Drone Flight Controller.

[BibT_eX]

[DOI]

Craig Einstein

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

vLibOS: Babysitting OS Evolution with a Virtualized Library OS.

[BibT_eX]

[DOI]

CoRR, 2018

Partitioned Real-Time NAND Flash Storage.

[BibT_eX]

[DOI]

Katherine Missimer

Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

Tuned Pipes: End-to-End Throughput and Delay Guarantees for USB Devices.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

2017

Building Real-Time Embedded Applications on QduinoMC: A Web-Connected 3D Printer Case Study (Outstanding Paper).

[BibT_eX]

[DOI]

Ying Ye

Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017

2016

A Virtualized Separation Kernel for Mixed-Criticality Systems.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2016

MARACAS: A Real-Time Multicore VCPU Scheduling Framework.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016

Mixed-Criticality Scheduling with I/O.

[BibT_eX]

[DOI]

Katherine Missimer

Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016

2015

Qduino: A Multithreaded Arduino System for Embedded Computing.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Demo abstract: A multithreaded arduino system for embedded computing.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

2014

A virtualized separation kernel for mixed criticality systems.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2014

Predictable Communication and Migration in the Quest-V Separation Kernel.

[BibT_eX]

[DOI]

Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

Message from the Program and Track Chairs.

[BibT_eX]

[DOI]

James H. Anderson

Samarjit Chakraborty

Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

COLORIS: a dynamic cache partitioning system using page coloring.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Parallel Architectures and Compilation, 2014

2013

Predictable and configurable component-based scheduling in the Composite OS.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2013

Applying language-based static verification in an ARM operating system.

[BibT_eX]

[DOI]

Matthew Danish

Hongwei Xi

SIGBED Rev., 2013

Quest-V: A Virtualized Multikernel for Safety-Critical Real-Time Systems.

[BibT_eX]

[DOI]

CoRR, 2013

The Quest-V Separation Kernel for Mixed Criticality Systems.

[BibT_eX]

[DOI]

CoRR, 2013

Predictable Migration and Communication in the Quest-V Multikernel.

[BibT_eX]

[DOI]

CoRR, 2013

Real-time USB communication in the Quest operating system.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

2012

Mutable Protection Domains: Adapting System Fault Isolation for Reliability and Efficiency.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2012

2011

Application-specific service technologies for commodity operating systems in real-time environments.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2011

Quest-V: A Virtualized Multikernel for High-Confidence Systems

[BibT_eX]

[DOI]

Matthew Danish

CoRR, 2011

HiRes: A System for Predictable Hierarchical Resource Management.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

Virtual-CPU Scheduling in the Quest Operating System.

[BibT_eX]

[DOI]

Matthew Danish

Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

2010

Online cache modeling for commodity multicore processors.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 2010

Distributed creativity within a community of student instructional designers.

[BibT_eX]

[DOI]

Proceedings of the Learning in the Disciplines: Proceedings of the 9th International Conference of the Learning Sciences, 2010

2008

Predictable Interrupt Management and Scheduling in the Composite Component-Based System.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

2007

Comments on "Dynamic Window-Constrained Scheduling of Real-Time Streams in Media Servers'.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2007

Mutable Protection Domains: Towards a Component-Based System for Dependable and Predictable Computing.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

Hijack: Taking Control of COTS Systems for Real-Time User-Level Services.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, 2007

Scalable Overlay Multicast Tree Construction for Media Streaming.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2007

On the Integration of Real-time Asynchronous Event Handling Mechanisms with Existing Operating System Services.

[BibT_eX]

Proceedings of the 2007 International Conference on Embedded Systems & Applications, 2007

2006

Process-Aware Interrupt Scheduling and Accounting.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

2005

Friendly virtual machines: leveraging a feedback-control model for application adaptation.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Virtual Execution Environments, 2005

Cuckoo: a Language for Implementing Memory- and Thread-safe System Services.

[BibT_eX]

Gary T. Wong

Proceedings of The 2005 International Conference on Programming Languages and Compilers, 2005

Comparison of k-ary n-cube and de Bruijn Overlays in QoS-constrained Multicast Applications.

[BibT_eX]

Gary T. Wong

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2005

2004

Dynamic Window-Constrained Scheduling of Real-Time Streams in Media Servers.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2004

A Virtual Deadline Scheduler for Window-Constrained Service Guarantees.

[BibT_eX]

[DOI]

Xin Qi

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Adaptive Routing of QoS-Constrained Media Streams over Scalable Overlay Topologies.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 2004

An Internet-Wide Distributed System for Data-Stream Processing.

[BibT_eX]

Proceedings of the International Conference on Internet Computing, 2004

ShareStreams: A Scalable Architecture and Hardware Support for High-Speed QoS Packet Schedulers.

[BibT_eX]

[DOI]

Raj Krishnamurthy

Proceedings of the 12th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2004), 2004

An efficient end-host architecture for cluster communication.

[BibT_eX]

[DOI]

Xin Qi

Proceedings of the 2004 IEEE International Conference on Cluster Computing (CLUSTER 2004), 2004

Dynamic Characteristics of k-ary n-cube Networks for Real-time Communication.

[BibT_eX]

Proceedings of the International Conference on Communications in Computing, 2004

2003

On Network CoProcessors for Scalable, Predictable Media Services.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2003

Leveraging Block Decisions and Aggregation in the ShareStreams QoS Architecture.

[BibT_eX]

[DOI]

Raj Krishnamurthy

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002

Architecture and Hardware for Scheduling Gigabit Packet Streams.

[BibT_eX]

[DOI]

Raj Krishnamurthy

Proceedings of the 10th Annual IEEE Symposium on High Performance Interconnects (HOTIC 2002), August 21, 2002

'QoS Safe' Kernel Extensions for Real-Time Resource Management.

[BibT_eX]

[DOI]

Jason Gloudon

Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 2002

2001

Quality Events: A Flexible Mechanism for Quality of Service Management.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May, 2001

Lightweight kernel/user communication for real-time and multimedia applications.

[BibT_eX]

[DOI]

Proceedings of the Network and Operating System Support for Digital Audio and Video, 2001

Coordinated CPU and event scheduling for distributed multimedia applications.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM International Conference on Multimedia 2001, Ottawa, Ontario, Canada, September 30, 2001

2000

Analysis of a Window-Constrained Scheduler for Real-Time and Best-Effort Packet Streams.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000

A Network Co-Processor-Based Approach to Scalable Media Streaming in Servers.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Conference on Parallel Processing, 2000

1999

Scalable Scheduling Support for Loss and Delay Constrained Media Streams.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE Real-Time Technology and Applications Symposium, 1999

Dynamic Window-Constrained Scheduling for Multimedia Applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999

QUIC: A Quality of Service Network Interface Layer for Communication in NOWs.

[BibT_eX]

[DOI]

Marcel-Catalin Rosu

V. Sarat

Proceedings of the 8th Heterogeneous Computing Workshop, 1999

1997

Exploiting Temporal and Spatial Constraints on Distributed Shared Objects.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Distributed Computing Systems, 1997

1996

Improving the Maintainability of Software.

[BibT_eX]

[DOI]