Sciweavers

3018 search results - page 164 / 604
» Leveraging the
Sort
View
IJES
2006
72views more  IJES 2006»
13 years 10 months ago
System-level parallelism and concurrency maximisation in reconfigurable computing applications
: 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...
JAR
2008
89views more  JAR 2008»
13 years 10 months ago
An Extensible Encoding of Object-oriented Data Models in hol
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...
Achim D. Brucker, Burkhart Wolff
JSAC
2008
85views more  JSAC 2008»
13 years 10 months ago
Efficient Multicarrier Communication for Highly Spread Underwater Acoustic Channels
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...
Sung-Jun Hwang, Philip Schniter
JPDC
2006
156views more  JPDC 2006»
13 years 10 months ago
Grid harvest service: A performance system of grid computing
Conventional performance evaluation mechanisms focus on dedicated systems. Grid computing infrastructure, on the other hand, is a shared collaborative environment constructed on v...
Ming Wu, Xian-He Sun
JSW
2006
89views more  JSW 2006»
13 years 10 months ago
Towards a Mathematical Foundation for Service-Oriented Applications Design
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...