3335 search results - page 42 / 667 » Grid result checking |
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
112
click to vote
ICAC
2008
IEEE
15 years 6 months ago
2008
IEEE
—Large scale production grids are an important case for autonomic computing. They follow a mutualization paradigm: decision-making (human or automatic) is distributed and largely...
127
click to vote
CCGRID
2008
IEEE
15 years 1 months ago
2008
IEEE
Production grids are complex and highly variable systems whose behavior is not well understood and difficult to anticipate. The goal of this study is to estimate the impact of the ...
INFOCOM
2006
IEEE
15 years 5 months ago
2006
IEEE
— Before a sensor network is deployed, it is important to determine how many sensors are required to achieve a certain coverage degree. The number of sensor required for maintain...
117
click to vote
GCC
2007
Springer
15 years 6 months ago
2007
Springer
Image filtering is the use of computer graphics algorithms to enhance the quality of digital images or to extract information about their content. However rendering very large siz...