10146 search results - page 334 / 2030 » Fast FAST |
152
click to vote
DCC
2010
IEEE
15 years 11 months ago
2010
IEEE
We introduce an alternative Lempel-Ziv text parsing, LZ-End, that converges to the entropy and in practice gets very close to LZ77. LZ-End forces sources to finish at the end of ...
132
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
We study the fifo and causal multicast problem, two group-communication abstractions that deliver messages in an order consistent with their context. With fifo multicast, the co...
118
Voted
ASM
2010
ASM
15 years 11 months ago
2010
ASM
Identifying a minimal unsatisfiable core in an Alloy model proved to be a very useful feature in many scenarios. We extend this concept to hot core, an approximation to unsat core...