共 50 条
- [41] Predictable paging in real-time systems: a compiler approach 19TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2007, : 169 - +
- [42] Toward compiler optimization of distributed real-time processes SECOND IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS: HELD JOINTLY WITH 6TH CSESAW, 4TH IEEE RTAW, AND SES'96, 1996, : 35 - 42
- [43] A SYMBOLIC DEBUGGER FOR REAL-TIME EMBEDDED ADA SOFTWARE SOFTWARE-PRACTICE & EXPERIENCE, 1990, 20 (05): : 499 - 514
- [46] A real-time framework for Ada 2005 and the Ravenscar profile 2009 35TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2009, : 515 - 522
- [47] Experiences using Ada in a real-time and distributed laboratory ACM SIGADA ANNUAL INTERNATIONAL CONFERENCE (SIGADA'99) - PROCEEDINGS, 1999, 19 (03): : 145 - 155
- [48] REAL-TIME SOFTWARE ENGINEERING IN ADA - OBSERVATIONS AND RECOMMENDATIONS TRI-ADA 89 : INDUSTRY, ACADEMIA, GOVERNMENT: ADA TECHNOLOGY IN CONTEXT : APPLICATION, DEVELOPMENT, AND DEPLOYMENT, 1989, : 554 - 569
- [50] A method for verifying real-time properties of Ada programs SEVENTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2001, : 35 - 43