4930 search results - page 753 / 986 » Testing a Safety-Critical Application |
163
click to vote
PLDI
2004
ACM
16 years 3 days ago
2004
ACM
Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability. We show a new redu...
165
click to vote
SAC
2004
ACM
16 years 3 days ago
2004
ACM
Text classification systems on biomedical literature aim to select relevant articles to a specific issue from large corpora. Most systems with an acceptable accuracy are based o...
214
click to vote
SC
2004
ACM
16 years 3 days ago
2004
ACM
The file-bundle caching problem arises frequently in scientific applications where jobs process several files concurrently. Consider a host system in a data-grid that maintains...
212
click to vote
SIGIR
2004
ACM
16 years 3 days ago
2004
ACM
Document-centric XML collections contain text-rich documents, marked up with XML tags. The tags add lightweight semantics to the text. Querying such collections calls for a hybrid...
149
click to vote
SIGMETRICS
2004
ACM
16 years 3 days ago
2004
ACM
d Abstract] Mengzhi Wang, Kinman Au, Anastassia Ailamaki, Anthony Brockwell, Christos Faloutsos, and Gregory R. Ganger Carnegie Mellon University This work explores the applicatio...