1 × Germany
1 × USA
S.Ramesh P.Dasgupta S.Mohalik A.C.Rajeev P.V.Suman P.K.Pandya S.Jiang
time (3) system (2) embed (2) real (2) end (2) methodolog (1) analysi (1) latenc (1) compon (1) model (1)
Person: Manoj G. Dixit
Wrote 2 papers:
- DATE-2010-DixitDR #component #embedded #realtime
- Taming the component timing: A CBD methodology for real-time embedded systems (MGD, PD, SR), pp. 1649–1652.
- DAC-2008-MohalikRDRSPJ #analysis #embedded #latency #model checking #realtime
- Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts (SM, ACR, MGD, SR, PVS, PKP, SJ), pp. 296–299.