1226 search results - page 73 / 246 » Proofs, Programs and Abstract Complexity |
130
click to vote
IFIP
2009
Springer
15 years 7 months ago
2009
Springer
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
115
click to vote
DSN
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract: We present a new approach that uses compilerdirected fault-injection for coverage testing of recovery code in Internet services to evaluate their robustness to operating ...
143
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...
143
click to vote
POPL
2010
ACM
16 years 19 days ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
152
click to vote
CSR
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Many theorems about Kolmogorov complexity rely on existence of combinatorial objects with specific properties. Usually the probabilistic method gives such objects with b...