2441 search results - page 14 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
DAC
2002
ACM
15 years 11 months ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
113
click to vote
ISSTA
2010
ACM
15 years 2 months ago
2010
ACM
Dynamic loading of software components (e.g., libraries or modules) is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is cri...
KBSE
2006
IEEE
15 years 4 months ago
2006
IEEE
Maintenance is recognised as the most difficult and expansive activity of the software development process. Numerous techniques and processes have been proposed to ease the mainte...
KBSE
2008
IEEE
15 years 4 months ago
2008
IEEE
—Automatic white-box test generation is a challenging problem. Many existing tools rely on complex code analyses and heuristics. As a result, structural features of an input prog...
106
click to vote
CODES
2010
IEEE
14 years 7 months ago
2010
IEEE
This paper describes PowerBooter, an automated power model construction technique that uses built-in battery voltage sensors and knowledge of battery discharge behavior to monitor...