717 search results - page 80 / 144 » Kill-safe synchronization abstractions |
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
Abstract— This paper explores the problem of efficiently ordering interprocessor communication operations in both statically and dynamically-scheduled multiprocessors for iterat...
FROCOS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
FSTTCS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
111
click to vote
HYBRID
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The problem of synthesizing feedback controllers that perform sensing and actuation actions on non–uniform and uncertain discrete time domains is considered. This class...
ICA3PP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Many simulation-based performance studies of interconnection networks are carried out using synthetic workloads under the assumption of independent traffic sources. We sh...