In this paper, training design is studied for a single relay amplify-and-forward cooperative network. The taps of the frequency selective channels are assumed to be correlated and...
Christos Mavrokefalidis, Athanasios A. Rontogianni...
Often, software architects impose a particular style on the software systems they design. For large software systems, they would like to ensure that the design continues to confor...
—One step in the verification of hard real-time systems is to determine upper bounds on the worst-case execution times (WCET) of tasks. To obtain tight bounds, a WCET analysis h...
The developments in information technology during the last decade have been rapidly changing the possibilities for data and knowledge access. To respect this, several declarative k...
Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Micha...
In this paper we present a robust software infrastructure for metacomputing. The system is intended to be used by others as a building block for large and powerful computational g...