Vivek Nirkhe

Publication Activity (10 Years)

Years Active: 1990-1995
Publications (10 Years): 0

Publications

Vivek Nirkhe, Mark Baugher
Quality of Service Support for Networked Media Players. COMPCON (1995)
Vivek Nirkhe, William Pugh
A Partial Evaluator for the Maruti Hard Real-Time System. Real Time Syst. 5 (1) (1993)
Vivek Nirkhe, William Pugh
Partial Evaluation of High-Level Imperative Programming Languages, with Applications in Hard Real-Time Systems. POPL (1992)
Scott D. Carson, Vivek Nirkhe, Paul Vongsathorn
A Discrete-State Model of the Two-Headed Disk. Inf. Process. Lett. 41 (6) (1992)
Vivek Nirkhe, William Pugh
A partial evaluator for the Maruti hard real-time system. RTSS (1991)
Satish K. Tripathi, Vivek Nirkhe
Pre-Scheduling for Synchronization in Hard Real-Time Systems. Operating Systems of the 90s and Beyond (1991)
Vivek Nirkhe, Satish K. Tripathi, Ashok K. Agrawala
Language Support for the Maruti Real-Time System. RTSS (1990)