1723 search results - page 27 / 345 » Generalized file system dependencies |
RTA
2004
Springer
15 years 3 months ago
2004
Springer
Several authors devised type-based termination criteria for ML-like languages allowing non-structural recursive calls. We extend these works to general rewriting and dependent type...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we propose a technique for leveraging historical field failure records in conjunction with automated static analysis alerts to determine which alerts or sets of ale...
115
click to vote
SPIRE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Term-partitioned indexes are generally inefficient for the evaluation of conjunctive queries, as they require the communication of long posting lists. On the other side, ...
ICDE
2006
IEEE
15 years 3 months ago
2006
IEEE
In recent years, corporate governance has become a more and more important concern in investment decision-making. As one of the most important factors in evaluating corporate gove...
SIGSOFT
2006
ACM
15 years 3 months ago
2006
ACM
Repeated changes to a software system can introduce small weaknesses such as unplanned dependencies between different parts of the system. While such problems usually go undetecte...