共 50 条
- [21] Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude FORMAL MODELING: ACTORS, OPEN SYSTEMS, BIOLOGICAL SYSTEMS: ESSAYS DEDICATED TO CAROLYN TALCOTT ON THE OCCASION OF HER 70TH BIRTHDAY, 2011, 7000 : 368 - 402
- [22] Testing embedded real-time systems SEVENTH INTERNATIONAL CONFERENCE ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2000, : 417 - 424
- [23] Kernel for embedded real-time systems 1996 IEEE REAL-TIME TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 1996, : 241 - 249
- [26] Real-time demosaicking for embedded systems ICCE: 2007 DIGEST OF TECHNICAL PAPERS INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS, 2007, : 471 - 472
- [27] Scheduling for embedded real-time systems IEEE DESIGN & TEST OF COMPUTERS, 1998, 15 (01): : 71 - 82
- [28] REAL-TIME FUNCTIONAL PROGRAMMING SYSTEMS MICROPROCESSING AND MICROPROGRAMMING, 1990, 30 (1-5): : 491 - 497
- [30] Programming Paradigms for Real-Time Systems 2014 IEEE 17TH INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC), 2014, : 366 - 373