5639 search results - page 297 / 1128 » Timed Abstract Non-interference |
116
Voted
ARCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper proposes a new hardware-based energy management technique for future embedded multithreaded processors with integrated Earliest Deadline First (EDF) real-time ...
204
Voted
FSTTCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We consider exchange economies where the traders’ preferences are expressed in terms of the extensively used constant elasticity of substitution (CES) utility functions...
132
Voted
FSTTCS
2005
Springer
15 years 9 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 ...
129
Voted
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In the future, advanced biomechanical simulations of brain deformation during surgery will require access to multi-teraflop parallel hardware, supporting operating room i...
93
Voted
ISAAC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we address the problem of estimating the number of stations in a wireless network. Under the assumption that each station can detect collisions, we show tha...