共 50 条
- [22] Efficient real-time model checking using tabled logic programming and constraints LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 : 100 - 114
- [25] Real-World Constraints of GPUs in Real-Time Systems 2011 IEEE 17TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA 2011), VOL 2, 2011, : 48 - 54
- [26] Using engineering change forecast to prioritise component modularisation Research in Engineering Design, 2015, 26 : 337 - 353
- [27] Real-time scheduling under time-interval constraints EMBEDDED AND UBIQUITOUS COMPUTING, PROCEEDINGS, 2007, 4808 : 158 - 169
- [28] Validating real-time constraints in embedded systems 2001 PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2001, : 347 - 355