16257 search results - page 3122 / 3252 » D-finiteness: algorithms and applications |
PLDI
2005
ACM
15 years 3 months ago
2005
ACM
This paper introduces the concept of programming with sketches, an approach for the rapid development of high-performance applications. This approach allows a programmer to write ...
SAC
2005
ACM
15 years 3 months ago
2005
ACM
Regression test prioritization techniques re-order the execution of a test suite in an attempt to ensure that defects are revealed earlier in the test execution phase. In prior wo...
SENSYS
2005
ACM
15 years 3 months ago
2005
ACM
In this paper we present a novel platform for underwater sensor networks to be used for long-term monitoring of coral reefs and fisheries. The sensor network consists of static a...
SIGCOMM
2005
ACM
15 years 3 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...
SIGCOMM
2005
ACM
15 years 3 months ago
2005
ACM
We consider the problem of routing in a delay tolerant network (DTN) in the presence of path failures. Previous work on DTN routing has focused on using precisely known network dy...