Dr Divakar Singh Yadav
Dr Divakar Singh Yadav
Department of Computer Science & Engineering, Institute of Engineering & Technology, Lucknow
Verified email at ietlucknow.ac.in - Homepage
Title
Cited by
Cited by
Year
An incremental development of the Mondex system in Event-B
M Butler, D Yadav
Formal Aspects of Computing 20 (1), 61-77, 2008
942008
Rigorous Development of Complex Fault-Tolerant Systems
M Butler, C Jones, A Romanovsky, E Troubitsyna
Springer, 2006
312006
Rigorous design of fault-tolerant transactions for replicated database systems using Event B
D Yadav, M Butler
Rigorous Development of Complex Fault-Tolerant Systems, 343-363, 2006
282006
Application of Event B to global causal ordering for fault tolerant transactions
D Yadav, M Butler
192005
Understanding and estimation of emotional expression using acoustic analysis of natural speech
NS Fulmare, P Chakrabarti, D Yadav
International Journal on Natural Language Computing (IJNLC) 2 (4), 37-46, 2013
162013
Methods, models and tools for fault tolerance
M Butler, C Jones, A Romanovsky, E Troubitsyna
Springer Berlin Heidelberg, 2009
162009
Foundations of Information Technology
DS Yadav
New Age International, 2007
162007
Microcontroller: Features and Applications
DS Yadav
New Age International, 2004
132004
Modeling of multiversion concurrency control system using Event-B
R Suryavanshi, D Yadav
2012 Federated Conference on Computer Science and Information Systems …, 2012
122012
Mathematical framework for a novel database replication algorithm
SK Yadav, G Singh, DS Yadav
International Journal of Modern Education and Computer Science 5 (9), 1, 2013
112013
Formal development of a total order broadcast for distributed transactions using Event-B
D Yadav, M Butler
Methods, Models and Tools for Fault Tolerance, 152-176, 2009
112009
Formal development of byzantine immune total order broadcast system using Event-B
R Suryavanshi, D Yadav
International Conference on Data Engineering and Management, 317-324, 2010
102010
Formal Specifications and Verification of Message Ordering Properties in a Broadcasting System using Event B
D Yadav, M Butler
92007
Formal development of fault tolerant transactions for a replicated database using ordered broadcasts
D Yadav, M Butler
82007
Verification of liveness properties in distributed systems
D Yadav, M Butler
International Conference on Contemporary Computing, 625-636, 2009
72009
Analysis of a database replication algorithm under load sharing in networks
SK Yadav, G Singh, DS Yadav
J Eng Sci Technol (JESTEC) 11, 193-211, 2016
62016
Throughput and delay analysis of database replication algorithm
SK Yadav, G Singh, DS Yadav
International Journal of Modern Education and Computer Science 5 (12), 47, 2013
52013
Analysis of database replication algorithm in local and global networks
SK Yadav, G Singh, DS Yadav
International Journal of Computer Applications 84 (6), 2013
52013
Performance analysis of long-lived cooperative transactions in active DBMS
AKM Prithwish Kangsabanik,D S Yadav, Rajib Mall
Data & Knowledge Engineering 62 (3), 547-577, 2007
52007
Analysis of lane detection techniques using opencv
SK Vishwakarma, DS Yadav
2015 Annual IEEE India Conference (INDICON), 1-4, 2015
42015
The system can't perform the operation now. Try again later.
Articles 1–20