9110 search results - page 1548 / 1822 » Formally-Based Design Evaluation |
136
click to vote
SIGCOMM
2005
ACM
15 years 10 months ago
2005
ACM
Predicting the throughput of large TCP transfers is important for a broad class of applications. This paper focuses on the design, empirical evaluation, and analysis of TCP throug...
146
click to vote
SIGIR
2005
ACM
15 years 10 months ago
2005
ACM
Search engines represent a key component of Web economy these days. Despite that, there is not much technical literature available on their design, fine tuning, and internal oper...
158
click to vote
SOUPS
2005
ACM
15 years 10 months ago
2005
ACM
Graphical passwords are an alternative to alphanumeric passwords in which users click on images to authenticate themselves rather than type alphanumeric strings. We have developed...
150
click to vote
ICS
2005
Tsinghua U.
15 years 10 months ago
2005
Tsinghua U.
Excessive power consumption is becoming a major barrier to extracting the maximum performance from high-performance parallel systems. Therefore, techniques oriented towards reduci...
161
click to vote
LOPSTR
2005
Springer
15 years 10 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...