Sciweavers

3018 search results - page 164 / 604
» Leveraging the
Sort
View
IJES
2006
72views more  IJES 2006»
15 years 4 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»
15 years 4 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
146
Voted
JSAC
2008
85views more  JSAC 2008»
15 years 3 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
151
Voted
JPDC
2006
156views more  JPDC 2006»
15 years 3 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»
15 years 3 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...