Vinit Ogale
Vinit Ogale
Verifierad e-postadress på microsoft.com
TitelCiteras avÅr
Predictive runtime verification of multi-processor SoCs in SystemC
A Sen, V Ogale, MS Abadir
Proceedings of the 45th annual Design Automation Conference, 948-953, 2008
312008
Detecting temporal logic predicates on distributed computations
VA Ogale, VK Garg
International Symposium on Distributed Computing, 420-434, 2007
232007
Fusible Data Structures for Fault-Tolerance.
VK Garg, VA Ogale
ICDCS, 20, 2007
142007
A fusion-based approach for tolerating faults in finite state machines
V Ogale, B Balasubramanian, VK Garg
2009 IEEE International Symposium on Parallel & Distributed Processing, 1-11, 2009
132009
Capacity estimation of VoIP channels on wireless networks
T Patel, V Ogale, S Baek, N Cui, R Park
Dept of Electrical and Computer Engineering, The University of Texas at …, 2003
122003
System reset
DT Lee, V Ogale, KP Subramanya, SSKPK Kasturi, H Zheng, Y Yuan, ...
US Patent 8,639,973, 2014
92014
System reset and system restore
DT Lee, V Ogale, KP Subramanya, SSKPK Kasturi, H Zheng, Y Yuan, ...
US Patent 8,799,337, 2014
72014
Fault tolerance in finite state machines using fusion
B Balasubramanian, V Ogale, VK Garg
International Conference on Distributed Computing and Networking, 124-134, 2008
72008
Structure multifunction computer chair support apparatus
HJ Chen
US Patent App. 10/067,835, 2003
62003
Coordinated Energy Conservation in Ad Hoc Networks.
S Ikiz, VA Ogale, VK Garg
IASTED PDCS, 749-754, 2005
52005
Method for providing fault tolerance to multiple servers
VK Garg, VA Ogale
US Patent 7,831,859, 2010
32010
Modeling and analyzing periodic distributed computations
A Agarwal, VK Garg, V Ogale
Symposium on Self-Stabilizing Systems, 191-205, 2010
32010
Distributed Computing (21 conf.)
A Pelc
Springer, 2007
32007
Channel Capacity Estimation in VOIP Channels over Wireless Networks
TJ Patel, VA Ogale, NCS Baek, R Parkm
h ttp://us er se ce. ute xa s. ed u/wire le ss/EE381K11_Spring03 projects/11 …, 2003
32003
Modeling, analyzing and slicing periodic distributed computations
VK Garg, A Agarwal, V Ogale
Information and Computation 234, 26-43, 2014
22014
Stabilization, Safety, and Security of Distributed Systems: 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010, Proceedings
S Dolev
Springer-Verlag New York Inc, 2011
22011
Brief announcement: Many slices are better than one
VA Ogale, VK Garg
International Symposium on Distributed Computing, 548-550, 2006
12006
Access control lists for high-performance naming service
JR Douceur, V Ogale, JP Raisanen, SA Marks, ...
US Patent 10,509,916, 2019
2019
High-Performance Naming Service Using an Optimistic-Concurrency-Control In-Memory Database
JR Douceur, V Ogale, JP Raisanen, SA Marks, ...
US Patent App. 15/593,999, 2018
2018
System reset
DT Lee, V Ogale, KP Subramanya, SSKPK Kasturi, H Zheng, Y Yuan, ...
US Patent 10,067,835, 2018
2018
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20