1982 search results - page 289 / 397 » Parametricity and dependent types |
ICSM
2002
IEEE
15 years 3 months ago
2002
IEEE
In examining software maintenance processes for improvement opportunities, an obvious choice is information flow. Obtaining accurate, up-to-date, and useful information about a sy...
ISSRE
2002
IEEE
15 years 3 months ago
2002
IEEE
The effectiveness of mutation testing depends heavily on the types of faults that the mutation operators are designed to represent. Therefore, the quality of the mutation operator...
ISSRE
2002
IEEE
15 years 3 months ago
2002
IEEE
Recovery systems must save state before a failure occurs to enable the system to recover from the failure. However, recovery will fail if the recovery system saves any state corru...
104
click to vote
PRDC
2002
IEEE
15 years 3 months ago
2002
IEEE
This paper reevaluates the multicast protocols for MANETs in terms of energy efficiency and proposes a new robust multicast protocol, called Two-Tree Multicast (TTM). Multicast pr...
ECOOP
2010
Springer
15 years 2 months ago
2010
Springer
Automated refactorings as implemented in modern IDEs for Java usually make no special provisions for concurrent code. Thus, refactored programs may exhibit unexpected new concurren...