5639 search results - page 125 / 1128 » Timed Abstract Non-interference |
114
click to vote
CP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...
111
click to vote
GC
2004
Springer
15 years 7 months ago
2004
Springer
We describe the architecture and the implementation of the MIKADO software framework, that we call IMC (Implementing Mobile Calculi). The framework aims at providing the programmer...
ICA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper we present an efficient real-time implementation of a broadband algorithm for blind source separation (BSS) of convolutive mixtures. A recently introduced m...
118
click to vote
IWDC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Despite their crucial impact on the performances of p2p systems, very few is known on peers behaviors in such networks. We propose here a study of these behaviors in a ru...
118
click to vote
IV
2003
IEEE
15 years 7 months ago
2003
IEEE
City models have become central elements for visually communicating spatial information related to urban areas and have manifold applications. Our real-time orealistic rendering t...