2693 search results - page 211 / 539 » French Order Without Order |
139
click to vote
ESORICS
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. Given the requirements of fast processing and the complexity of RF ranging systems, distance bounding protocols have been challenging to implement so far; only few design...
252
click to vote
ASPLOS
2009
ACM
16 years 5 months ago
2009
ACM
Software failures in server applications are a significant problem for preserving system availability. We present ASSURE, a system that introduces rescue points that recover softw...
223
click to vote
ASPLOS
2009
ACM
16 years 5 months ago
2009
ACM
Multicore hardware is making concurrent programs pervasive. Unfortunately, concurrent programs are prone to bugs. Among different types of concurrency bugs, atomicity violation bu...
156
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...
128
click to vote
SOSP
2003
ACM
16 years 1 months ago
2003
ACM
Many interesting large-scale systems are distributed systems of multiple communicating components. Such systems can be very hard to debug, especially when they exhibit poor perfor...