1407 search results - page 24 / 282 » Using Use Cases in Executable Z |
138
Voted
CSAC
2004
15 years 5 months ago
2004
CoMex (Coordination Mechanism) is a system to coordinate the execution of tasks accessing coordinable entities. It uses coordination rules to describe the temporal and logical orde...
116
Voted
ISPASS
2010
IEEE
15 years 10 months ago
2010
IEEE
After many years of prefetching research, most commercially available systems support only two types of prefetching: software-directed prefetching and hardware-based prefetchers u...
229
Voted
Publication
In this paper, we propose a task scheduling algorithm for a multicore processor system which reduces the recovery time in case of a single fail-stop failure of a multicore processo...
246
Voted
Presentation
In this paper, we propose a task scheduling al-gorithm for a multicore processor system which reduces the recovery time in case of a single fail-stop failure of a multicore process...
102
Voted
ICDCS
1989
IEEE
15 years 7 months ago
1989
IEEE
We examine the task of concurrently computing alternative solutions to a problem. We restrict our interest to the case where only one of the solutions is needed; in this case we n...