8780 search results - page 386 / 1756 » On the Feasibility of Consistent Computations |
217
click to vote
IPPS
2002
IEEE
16 years 18 days ago
2002
IEEE
Traditional real-time software development methodologies require full knowledge of the resource capability of target platforms during the development stage. However, such knowledg...
216
click to vote
PODS
2005
ACM
16 years 7 months ago
2005
ACM
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...
168
click to vote
ESOP
2009
Springer
16 years 2 months ago
2009
Springer
ion for Concurrent Objects Ivana Filipovi´c, Peter O’Hearn, Noam Rinetzky, and Hongseok Yang Queen Mary University of London, UK Concurrent data structures are usually designed ...
168
click to vote
IEEEARES
2008
IEEE
16 years 2 months ago
2008
IEEE
— Finding evidence of antedating is an important goal in many digital investigations. This paper explores how causality can expose antedating by investigating storage systems for...
153
click to vote
COLT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We propose simple randomized strategies for sequential prediction under imperfect monitoring, that is, when the forecaster does not have access to the past outcomes but r...