17 results on '"Asokan, Shimmi"'
Search Results
2. Formal Modelling and Verification of the Clock Synchronization Algorithm of FlexRay
3. Energy-Aware Mobile Application Development by Optimizing GCC for the ARM Architecture
4. An Extension to Global Value Numbering
5. Formal modeling of the gPTP clock synchronization algorithm in automotive ethernet
6. ONEKUBE: A Virtual Classroom Experience
7. Energy-Aware Mobile Application Development by Optimizing GCC for the ARM Architecture
8. An Extension to Global Value Numbering
9. Process compliance checking using model checker
10. A cache replacement policy based on re-reference count
11. Ontology-based Document Mining System for IT Support Service
12. Summarizing User Opinions: A Method for Labeled-data Scarce Product Domains
13. A framework for optimizing GCC for ARM architecture
14. Adapting Barrel Shifter at Compilation Level for Efficient Implementation of Multiplications
15. Enhanced Performance of Engineering Students through REA: A Comparative Analysis
16. Modeling of ALFA Programs Using PVS Theorem Prover
17. A framework for optimizing GCC for ARM architecture.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.