4722 search results - page 340 / 945 » Encoding Program Executions |
214
click to vote
DPD
2010
15 years 4 months ago
2010
Abstract Bloom filters are extensively used in distributed applications, especially in distributed databases and distributed information systems, to reduce network requirements and...
184
click to vote
AI
2011
Springer
15 years 1 months ago
2011
Springer
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intr...
175
click to vote
ASPLOS
2004
ACM
16 years 6 days ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...
164
click to vote
FOAL
2007
ACM
15 years 10 months ago
2007
ACM
The relation between aspects and monads is a recurring topic in discussions in the programming language community, although it has never been elaborated whether their resemblences...
326
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Java programmers can document that the relationship between two objects is unchanging by declaring the field that encodes that relationship to be final. This information can be us...