43 citations · 119 across the 29 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 1 cited
Accelerated Runtime Verification of LTL Specifications with Counting Semantics
Ramy Medhat, Yogi Joshi, Borzoo Bonakdarpour +1
Runtime verification is an effective automated method for specification-based offline testing and analysis as well as online monitoring of complex systems. The specification langua…
cs.DC2014★ 1 cited
Power Redistribution for Optimizing Performance in MPI Clusters
Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister
Power efficiency has recently become a major concern in the high-performance computing domain. HPC centers are provisioned by a power bound which impacts execution time. Naturally,…