968 search results - page 120 / 194 » A faster implementation of APlace |
129
click to vote
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
107
click to vote
EICS
2009
ACM
15 years 10 months ago
2009
ACM
The pervasive use of ambiguous keypads for mobile text entry necessitates examination of their performance characteristics. This paper presents TnToolkit – a self-contained tool...
111
click to vote
IMC
2009
ACM
15 years 10 months ago
2009
ACM
Researchers and network operators often say that BGP table transfers are slow. Despite this common knowledge, the reasons for slow BGP transfers are not well understood. This pape...
165
click to vote
CRV
2008
IEEE
15 years 10 months ago
2008
IEEE
The extraction of contours using deformable models, such as snakes, is a problem of great interest in computer vision, particular in areas of medical imaging and tracking. Snakes ...
140
click to vote
CW
2008
IEEE
15 years 10 months ago
2008
IEEE
Level set methods have been extensively used to track the dynamical interfaces between different materials for physically based simulation, geometry modeling, oceanic modeling and...