5639 search results - page 220 / 1128 » Timed Abstract Non-interference |
124
Voted
MOC
2000
15 years 2 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...
130
Voted
RTAS
2009
IEEE
15 years 9 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...
133
Voted
ASIAN
2007
Springer
15 years 8 months 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...
131
click to vote
HPCC
2007
Springer
15 years 8 months 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...
113
Voted
EMSOFT
2005
Springer
15 years 8 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...