共 50 条
- [31] Scheduling for embedded real-time systems [J]. IEEE DESIGN & TEST OF COMPUTERS, 1998, 15 (01): : 71 - 82
- [32] Model-Based Development of Distributed Embedded Real-Time Systems with the DECOS Tool-Chain [J]. ERCIM NEWS, 2008, (75): : 25 - 26
- [33] An Energy-Efficient Middleware for Computation Offloading in Real-Time Embedded Systems [J]. 2016 IEEE 22ND INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA), 2016, : 228 - 237
- [34] Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems [J]. IEEE 34TH REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2013), 2013, : 330 - 339
- [36] A Survey of Energy-Efficient Task Synchronization for Real-Time Embedded Systems [J]. 2017 IEEE 23RD INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA), 2017,
- [37] Energy-efficient scheduling with reliability guarantee in embedded real-time systems [J]. SUSTAINABLE COMPUTING-INFORMATICS & SYSTEMS, 2018, 18 : 137 - 148
- [38] Formal Model Engineering for Embedded Systems Using Real-Time Maude [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (56): : 3 - 13
- [39] Model-Based Real-Time Testing of Embedded Automotive Systems [J]. SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2014, 7 (02): : 337 - 344
- [40] Model-based specification and execution of embedded real-time systems [J]. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2004, : 1392 - 1393