3330 search results - page 283 / 666 » software 2010 |
88
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
This report is a companion to the paper “Refactoring References for Library Migration” published at the ACM SIGPLAN International Conference on Systems, Programming, Languages...
116
Voted
ENTCS
2010
15 years 1 months ago
2010
d Set Abstraction using SAT Edd Barrett Andy King School of Computing, University of Kent, CT2 7NF, UK Symbolic decision trees are not the only way to correlate the relationship b...
153
Voted
ENTCS
2010
15 years 1 months ago
2010
We describe a true-concurrent approach for managing dependencies between distributed and concurrent coordinator components of a long-running transaction. In previous work we have ...
111
Voted
ESWA
2010
15 years 1 months ago
2010
1 In this study, a novel robust clustering algorithm, robust interval competitive agglomeration (RICA) clustering algorithm, is proposed to overcome the problems of the outliers, t...
131
Voted
STTT
2010
14 years 10 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...