: Reconfigurable Computers can leverage the synergism between conventional processors and FPGAs to provide both hardware functionalities and general-purpose computers flexibility. ...
Esam El-Araby, Mohamed Taher, Kris Gaj, Tarek A. E...
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
In this paper we propose a novel method for communication over underwater acoustic channels that exhibit simultaneously large delay spread and Doppler spread, such as those found i...
Conventional performance evaluation mechanisms focus on dedicated systems. Grid computing infrastructure, on the other hand, is a shared collaborative environment constructed on v...
Abstract-- Leveraging service oriented programming paradigm would significantly affect the way people build software systems. However, to achieve this goal a solid software design ...
Aliaksei Yanchuk, Alexander Ivanyukovich, Maurizio...