24188 search results - page 4380 / 4838 » Computing on Encrypted Data |
202
click to vote
CASES
2004
ACM
15 years 10 months ago
2004
ACM
New heterogeneous multiprocessor platforms are emerging that are typically composed of loosely coupled components that exchange data using programmable interconnections. The compon...
178
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
216
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
198
click to vote
DELTA
2004
IEEE
15 years 10 months ago
2004
IEEE
In this report we address the problem of static scheduling of realtime systems that include both hard and soft tasks. We consider systems in which both hard and soft tasks are per...
176
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
As the number of resources on the Grid tends to be very dynamic and potentially large, it becomes increasingly important to discover and monitor them efficiently. This paper conce...