1959 search results - page 89 / 392 » Concerned About Separation |
137
click to vote
ESOP
2004
Springer
15 years 9 months ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
151
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
This paper presents a method for automatic segmentation of bone from volumetric computed tomography (CT) data. Due to osteoporosis, which degenerates the bone density and hence de...
242
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...
120
click to vote
ACSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
—To strengthen systems against code injection attacks, the write or execute only policy (W⊕X) and address space layout randomization (ASLR) are typically used in combination. T...
141
click to vote
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper describes a visual odometry algorithm for estimating frame-to-frame camera motion from successive stereo image pairs. The algorithm differs from most visual odometry...