共 50 条
- [21] Work-in-Progress: An Energy-Aware Optimization Model for Real-Time Systems Analysis and Design 2021 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT 2021), 2021, : 45 - 46
- [22] Work-In-Progress: Simplifying CPS Development with Real-Time Virtual Resources 2019 IEEE 40TH REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2019), 2019, : 560 - 563
- [23] Work-in-Progress: A Resource-Aware Optimization Model for Real-Time Systems Analysis and Design 2022 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT 2022), 2022, : 9 - 10
- [24] Dynamic WCET Estimation for Real-Time Multicore Embedded Systems Supporting DVFS 2014 IEEE INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS, 2014 IEEE 6TH INTL SYMP ON CYBERSPACE SAFETY AND SECURITY, 2014 IEEE 11TH INTL CONF ON EMBEDDED SOFTWARE AND SYST (HPCC,CSS,ICESS), 2014, : 27 - 33
- [25] Work-in-Progress: An ILP Framework for Energy Optimized Scheduling for Weakly-Hard Real-Time Systems PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE COMPANION (EMSOFT'19), 2019,
- [26] Work-In-Progress: Toward Precomputation in Real-Time Mixed-Trust Scheduling 2020 IEEE 41ST REAL-TIME SYSTEMS SYMPOSIUM (RTSS), 2020, : 411 - 414
- [27] Work-in-Progress Abstract: On the relationship between scheduling theory and real-time calculus 2021 IEEE 27TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA 2021), 2021, : 195 - 197
- [28] Probabilistic modelling and evaluation of soft real-time embedded systems EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, PROCEEDINGS, 2006, 4017 : 206 - 215
- [30] Formal probabilistic refinement verification of embedded real-time systems WSTFES 2003: IEEE WORKSHOP ON SOFTWARE TECHNOLOGIES FOR FUTURE EMBEDDED SYSTEMS, PROCEEDINGS, 2003, : 79 - 82