1995 |
5 | EE | Kevin A. Kettler,
Daniel I. Katcher,
Jay K. Strosnider:
A modeling methodology for real-time/multimedia operating systems.
IEEE Real Time Technology and Applications Symposium 1995: 15-26 |
4 | | Daniel I. Katcher,
Shirish S. Sathaye,
Jay K. Strosnider:
Fixed Priority Scheduling with Limited Priority Levels.
IEEE Trans. Computers 44(9): 1140-1144 (1995) |
1994 |
3 | | Daniel I. Katcher,
Kevin A. Kettler,
Jay K. Strosnider:
Modeling DSP Operating Systems for Multimedia Applications.
IEEE Real-Time Systems Symposium 1994: 287-291 |
1993 |
2 | | Hiroshi Arakawa,
Daniel I. Katcher,
Jay K. Strosnider,
Hideyuki Tokuda:
Modeling and Validation of the Real-Time Mach Scheduler.
SIGMETRICS 1993: 195-206 |
1 | EE | Daniel I. Katcher,
Hiroshi Arakawa,
Jay K. Strosnider:
Engineering and Analysis of Fixed Priority Schedulers.
IEEE Trans. Software Eng. 19(9): 920-934 (1993) |