4930 search results - page 575 / 986 » Testing a Safety-Critical Application |
229
click to vote
CEC
2011
IEEE
14 years 7 months ago
2011
IEEE
—Despite the range of applications and successes of evolutionary algorithms, expensive fitness computations often form a critical performance bottleneck. A preferred method of r...
224
click to vote
POPL
2012
ACM
14 years 3 months ago
2012
ACM
Data races are among the most reliable indicators of programming errors in concurrent software. For at least two decades, Lamport’s happens-before (HB) relation has served as th...
270
click to vote
TEI
2012
ACM
14 years 3 months ago
2012
ACM
Most current mobile technologies require on-screen operations for interacting with devices’ visual contents. However, as a trade-off for mobility, screens usually provide limite...
228
click to vote
VEE
2012
ACM
14 years 3 months ago
2012
ACM
Dynamic data flow tracking (DFT) deals with tagging and tracking data of interest as they propagate during program execution. DFT has been repeatedly implemented by a variety of ...
277
click to vote
INFOCOM
2012
IEEE
13 years 10 months ago
2012
IEEE
Abstract—In this paper, we investigate the problem of controlling node sleep intervals so as to achieve the min-max energy fairness in asynchronous duty-cycling sensor networks. ...