3575 search results - page 107 / 715 » Presentations of computably enumerable reals |
158
click to vote
CP
2004
Springer
15 years 11 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...
167
click to vote
EUC
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents an experimental evaluation of our scenario-based multithreading for real-time object-oriented models by the use of a case study of a Private Branch eXchange (PB...
144
click to vote
ICA
2004
Springer
15 years 11 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...
154
click to vote
ECRTS
2003
IEEE
15 years 11 months ago
2003
IEEE
When executing different real-time applications on a single processor system, one problem is how to compose these applications and guarantee at the same time that their timing req...
176
click to vote
RTSS
2003
IEEE
15 years 11 months ago
2003
IEEE
We address the problem of providing compositional hard real-time guarantees in a hierarchy of schedulers. We first propose a resource model to characterize a periodic resource al...