May Thu Aung

According to our database, May Thu Aung authored at least 4 papers between 2009 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

Analysis of Two Flawed Versions of A Mutual Exclusion Protocol with Maude and SMGA.

May Thu Aung, Tam Thi Thanh Nguyen, Kazuhiro Ogata

Proceedings of the 7th International Conference on Software and Computer Applications, 2018

Guessing Properties of the Qlock Mutual Exclusion Protocol based on its Graphical Animations and confirming the Properties by Model Checking.

May Thu Aung, Tam Thi Thanh Nguyen, Kazuhiro Ogata

Proceedings of the 7th International Conference on Software and Computer Applications, 2018

2016

Clustering Based on Task Dependency for Data-Intensive Workflow Scheduling Optimization.

Ei Ei Mon, Myint Myint Thein, May Thu Aung

Proceedings of the 9th Workshop on Many-Task Computing on Clouds, 2016

2009

An Efficient Data Transfer Protocol for Distributed Systems.

May Thu Aung

Proceedings of the 2009 International Conference on Education Technology and Computer, 2009