3828 search results - page 687 / 766 » Proof-Based System Engineering Using a Virtual System Model |
137
click to vote
CF
2006
ACM
15 years 8 months ago
2006
ACM
Packet processing systems maintain high throughput despite relatively high memory latencies by exploiting the coarse-grained parallelism available between packets. In particular, ...
128
click to vote
INFOCOM
2003
IEEE
15 years 7 months ago
2003
IEEE
— It has been clear since 1988 that self-propagating code can quickly spread across a network by exploiting homogeneous security vulnerabilities. However, the last few years have...
134
click to vote
PE
2010
Springer
15 years 19 days ago
2010
Springer
We consider a push pull queueing system with two servers and two types of jobs which are processed by the two servers in opposite order, with stochastic generally distributed proc...
142
click to vote
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
As the bandwidth of CPUs and networks continues to grow, it becomes more attractive, for efficiency reasons, to share such resources among several applications with the minimum le...
143
click to vote
CLEF
2008
Springer
15 years 4 months ago
2008
Springer
We describe the WebCLEF 2008 task. Similarly to the 2007 edition of WebCLEF, the 2008 edition implements a multilingual "information synthesis" task, where, for a given t...