Mohana Asha Latha Dubasi

According to our database1, Mohana Asha Latha Dubasi authored at least 4 papers between 2011 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
IoT-Based Secure Embedded Scheme for Insulin Pump Data Acquisition and Monitoring.
CoRR, 2018

2015
A Formal Verification Methodology for FPGA-Based Stepper Motor Control.
IEEE Embed. Syst. Lett., 2015

2014
Timed Refinement for Verification of Real-Time Object Code Programs.
Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

2011
Parabilis: Speeding up Single-Threaded Applications by Extracting Fine-Grained Threads for Multi-core Execution.
Proceedings of the 10th International Symposium on Parallel and Distributed Computing, 2011


  Loading...