13181 search results - page 2251 / 2637 » Design and Implementation of Cohesion |
236
Voted
CADE
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
208
Voted
KDD
2009
ACM
16 years 7 months ago
2009
ACM
Behavioral targeting (BT) leverages historical user behavior to select the ads most relevant to users to display. The state-of-the-art of BT derives a linear Poisson regression mo...
216
Voted
MOBISYS
2009
ACM
16 years 7 months ago
2009
ACM
Point&Connect (P&C) offers an intuitive and resilient device pairing solution on standard mobile phones. Its operation follows the simple sequence of point-and-connect: wh...
212
Voted
EUROSYS
2007
ACM
16 years 4 months ago
2007
ACM
Two oft-cited file systems, the Fast File System (FFS) and the Log-Structured File System (LFS), adopt two sharply different update strategies—update-in-place and update-out-of-...
196
Voted
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
Researchers have made great strides in improving the fault tolerance of both centralized and replicated systems against arbitrary (Byzantine) faults. However, there are hard limit...