668 search results - page 91 / 134 » Implementing and Evaluating Automatic Checkpointing |
154
click to vote
RV
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. We consider monitoring and checking formally specified properties in a network. We are addressing the problem of deploying the checkers on different network nodes that ...
160
click to vote
ACSAC
2008
IEEE
16 years 13 days ago
2008
IEEE
Many anti-phishing mechanisms currently focus on helping users verify whether a web site is genuine. However, usability studies have demonstrated that prevention-based approaches ...
148
click to vote
ADBIS
2008
Springer
16 years 9 days ago
2008
Springer
The event-condition-action paradigm (also known as triggers or ECA rules) gives a database “active” capabilities – the ability to react automatically to changes in the databa...
176
click to vote
DATE
2007
IEEE
16 years 8 days ago
2007
IEEE
We present a methodology for generating optimized architectures for data bandwidth constrained extensible processors. We describe a scalable Integer Linear Programming (ILP) formu...
156
click to vote
ICAC
2007
IEEE
16 years 8 days ago
2007
IEEE
Most parallel machines, such as clusters, are spaceshared in order to isolate batch parallel applications from each other and optimize their performance. However, this leads to lo...