Nan Guan

Orcid: 0000-0003-3775-911X

Affiliations:
  • City University of Hong Kong
  • Hong Kong Polytechnic University, Department of Computing (former)
  • Northeastern University, Department of Computer Science and Engineering, Shenyang, China (former)
  • Uppsala University, Sweden (former)


According to our database1, Nan Guan authored at least 234 papers between 2007 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
DAG-Order: An Order-Based Dynamic DAG Scheduling for Real-Time Networks-on-Chip.
ACM Trans. Archit. Code Optim., March, 2024

Hopscotch: A Hardware-Software Co-Design for Efficient Cache Resizing on Multi-Core SoCs.
IEEE Trans. Parallel Distributed Syst., January, 2024

On the Compressibility of Quantized Large Language Models.
CoRR, 2024

Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program.
Proceedings of the Nineteenth European Conference on Computer Systems, 2024

2023
TDTA: Topology-Based Real-Time DAG Task Allocation on Identical Multiprocessor Platforms.
IEEE Trans. Parallel Distributed Syst., November, 2023

Reliable Dynamic Packet Scheduling With Slot Sharing for Real-Time Wireless Networks.
IEEE Trans. Mob. Comput., November, 2023

Design and Blocking Analysis of Locking Protocols for Real-Time DAG Tasks Under Federated Scheduling.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2023

Real-Time Scheduling of Conditional DAG Tasks With Intra-Task Priority Assignment.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., October, 2023

FTSC: Fault-tolerant scheduling and control co-design for distributed real-time system.
J. Syst. Archit., September, 2023

Adaptive Task-Based Intermittent Computing System With Parallel State Backup.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., June, 2023

A multi-step estimation approach for optimal control strategies of interconnected systems with weakly connected topology.
Autom., February, 2023

Scheduling Parallel Real-Time Tasks on Virtual Processors.
IEEE Trans. Parallel Distributed Syst., 2023

Comparing Communication Paradigms in Cause-Effect Chains.
IEEE Trans. Computers, 2023

A Unified Blocking Analysis for Parallel Tasks With Spin Locks Under Global Fixed Priority Scheduling.
IEEE Trans. Computers, 2023

Anomaly detection based on multi-teacher knowledge distillation.
J. Syst. Archit., 2023

Multi-Path Bound for DAG Tasks.
CoRR, 2023

Timely Fusion of Surround Radar/Lidar for Object Detection in Autonomous Driving Systems.
CoRR, 2023

Longer Is Shorter: Making Long Paths to Improve the Worst-Case Response Time of DAG Tasks.
CoRR, 2023

Miriam: Exploiting Elastic Kernels for Real-time Multi-DNN Inference on Edge GPU.
CoRR, 2023

Moses: Exploiting Cross-Device Transferable Features for on-Device Tensor Program Optimization.
Proceedings of the 24th International Workshop on Mobile Computing Systems and Applications, 2023

CrossChat: Instant Messaging across Different Apps on Mobile Devices.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

SEAM: An Optimal Message Synchronizer in ROS with Well-Bounded Time Disparity.
Proceedings of the IEEE Real-Time Systems Symposium, 2023

Message from the Program, Track, and General Chairs.
Proceedings of the IEEE Real-Time Systems Symposium, 2023

Modeling and Analysis of Inter-Process Communication Delay in ROS 2.
Proceedings of the IEEE Real-Time Systems Symposium, 2023

Worst-Case Latency Analysis of Message Synchronization in ROS.
Proceedings of the IEEE Real-Time Systems Symposium, 2023

Stealing Static Slack Via WCRT and Sporadic P-Servers in Deadline-Driven Scheduling.
Proceedings of the IEEE Real-Time Systems Symposium, 2023

Optimizing End-to-End Latency of Sporadic Cause-Effect Chains Using Priority Inheritance.
Proceedings of the IEEE Real-Time Systems Symposium, 2023

Message from the Chairs: RTCSA 2023.
Proceedings of the 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2023

Real-Time Performance Analysis of Processing Systems on ROS 2 Executors.
Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023

Real-Time Scheduling of Autonomous Driving System with Guaranteed Timing Correctness.
Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023

ROSGM: A Real-Time GPU Management Framework with Plug-In Policies for ROS 2.
Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023

Modeling and Property Analysis of the Message Synchronization Policy in ROS.
Proceedings of the IEEE International Conference on Mobility, 2023

Light Flash Write for Efficient Firmware Update on Energy-harvesting IoT Devices.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Analysis and Optimization of Worst-Case Time Disparity in Cause-Effect Chains.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

SERICO: Scheduling Real-Time I/O Requests in Computational Storage Drives.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

On the Degree of Parallelism in Real-Time Scheduling of DAG Tasks.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Reaction Time Analysis of Event-Triggered Processing Chains with Data Refreshing.
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

Fault Tolerance in Time-Sensitive Networking with Mixed-Critical Traffic.
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

Response Time Analysis and Optimization of DAG Tasks Exploiting Mutually Exclusive Execution.
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

BlueFace: Integrating an Accelerator into the Core's Pipeline through Algorithm-Interface Co-Design for Real-Time SoCs.
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

2022
An Edge Based Data-Driven Chiller Sequencing Framework for HVAC Electricity Consumption Reduction in Commercial Buildings.
IEEE Trans. Sustain. Comput., 2022

Real-Time Scheduling of Parallel Task Graphs With Critical Sections Across Different Vertices.
IEEE Trans. Parallel Distributed Syst., 2022

Locking Protocols for Parallel Real-Time Tasks With Semaphores Under Federated Scheduling.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Bridging the Pragmatic Gaps for Mixed-Criticality Systems in the Automotive Industry.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Toward an Analysable, Scalable, Energy-Efficient I/O Virtualization for Mixed-Criticality Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Improving Interference Analysis for Real-Time DAG Tasks Under Partitioned Scheduling.
IEEE Trans. Computers, 2022

Contention Minimization in Emerging SMART NoC via Direct and Indirect Routes.
IEEE Trans. Computers, 2022

ompTG: From OpenMP Programs to Task Graphs.
J. Syst. Archit., 2022

Computing exact WCRT for typed DAG tasks on heterogeneous multi-core processors.
J. Syst. Archit., 2022

ANT-UNet: Accurate and Noise-Tolerant Segmentation for Pathology Image Processing.
ACM J. Emerg. Technol. Comput. Syst., 2022

TICK: Tiny Client for Blockchains.
IEEE Internet Things J., 2022

Moses: Efficient Exploitation of Cross-device Transferable Features for Tensor Program Optimization.
CoRR, 2022

Aaron: Compile-Time Kernel Adaptation for Multi-DNN Inference Acceleration on Edge GPU.
Proceedings of the 20th ACM Conference on Embedded Networked Sensor Systems, 2022

BlastNet: Exploiting Duo-Blocks for Cross-Processor Real-Time DNN Inference.
Proceedings of the 20th ACM Conference on Embedded Networked Sensor Systems, 2022

An Indoor Smart Traffic Dataset and Data Collection System: Dataset.
Proceedings of the 20th ACM Conference on Embedded Networked Sensor Systems, 2022

Task Allocation for Real-time Earth Observation Service with LEO Satellites.
Proceedings of the IEEE Real-Time Systems Symposium, 2022

Worst-Case Time Disparity Analysis of Message Synchronization in ROS.
Proceedings of the IEEE Real-Time Systems Symposium, 2022

Design and Timing Guarantee for Non-Preemptive Gang Scheduling.
Proceedings of the IEEE Real-Time Systems Symposium, 2022

Real-Time Scheduling and Analysis of Processing Chains on Multi-threaded Executor in ROS 2.
Proceedings of the IEEE Real-Time Systems Symposium, 2022

Bounding the Response Time of DAG Tasks Using Long Paths.
Proceedings of the IEEE Real-Time Systems Symposium, 2022

Response Time Analysis for Prioritized DAG Task with Mutually Exclusive Vertices.
Proceedings of the IEEE Real-Time Systems Symposium, 2022

$p$LPAQ: Accelerating LPAQ Compression on FPGA.
Proceedings of the International Conference on Field-Programmable Technology, 2022

Scheduling and analysis of real-time tasks with parallel critical sections.
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

Real-Time Task Models.
Proceedings of the Handbook of Real-Time Computing, 2022

2021
Partitioning-Based Scheduling of OpenMP Task Systems With Tied Tasks.
IEEE Trans. Parallel Distributed Syst., 2021

Schedulability Analysis for Timed Automata With Tasks.
ACM Trans. Embed. Comput. Syst., 2021

Reduced Worst-Case Communication Latency Using Single-Cycle Multihop Traversal Network-on-Chip.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021

Priority Assignment on Partitioned Multiprocessor Systems With Shared Resources.
IEEE Trans. Computers, 2021

Algorithms for Computing the WCRT Bound of OpenMP Task Systems With Conditional Branches.
IEEE Trans. Computers, 2021

On the Analysis of Parallel Real-Time Tasks With Spin Locks.
IEEE Trans. Computers, 2021

Mixed-criticality real-time scheduling of gang task systems.
Real Time Syst., 2021

Efficient runtime slack management for EDF-VD-based mixed-criticality scheduling.
J. Syst. Archit., 2021

Queue assignment for fixed-priority real-time flows in time-sensitive networks: Hardness and algorithm.
J. Syst. Archit., 2021

Joint Algorithm of Message Fragmentation and No-Wait Scheduling for Time-Sensitive Networks.
IEEE CAA J. Autom. Sinica, 2021

Partial order based non-preemptive communication scheduling towards real-time networks-on-chip.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Calculating Worst-Case Response Time Bounds for OpenMP Programs with Loop Structures.
Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

Virtually-Federated Scheduling of Parallel Real-Time Tasks.
Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

Response Time Bounds for DAG Tasks with Arbitrary Intra-Task Priority Assignment.
Proceedings of the 33rd Euromicro Conference on Real-Time Systems, 2021

Response Time Analysis of Lazy Round Robin.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Surviving Transient Power Failures with SRAM Data Retention.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Intermittent Computing with Efficient State Backup by Asynchronous DMA.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

PRUID: Practical User Interface Distribution for Multi-surface Computing.
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020
Energy-Efficient Parallel Real-Time Scheduling on Clustered Multi-Core.
IEEE Trans. Parallel Distributed Syst., 2020

Hardware-Software Collaborative Thermal Sensing in Optical Network-on-Chip-based Manycore Systems.
ACM Trans. Embed. Comput. Syst., 2020

Scope-Aware Useful Cache Block Calculation for Cache-Related Pre-Emption Delay Analysis With Set-Associative Data Caches.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Efficient Feasibility Analysis for Graph-Based Real-Time Task Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Capacity Augmentation Function for Real-Time Parallel Tasks With Constrained Deadlines Under GEDF Scheduling.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

LATICS: A Low-Overhead Adaptive Task-Based Intermittent Computing System.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Decomposition-Based Real-Time Scheduling of Parallel Tasks on Multicores Platforms.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Real-Time Scheduling and Analysis of OpenMP DAG Tasks Supporting Nested Parallelism.
IEEE Trans. Computers, 2020

Utilization-Tensity Bound for Real-Time DAG Tasks under Global EDF Scheduling.
IEEE Trans. Computers, 2020

Real-time scheduling of parallel tasks with tight deadlines.
J. Syst. Archit., 2020

Efficient drone hijacking detection using two-step GA-XGBoost.
J. Syst. Archit., 2020

Fault-tolerant real-time tasks scheduling with dynamic fault handling.
J. Syst. Archit., 2020

Which is the best PID variant for pneumatic soft robots an experimental study.
IEEE CAA J. Autom. Sinica, 2020

Schedulability Bounds for Parallel Real-Time Tasks under Global Rate-Monotonic Scheduling.
CoRR, 2020

Real-Time Scheduling of Massive Data in Time Sensitive Networks With a Limited Number of Schedule Entries.
IEEE Access, 2020

Response Time Analysis and Priority Assignment of Processing Chains on ROS2 Executors.
Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

Re-Thinking Mixed-Criticality Architecture for Automotive Industry.
Proceedings of the 38th IEEE International Conference on Computer Design, 2020

Boyi: A Systematic Framework for Automatically Deciding the Right Execution Model of OpenCL Applications on FPGAs.
Proceedings of the FPGA '20: The 2020 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2020

On the Volume Calculation for Conditional DAG Tasks: Hardness and Algorithms<sup>*</sup>.
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

DPCP-p: A Distributed Locking Protocol for Parallel Real-Time Tasks.
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

On Computing Exact WCRT for DAG Tasks†.
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

Contention Minimized Bypassing in SMART NoC.
Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

2019
Intra-Task Priority Assignment in Real-Time Scheduling of DAG Tasks on Multi-Cores.
IEEE Trans. Parallel Distributed Syst., 2019

Response Time Bounds for Typed DAG Parallel Tasks on Heterogeneous Multi-Cores.
IEEE Trans. Parallel Distributed Syst., 2019

Real-Time Scheduling of DAG Tasks with Arbitrary Deadlines.
ACM Trans. Design Autom. Electr. Syst., 2019

An Efficient UAV Hijacking Detection Method Using Onboard Inertial Measurement Unit.
ACM Trans. Embed. Comput. Syst., 2019

Timing-Anomaly Free Dynamic Scheduling of Conditional DAG Tasks on Multi-Core Systems.
ACM Trans. Embed. Comput. Syst., 2019

Abdominal-Waving Control of Tethered Bumblebees Based on Sarsa With Transformed Reward.
IEEE Trans. Cybern., 2019

Optimal Application Mapping and Scheduling for Network-on-Chips with Computation in STT-RAM Based Router.
IEEE Trans. Computers, 2019

Sustainable embedded software and systems.
Sustain. Comput. Informatics Syst., 2019

Leaking your engine speed by spectrum analysis of real-Time scheduling sequences.
J. Syst. Archit., 2019

Scope-aware data cache analysis for OpenMP programs on multi-core processors.
J. Syst. Archit., 2019

TICK: Tiny Client for Blockchains.
IACR Cryptol. ePrint Arch., 2019

A Gaussian Set Sampling Model for Efficient Shared Cache Profiling on Multi-Cores.
IEEE Access, 2019

Improving the Analysis of GPC in Real-Time Calculus.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2019

Suspension-Based Locking Protocols for Parallel Real-Time Tasks.
Proceedings of the IEEE Real-Time Systems Symposium, 2019

Mixed-Criticality Multicore Scheduling of Real-Time Gang Task Systems.
Proceedings of the IEEE Real-Time Systems Symposium, 2019

MCS-IOV: Real-Time I/O Virtualization for Mixed-Criticality Systems.
Proceedings of the IEEE Real-Time Systems Symposium, 2019

Pay-Burst-Only-Once in Real-Time Calculus.
Proceedings of the 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2019

Calculating Response-Time Bounds for OpenMP Task Systems with Conditional Branches.
Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium, 2019

Energy-Efficient Real-Time Scheduling of DAGs on Clustered Multi-Core Platforms.
Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium, 2019

Semi-Federated Scheduling of Mixed-Criticality System for Sporadic DAG Tasks.
Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019

Improving Multiprocessor Real-Time Systems with Bursty Inputs under Global EDF using Shapers.
Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019

Research on Cyberspace Security Education for Teenagers Based on Data Analysis.
Proceedings of the ICITEE-2019: 2nd International Conference on Information Technologies and Electrical Engineering, 2019

Detecting and Predicting Performance Degradation Caused by Impaired Cache Isolation.
Proceedings of the 37th IEEE International Conference on Computer Design, 2019

Thermal Sensing Using Micro-ring Resonators in Optical Network-on-Chip.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Analyzing GEDF Scheduling for Parallel Real-Time Tasks with Arbitrary Deadlines.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Real-Time Scheduling and Analysis of Synchronous OpenMP Task Systems with Tied Tasks.
Proceedings of the 56th Annual Design Automation Conference 2019, 2019

Scheduling and Analysis of Parallel Real-Time Tasks with Semaphores.
Proceedings of the 56th Annual Design Automation Conference 2019, 2019

Routing in optical network-on-chip: minimizing contention with guaranteed thermal reliability.
Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019

2018
Packet Aggregation Real-Time Scheduling for Large-Scale WIA-PA Industrial Wireless Sensor Networks.
ACM Trans. Embed. Comput. Syst., 2018

Energy-Efficient Real-Time Scheduling of DAG Tasks.
ACM Trans. Embed. Comput. Syst., 2018

Analyzing Data Cache Related Preemption Delay With Multiple Preemptions.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

A Capacity Augmentation Bound for Real-Time Constrained-Deadline Parallel Tasks Under GEDF.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

EDF-VD Scheduling of Flexible Mixed-Criticality System With Multiple-Shot Transitions.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Thermal-Aware Task Mapping on Dynamically Reconfigurable Network-on-Chip Based Multiprocessor System-on-Chip.
IEEE Trans. Computers, 2018

Scheduling Analysis of Imprecise Mixed-Criticality Real-Time Tasks.
IEEE Trans. Computers, 2018

Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks.
IEEE Trans. Computers, 2018

On the Consensus Mechanisms of Blockchain/DLT for Internet of Things.
Proceedings of the 13th IEEE International Symposium on Industrial Embedded Systems, 2018

Work-in-Progress: Response Time Bounds for Typed DAG Parallel Tasks on Heterogeneous Multi-cores.
Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

Data Driven Chiller Sequencing for Reducing HVAC Electricity Consumption in Commercial Buildings.
Proceedings of the Ninth International Conference on Future Energy Systems, 2018

Communication optimization for thermal reliable optical network-on-chip: work-in-progress.
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2018

2017
A Robust Algorithm for State-of-Charge Estimation With Gain Optimization.
IEEE Trans. Ind. Informatics, 2017

Revisiting GPC and AND Connector in Real-Time Calculus.
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied Tasks.
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors.
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Benchmarking OpenMP programs for real-time scheduling.
Proceedings of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2017

Efficient and balanced charging of reconfigurable battery with variable power supply.
Proceedings of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2017

Scope-Aware Useful Cache Block Analysis for Data Cache Related Preemption Delay.
Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017

Generalized finitary real-time calculus.
Proceedings of the 2017 IEEE Conference on Computer Communications, 2017

InGaN/GaN nanowire flexible light emitting diodes and photodetectors.
Proceedings of the 2017 19th International Conference on Transparent Optical Networks (ICTON), 2017

Quantitative Modeling of Thermo-Optic Effects in Optical Networks-on-Chip.
Proceedings of the on Great Lakes Symposium on VLSI 2017, 2017

Fixed priority scheduling of real-time flows with arbitrary deadlines on smart NoCs: work-in-progress.
Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion, 2017

Energy-Efficient Multi-Core Scheduling for Real-Time DAG Tasks.
Proceedings of the 29th Euromicro Conference on Real-Time Systems, 2017

Efficient drone hijacking detection using onboard motion sensors.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Task Mapping on SMART NoC: Contention Matters, Not the Distance.
Proceedings of the 54th Annual Design Automation Conference, 2017

Communication optimization for thermal reliable many-core systems: work-in-progress.
Proceedings of the Twelfth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Companion, 2017

Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

Dark silicon-aware hardware-software collaborated design for heterogeneous many-core systems.
Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

2016
Feasibility of Fork-Join Real-Time Task Graph Models: Hardness and Algorithms.
ACM Trans. Embed. Comput. Syst., 2016

A Survey on Static Cache Analysis for Real-Time Systems.
Leibniz Trans. Embed. Syst., 2016

Start time configuration for strictly periodic real-time task systems.
J. Syst. Archit., 2016

EDF-VD Scheduling of Mixed-Criticality Systems with Degraded Quality Guarantees.
Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016

On the Decomposition-Based Global EDF Scheduling of Parallel Real-Time Tasks.
Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016

Transforming Real-Time Task Graphs to Improve Schedulability.
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016

Speed planning for solar-powered electric vehicles.
Proceedings of the Seventh International Conference on Future Energy Systems, Waterloo, ON, Canada, June 21, 2016

Schedulability Analysis of Synchronous Digraph Real-Time Tasks.
Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016

Techniques for Building Timing-Predictable Embedded Systems.
Springer, ISBN: 978-3-319-27196-5, 2016

2015
Xen虚拟机Credit调度算法的实时性能分析 (Analysis of Real-time Performance of Algorithm Credit in Xen Virtual Machine).
计算机科学, 2015

Analyzing Multimode Wireless Sensor Networks Using the Network Calculus.
J. Sensors, 2015

An optimal resource sharing protocol for generalized multiframe tasks.
J. Log. Algebraic Methods Program., 2015

Noninvasive and Continuous Blood Pressure Monitoring Using Wearable Body Sensor Networks.
IEEE Intell. Syst., 2015

Scalable Timing Analysis with Refinement.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Inter-cell Channel Time-Slot Scheduling for Multichannel Multiradio Cellular Fieldbuses.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Modular Performance Analysis of Energy-Harvesting Real-Time Networked Systems.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Bounding Carry-in Interference to Improve Fixed-Priority Global Multiprocessor Scheduling Analysis.
Proceedings of the 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2015

The automatic detection and analysis of electrocardiogram based on Lorenz Plot.
Proceedings of the 2015 IEEE International Conference on Robotics and Biomimetics, 2015

Allocation and scheduling of real-time tasks with volatile/non-volatile hybrid memory systems.
Proceedings of the IEEE Non-Volatile Memory System and Applications Symposium, 2015

Nitride nanowire light emitting diodes.
Proceedings of the 17th International Conference on Transparent Optical Networks, 2015

Delay analysis of structural real-time workload.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014
WCET analysis with MRU cache: Challenging LRU for predictability.
ACM Trans. Embed. Comput. Syst., 2014

Building timing predictable embedded systems.
ACM Trans. Embed. Comput. Syst., 2014

Maximizing Lifetime of Three-Dimensional Corona-Based Wireless Sensor Networks.
Int. J. Distributed Sens. Networks, 2014

On the analysis of EDF-VD scheduled mixed-criticality real-time systems.
Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014

Approximate Response Time Analysis of Real-Time Task Graphs.
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

Improving the response time analysis of global fixed-priority multiprocessor scheduling.
Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014

Service guarantee exploration for mixed-criticality systems.
Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014

Performance isolation for real-time systems with Xen hypervisor on multi-cores.
Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014

Pervasive eating habits monitoring and recognition through a wearable acoustic sensor.
Proceedings of the 8th International Conference on Pervasive Computing Technologies for Healthcare, 2014

Understanding the Dynamic Caches on Intel Processors: Methods and Applications.
Proceedings of the 12th IEEE International Conference on Embedded and Ubiquitous Computing, 2014

Refinement-Based Exact Response-Time Analysis.
Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

General and efficient Response Time Analysis for EDF scheduling.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Partitioned mixed-criticality scheduling on multiprocessor platforms.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

An Intelligent Hearing Aid System Based on Real-Time Signal Processing.
Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, 2014

2013
New Techniques for Building Timing-Predictable Embedded Systems.
PhD thesis, 2013

Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems.
Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013

Improving OCBP-based scheduling for mixed-criticality sporadic task systems.
Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

FIFO cache analysis for WCET estimation: a quantitative approach.
Proceedings of the Design, Automation and Test in Europe, 2013

Proper Running Posture Guide: A Wearable Biomechanics Capture System.
Proceedings of the 8th International Conference on Body Area Networks, 2013

2012
WCET Analysis with MRU Caches: Challenging LRU for Predictability.
Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012

Fixed-Priority Multiprocessor Scheduling: Critical Instant, Response Time and Utilization Bound.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium, 2012

2011
Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling.
J. Syst. Archit., 2011

Implementation and empirical comparison of partitioning-based multi-core scheduling.
Proceedings of the Industrial Embedded Systems (SIES), 2011

Energy-efficient scheduling for parallel real-time tasks based on level-packing.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Effective and Efficient Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems.
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

Memory Access Aware Mapping for Networks-on-Chip.
Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011

The Digraph Real-Time Task Model.
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

On the Tractability of Digraph-Based Task Models.
Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011

Resource Sharing Protocols for Real-Time Task Graph Systems.
Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011

Towards the Implementation and Evaluation of Semi-Partitioned Multi-Core Scheduling.
Proceedings of the Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011

McAiT - A Timing Analyzer for Multicore Real-Time Software.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
Static worst-case execution time analysis of the <i>µ</i>C/OS-II real-time kernel.
Frontiers Comput. Sci. China, 2010

Improving the Performance of Shared Memory Communication in Impulse C.
IEEE Embed. Syst. Lett., 2010

Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software.
Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010

Fixed-Priority Multiprocessor Scheduling with Liu and Layland's Utilization Bound.
Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

Tardiness Bounds for Global EDF with Deadlines Different from Periods.
Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010

2009
New Response Time Bounds for Fixed Priority Multiprocessor Scheduling.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

A Survey of WCET Analysis of Real-Time Operating Systems.
Proceedings of the International Conference on Embedded Software and Systems, 2009

Cache-aware scheduling and analysis for multicores.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

WCET Analysis of the mC/OS-II Real-Time Kernel.
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs.
Proceedings of the 14th Asia South Pacific Design Automation Conference, 2009

2008
Schedulability analysis of preemptive and nonpreemptive EDF on partial runtime-reconfigurable FPGAs.
ACM Trans. Design Autom. Electr. Syst., 2008

New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

ARMISS: An Instruction Set Simulator for the ARM Architecture.
Proceedings of the International Conference on Embedded Software and Systems, 2008

Performance Comparison of Techniques on Static Path Analysis of WCET.
Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008

RTNoC: A Simulation Tool for Real-Time Communication Scheduling on Networks-on-Chips.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007
Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling Using Model-Checking.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2007

Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

Improved Schedulability Analysis of EDF Scheduling on Reconfigurable Hardware Devices.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

A Real-Time Scheduling Algorithm with Buffer Optimization for Embedded Signal Processing Systems.
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007


  Loading...