16725 search results - page 2985 / 3345 » Engineering Software Correctness |
135
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Miniaturization of devices and the ensuing decrease in the threshold voltage has led to a substantial increase in the leakage component of the total processor energy consumption. ...
165
Voted
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Embedded applications like video decoding, video streaming and those in the network domain, typically have a Quality of Service (QoS) requirement which needs to be met. Apart from...
130
click to vote
FASE
2006
Springer
15 years 8 months ago
2006
Springer
Statistical debugging is a powerful technique for identifying bugs that do not violate programming rules or program invariants. Previously known statistical debugging techniques ar...
143
click to vote
FASE
2006
Springer
15 years 8 months ago
2006
Springer
We present an algorithm for automatic testing of distributed programs, such as Unix processes with inter-process communication and Web services. Specifically, we assume that a prog...
144
Voted
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
A center-transversal line for two finite point sets in R3 is a line with the property that any closed halfspace that contains it also contains at least one third of each point set...