1299 search results - page 144 / 260 » On the Correctness of Operating System Kernels |
149
click to vote
DC
2007
2007
Booting clock synchronization in partially synchronous systems with hybrid process and link failures
15 years 4 months ago
This paper provides description and analysis of a new clock synchronization algorithm for synchronous and partially synchronous systems with unknown upper and lower bounds on delay...
131
click to vote
CAD
2004
Springer
15 years 4 months ago
2004
Springer
We present a system, ESOLID, that performs exact boundary evaluation of low-degree curved solids in reasonable amounts of time. ESOLID performs accurate Boolean operations using e...
152
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
Over the past decade, tremendous amount of research activity has focused around the problem of localization in GPS denied environments. Challenges with localization are highlighte...
120
click to vote
PERCOM
2007
ACM
16 years 4 months ago
2007
ACM
When a mobile user dials 911, a key to arriving to the emergency scene promptly is knowing the location of the mobile user. This paper presents SkyLoc, a GSM fingerprinting-based ...
146
click to vote
ICPADS
2008
IEEE
15 years 11 months ago
2008
IEEE
The use of good random numbers is essential to the integrity of many mission-critical systems. However, when such systems are replicated for Byzantine fault tolerance, a serious i...