 | 1995 |
|---|
| 5 |       | 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 | | Daniel I. Katcher,
Hiroshi Arakawa,
Jay K. Strosnider:
Engineering and Analysis of Fixed Priority Schedulers.
IEEE Trans. Software Eng. 19(9): 920-934 (1993) |
