2935 search results - page 570 / 587 » An Integrated Approach to High Integrity Software Verificati... |
140
click to vote
MOBIHOC
2006
ACM
16 years 3 months ago
2006
ACM
Traditionally, ad hoc networks have been viewed as a connected graph over which end-to-end routing paths had to be established. Mobility was considered a necessary evil that inval...
128
click to vote
ICCAD
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract— This paper addresses the module assignment problem in pinlimited designs under the stacked-Vdd circuit paradigm. A partition-based algorithm is presented for efficient...
129
click to vote
SOSP
2005
ACM
16 years 27 days ago
2005
ACM
Rapid improvements in network bandwidth, cost, and ubiquity combined with the security hazards and high total cost of ownership of personal computers have created a growing market...
145
click to vote
CVPR
2010
IEEE
16 years 14 days ago
2010
IEEE
In matching tasks in computer vision, and particularly in real-time tracking from video, there are generally strong priors available on absolute and relative correspondence locati...
144
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
We propose a proximity-based access control scheme for implantable medical devices (IMDs). Our scheme is based on ultrasonic distancebounding and enables an implanted medical devi...