5639 search results - page 154 / 1128 » Timed Abstract Non-interference |
113
Voted
AIME
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Cancer spread is a non-deterministic dynamic process. As a consequence, the design of an assistant system for the diagnosis and prognosis of the extent of a cancer should...
122
Voted
EUROCRYPT
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. We consider the problem of sending messages into the future." Previous constructions for this task were either based on heuristic assumptions or did not provide anon...
92
Voted
ICNP
1996
IEEE
15 years 6 months ago
1996
IEEE
Abstract-- We present a scheduling protocol, called TimeShift Scheduling, to forward packets from multiple input flows to a single output channel. Each input flow is guaranteed a p...
105
click to vote
CC
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Loop optimizations such as loop unrolling, unfolding and invariant code motion have long been used in a wide variety of compilers to improve the running time of applicati...
132
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Well-known hierarchies discriminate between the computational power of discrete time and space dynamical systems. A contrario the situation is more confused for dynamical...