2132 search results - page 190 / 427 » Automated software winnowing |
101
Voted
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
One recent change in software development is developers starting to take responsibility for the quality of their work by writing and executing automated tests. As with any new act...
142
Voted
FMCAD
2007
Springer
15 years 7 months ago
2007
Springer
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...
123
Voted
QSIC
2007
IEEE
15 years 10 months ago
2007
IEEE
The success of a software project is largely dependent upon the quality of the Software Requirements Specification (SRS) document, which serves as a medium to communicate user req...
126
Voted
SIGSOFT
2006
ACM
15 years 9 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...
104
Voted
DAC
2000
ACM
16 years 4 months ago
2000
ACM
This paper presents a novel run-time dynamic voltage scaling scheme for low-power real-time systems. It employs software feedback control of supply voltage, which is applicable to...