1813 search results - page 221 / 363 » Measuring the Effectiveness of Software Testing |
127
click to vote
ISCAS
2006
IEEE
15 years 11 months ago
2006
IEEE
—With the continued push toward dispersed generation and distributed intelligent devices throughout the distribution system, a proper analysis method for understanding the operat...
118
Voted
MOBICOM
2006
ACM
15 years 11 months ago
2006
ACM
Significant progress has been made in terrestrial sensor networks to revolutionize sensing and data collection. To bring the concept of long-lived, dense sensor networks to the u...
127
Voted
FPL
2005
Springer
15 years 10 months ago
2005
Springer
This article presents a power estimation tool integrated with an FPGA design flow. It is able to estimate total and individual-node average power consumption for combinational blo...
127
Voted
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
132
Voted
FOSSACS
2003
Springer
15 years 10 months ago
2003
Springer
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...