4107 search results - page 323 / 822 » The Generalized Lambda Test |
163
click to vote
MSR
2006
ACM
16 years 21 days ago
2006
ACM
Refactorings are program transformations which should preserve the program behavior. Consequently, we expect that during phases when there are mostly refactorings in the change hi...
173
click to vote
PLDI
2006
ACM
16 years 21 days ago
2006
ACM
We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pa...
158
click to vote
SAC
2006
ACM
16 years 21 days ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ...
163
click to vote
SIGCSE
2006
ACM
16 years 21 days ago
2006
ACM
Case-based analysis is a bottom-up methodology for ethical reasoning. In a teaching environment, it can be a useful alternative to top-down methods, such as Kantianism, utilitaria...
188
click to vote
SIGIR
2006
ACM
16 years 21 days ago
2006
ACM
For many years it has been commonly held that a user who adds structural “hints” to a query will improve precision in an element retrieval search. At INEX 2005 we conducted an...