Author of the publication

A Mobile Sink-initiated Proactive Routing Protocol for Deadline-Aware Data Aggregation Method in Energy-Efficient Wireless Sensor Networks.

, , , and . ARCS Workshops, volume P-200 of LNI, page 51-62. GI, (2012)

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

A Concurrent System of Multi-ported Processes with Causal Dependency.. APLAS, volume 3302 of Lecture Notes in Computer Science, page 146-162. Springer, (2004)A type system for data independence of loop iterations in a directive-based PGAS language.. MPLR, page 50-62. ACM, (2019)Model checking copy phases of concurrent copying garbage collection with various memory models., , and . Proc. ACM Program. Lang., 1 (OOPSLA): 53:1-53:26 (2017)A general model checking framework for various memory consistency models., and . Int. J. Softw. Tools Technol. Transf., 19 (5): 623-647 (2017)A typed lambda-calculus with first-class configurations., and . J. Log. Comput., 33 (7): 1527-1565 (October 2023)A Symmetric Lambda-Calculus Corresponding to the Negation-Free Bilateral Natural Deduction., and . CoRR, (2021)Development of Adaptive Inter-Network Handover Scheme for Flights of UAVs over People beyond Visual Line of Sight., , and . WPMC, page 1-6. IEEE, (2021)Energy-efficient Data Collection Method with Multiple Deadlines for Wireless Sensor Networks., , , and . J. Inf. Process., 21 (2): 320-328 (2013)Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations., and . J. Inf. Process., (2017)Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN., , and . J. Inf. Process., (2018)