2 citations · 2 across the 6 of their papers we have counts for
6 papers
Asynchronous Programming in a Prioritized Form
Mohamed A. El-Zawawy
Asynchronous programming has appeared as a programming style that overcomes undesired properties of concurrent programming. Typically in asynchronous models of programming, methods…
ImpNet: Programming Software-Defied Networks Using Imperative Techniques
Mohamed A. El-Zawawy, Adel I. AlSalem
Software and hardware components are basic parts of modern networks. However the software compo- nent is typical sealed and function-oriented. Therefore it is very difficult to mod…
Probabilistic Alias Analysis for Parallel Programming in SSA Forms
Mohamed A. El-Zawawy, Mohammad N. Alanazi
Static alias analysis of different type of programming languages has been drawing researcher attention. However most of the results of existing techniques for alias analysis are no…
An Efficient Binary Technique for Trace Simplifications of Concurrent Programs
Mohamed A. El-Zawawy, Mohammad N. Alanazi
Execution of concurrent programs implies frequent switching between different thread contexts. This property perplexes analyzing and reasoning about concurrent programs. Trace simp…
Dynamic Verification for File Safety of Multithreaded Programs
Mohamed A. El-Zawawy, Nagwan M. Daoud
In this paper, we present a new semantics to check file safety of multithreaded programs. A file-safe program is one that reaches a final configuration under the proposed semantics…
Efficient techniques for mining spatial databases
Mohamed A. El-Zawawy
Clustering is one of the major tasks in data mining. In the last few years, Clustering of spatial data has received a lot of research attention. Spatial databases are components of…