668 search results - page 91 / 134 » Implementing and Evaluating Automatic Checkpointing |
114
click to vote
RV
2009
Springer
15 years 9 months 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 ...
122
Voted
ACSAC
2008
IEEE
15 years 9 months 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 ...
114
click to vote
ADBIS
2008
Springer
15 years 9 months 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...
137
click to vote
DATE
2007
IEEE
15 years 9 months 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...
128
Voted
ICAC
2007
IEEE
15 years 9 months 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...