Related content

Energy Efficient Monitoring in Sensor Networks

By Deshpande Amol   Khuller Samir   Malekian Azarakhsh   Toossi Mohammed  

Algorithmica, Vol. 59, Iss. 1, 2011-01 ,pp. : 94-114

Springer Publishing Company

Access to resources Recommend Favorite

MDG-SAT: an automated methodology for efficient safety checking

By Hoque Khaza Anuarul  

International Journal of Critical Computer-Based Systems, Vol. 3, Iss. 1-2, 2012-01 ,pp. : 4-25

Inderscience Publishers

Access to resources Recommend Favorite

Online efficient predictive safety analysis of multithreaded programs

By Sen Koushik   Roşu Grigore   Agha Gul  

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 3, 2006-06 ,pp. : 248-260

Springer Publishing Company

Access to resources Recommend Favorite

Efficient available energy monitoring in wireless sensor networks

By Gungor Vehbi Cagri  

International Journal of Sensor Networks, Vol. 3, Iss. 1, 2007-12 ,pp. : 25-32

Inderscience Publishers

Access to resources Recommend Favorite

Local proofs for global safety properties

By Cohen Ariel   Namjoshi Kedar  

Formal Methods in System Design, Vol. 34, Iss. 2, 2009-04 ,pp. : 104-125

Springer Publishing Company

Access to resources Recommend Favorite