201 search results - page 27 / 41 » A Linear-System Operator Based Scheme for Evaluation of Mult... |
173
click to vote
CAV
2006
Springer
15 years 9 months ago
2006
Springer
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...
243
click to vote
BILDMED
2011
14 years 9 months ago
2011
Abstract. In the field of image-guided liver surgery (IGLS), the initial registration of the intra-operative organ surface with preoperative tomographic image data is performed on...
182
click to vote
TMC
2010
15 years 4 months ago
2010
— In Wireless Sensor and Actor Networks (WSANs), the collaborative operation of sensors enables the distributed sensing of a physical phenomenon, while actors collect and process...
138
click to vote
FAST
2010
15 years 8 months ago
2010
Latent sector errors (LSEs) refer to the situation where particular sectors on a drive become inaccessible. LSEs are a critical factor in data reliability, since a single LSE can ...
160
click to vote
HPCA
2004
IEEE
16 years 6 months ago
2004
IEEE
Using alternative cache indexing/hashing functions is a popular technique to reduce conflict misses by achieving a more uniform cache access distribution across the sets in the ca...