2935 search results - page 570 / 587 » An Integrated Approach to High Integrity Software Verificati... |
184
click to vote
MOBIHOC
2006
ACM
16 years 6 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...
165
click to vote
ICCAD
2007
IEEE
16 years 3 months 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...
163
click to vote
SOSP
2005
ACM
16 years 3 months 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...
183
click to vote
CVPR
2010
IEEE
16 years 3 months 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...
192
click to vote
CCS
2009
ACM
16 years 1 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...