Author of the publication

Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking.

, , , , and . ICFEM, volume 10610 of Lecture Notes in Computer Science, page 298-314. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Joint bluetooth/wifi scanning framework for characterizing and leveraging people movement in university campus., , , and . MSWiM, page 257-265. ACM, (2010)Coordination and Synchronization: Designing Practical Detectors for Large-Scale Distributed Systems.. Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)Scale Up vs. Scale Out in Cloud Storage and Graph Processing Systems., , and . IC2E, page 428-433. IEEE Computer Society, (2015)Building Scalable Solutions to Distributed Computing Problems Using Probabilistic Components.. Cornell University, USA, (2004)A framework for time indexing in sensor networks., , , and . ACM Trans. Sens. Networks, 1 (1): 101-133 (2005)Baechi: Fast Device Placement of Machine Learning Graphs., , , , , , , , and . CoRR, (2023)Phocas: dimensional Byzantine-resilient stochastic gradient descent., , and . CoRR, (2018)Leveraging Social-Network Infrastructure to Improve Peer-to-Peer Overlay Performance: Results from Orkut, , , , , and . CoRR, (2005)On scalable and efficient distributed failure detectors., , and . PODC, page 170-179. ACM, (2001)A piggybacking approach to reduce overhead in sensor network gossiping, , and . MidSens '07: Proceedings of the 2nd international workshop on Middleware for sensor networks, page 19--24. New York, NY, USA, ACM, (2007)