4015 search results - page 643 / 803 » The Future of Software Performance Engineering |
176
click to vote
CODES
2010
IEEE
15 years 2 months ago
2010
IEEE
With the continuous scaling of semiconductor technology, the life-time of circuit is decreasing so that processor failure becomes an important issue in MPSoC design. A software so...
143
click to vote
VSTTE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
171
click to vote
CODES
2010
IEEE
15 years 2 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...
170
click to vote
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
372
click to vote
ICSE
2012
IEEE-ACM
13 years 7 months ago
2012
IEEE-ACM
—For a large and evolving software system, the project team could receive a large number of bug reports. Locating the source code files that need to be changed in order to fix th...