5639 search results - page 220 / 1128 » Timed Abstract Non-interference |
173
click to vote
MOC
2000
15 years 6 months ago
2000
We treat the time discretization of an initial-value problem for a ous abstract parabolic equation by first using a representation of the solution as an integral along the boundary...
183
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Real-time systems on non-preemptive platforms require a means of bounding the execution time of programs for admission purposes. Worst-Case Execution Time (WCET) is most...
172
click to vote
ASIAN
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We present a logic-based framework to evaluate the resilience of computer networks in the face of incidents, i.e., attacks from malicious intruders as well as random faul...
190
click to vote
HPCC
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Automatic execution time prediction of the Grid applications plays a critical role in making the pervasive Grid more reliable and predictable. However, automatic executio...
162
click to vote
EMSOFT
2005
Springer
16 years 1 days ago
2005
Springer
Abstract— This paper explores the problem of efficiently ordering interprocessor communication operations in both statically and dynamically-scheduled multiprocessors for iterat...