9626 search results - page 1807 / 1926 » Invariant Based Programming |
143
click to vote
DAC
2006
ACM
16 years 2 months ago
2006
ACM
Most existing dynamic voltage scaling (DVS) schemes for multiple tasks assume an energy cost function (energy consumption versus execution time) that is independent of the task ch...
101
click to vote
DAC
2006
ACM
16 years 2 months ago
2006
ACM
As a prevalent constraint, sharp slew rate is often required in circuit design which causes a huge demand for buffering resources. This problem requires ultra-fast buffering techn...
134
click to vote
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
A bug report is typically assigned to a single developer who is then responsible for fixing the bug. In Mozilla and Eclipse, between 37%-44% of bug reports are "tossed" ...
107
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Atomicity is a desirable property that safeguards application consistency for service compositions. A service composition exhibiting this property could either complete or cancel ...
139
click to vote
SIGSOFT
2006
ACM
16 years 2 months ago
2006
ACM
Recent software systems usually feature an automated failure reporting system, with which a huge number of failing traces are collected every day. In order to prioritize fault dia...