1318 search results - page 146 / 264 » Scalable Distributed Stream Processing |
128
Voted
AINA
2006
IEEE
15 years 8 months ago
2006
IEEE
Most conventional IPv4-based route lookup algorithms are no more suitable for IPv6 packet forwarding due to the significantly increased 128-bit-long address. However, as a result o...
135
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We propose a novel theoretical biomolecular design to implement any Boolean circuit using the mechanism of DNA strand displacement. The design is scalable: all species of DNA stra...
135
click to vote
CCGRID
2011
IEEE
14 years 6 months ago
2011
IEEE
—Coordinated Checkpoint/Restart (C/R) is a widely deployed strategy to achieve fault-tolerance. However, C/R by itself is not capable enough to meet the demands of upcoming exasc...
147
Voted
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
124
Voted
PPOPP
2010
ACM
15 years 11 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 ...