4075 search results - page 790 / 815 » Modeling Distributed Algorithm Using B |
100
click to vote
ICS
2010
Tsinghua U.
15 years 10 months ago
2010
Tsinghua U.
We introduce the notion of "non-malleable codes" which relaxes the notion of error-correction and errordetection. Informally, a code is non-malleable if the message cont...
107
Voted
PPOPP
2010
ACM
15 years 9 months ago
2010
ACM
Many large-scale parallel programs follow a bulk synchronous parallel (BSP) structure with distinct computation and communication phases. Although the communication phase in such ...
113
Voted
BICOB
2009
Springer
15 years 7 months ago
2009
Springer
The de novo assembly of genomes from high-throughput short reads is an active area of research. Several promising methods have been recently developed, with applicability mainly re...
108
Voted
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
In order to generate high-quality code for modern processors, a compiler must aggressively schedule instructions, maximizing resource utilization for execution efficiency. For a ...
121
Voted
MIR
2005
ACM
15 years 6 months ago
2005
ACM
In this paper, we propose a novel system, named Video Booklet, which enables efficient and natural personal video browsing and searching. In the system, firstly representative th...