共 50 条
- [1] Runtime verification of embedded real-time systems [J]. Formal Methods in System Design, 2014, 44 : 203 - 239
- [2] Runtime Verification of Real-time Embedded Systems [J]. EMSOFT '12: PROCEEDINGS OF THE TENTH AMC INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE 2012, 2012, : 249 - 250
- [4] Conforming the Runtime Inputs for Hard Real-Time Embedded Systems [J]. 2012 49TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2012, : 430 - 436
- [5] Runtime Reconfiguration of Custom Instructions for Real-Time Embedded Systems [J]. DATE: 2009 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2009, : 1536 - 1541
- [7] A Middleware for Reconfigurable Distributed Real-Time Embedded Systems [J]. SOFTWARE ENGINEERING RESEARCH, MANAGEMENT AND APPLICATIONS 2012, 2012, 430 : 81 - +
- [9] A Reconfigurable Multiclass Support Vector Machine Architecture for Real-Time Embedded Systems Classification [J]. 2015 IEEE 23RD ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM), 2015, : 244 - 251
- [10] Runtime Architecture Adaptation for Energy Management in Embedded Real-Time Systems [J]. 2012 INTERNATIONAL GREEN COMPUTING CONFERENCE (IGCC), 2012,