28095 search results - page 5229 / 5619 » D |
183
click to vote
SIGSOFT
2004
ACM
16 years 9 days ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite e...
184
click to vote
SIGSOFT
2004
ACM
16 years 9 days ago
2004
ACM
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...
197
click to vote
SPAA
2004
ACM
16 years 9 days ago
2004
ACM
In this paper, we examine the problem of large-volume data dissemination via overlay networks. A natural way to maximize the throughput of an overlay multicast session is to split...
185
click to vote
SPAA
2004
ACM
16 years 9 days ago
2004
ACM
Parallel disks provide a cost effective way of speeding up I/Os in applications that work with large amounts of data. The main challenge is to achieve as much parallelism as poss...
167
click to vote
UIST
2004
ACM
16 years 9 days ago
2004
ACM
Many applications provide a form-like interface for requesting information: the user fills in some fields, submits the form, and the application presents corresponding results. ...