2661 search results - page 185 / 533 » Model Checking Performability Properties |
179
click to vote
NAA
2004
Springer
16 years 11 days ago
2004
Springer
It was recently shown that block-circulant preconditioners applied to a conjugate gradient method used to solve structured sparse linear systems arising from 2D or 3D elliptic prob...
169
click to vote
IJHPCN
2006
15 years 7 months ago
2006
: This paper presents several ideas pertaining to desirable properties associated with protocols for moving large amounts of data over a grid of high performance computers. The pro...
193
click to vote
IJRR
2006
15 years 7 months ago
2006
In this paper we study the time evolution of the position estimates' covariance in Cooperative Simultaneous Localization and Mapping (C-SLAM), and obtain analytical upper boun...
221
Voted
CHARME
2005
Springer
16 years 17 days ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
160
Voted
ISORC
2005
IEEE
16 years 18 days ago
2005
IEEE
: While the conventional remote method invocation mechanism has been considered for a long time as the primary approach for facilitating interactions among real-time objects, a mul...