5639 search results - page 855 / 1128 » Timed Abstract Non-interference |
163
click to vote
ISCA
2002
IEEE
15 years 9 months ago
2002
IEEE
We develop an availability solution, called SafetyNet, that uses a unified, lightweight checkpoint/recovery mechanism to support multiple long-latency fault detection schemes. At...
128
click to vote
LATA
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We consider the efficient simplification of regular expressions and suggest a quantitative comparison of heuristics for simplifying regular expressions. To this end, we...
153
click to vote
SIGMOD
2010
ACM
15 years 9 months ago
2010
ACM
MapReduce is a popular framework for data-intensive distributed computing of batch jobs. To simplify fault tolerance, the output of each MapReduce task and job is materialized to ...
191
click to vote
CPAIOR
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We propose a hybrid approach for solving the resource-constrained project scheduling problem which is an extremely hard to solve combinatorial optimization problem of pra...
125
click to vote
HAIS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Accurate and swift responses are crucial to Intrusion Detection Systems (IDSs), especially if automatic abortion mechanisms are running. In keeping with this idea, this w...