1030 search results - page 17 / 206 » Stateful Detection in High Throughput Distributed Systems |
TON
2012
13 years 2 months ago
2012
—Regular expressions (RegExes) are widely used, yet their inherent complexity often limits the total number of RegExes that can be detected using a single chip for a reasonable t...
PIMRC
2010
IEEE
14 years 9 months ago
2010
IEEE
We consider the problem of multi-cell downlink beamforming with N cells and K terminals per cell. Cooperation among base stations (BSs) has been found to increase the system throug...
100
click to vote
FTRTFT
2000
Springer
15 years 3 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
NPC
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Cluster-based storage systems connected with TCP/IP networks are expected to achieve a high throughput by striping files across multiple storage servers. However, for th...
APN
2003
Springer
15 years 5 months ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...