5639 search results - page 205 / 1128 » Timed Abstract Non-interference |
143
Voted
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
Abstract. Many parallel scienti c applications have dynamic and irregular computational structure. However, most such applications exhibit persistence of computational load and com...
131
Voted
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
The rapid progress in high-performance microprocessor design has made it di cult to adapt real-time scheduling results to new models of microprocessor hardware, thus leaving an un...
208
click to vote
FDL
2004
IEEE
15 years 6 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
124
Voted
LCR
2000
Springer
15 years 6 months ago
2000
Springer
We present a new run-time system for typed programming languages that supports object sharing in a distributed system. The key insight in this system is that the ability to distin...
130
click to vote
DIMVA
2007
15 years 4 months ago
2007
Abstract. We present two light-weight worm detection algorithms that offer significant advantages over fixed-threshold methods. The first algorithm, RBS (ratebased sequential hy...