1813 search results - page 221 / 363 » Measuring the Effectiveness of Software Testing |
150
click to vote
ISCAS
2006
IEEE
16 years 13 days 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...
138
click to vote
MOBICOM
2006
ACM
16 years 11 days 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...
151
click to vote
FPL
2005
Springer
15 years 12 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...
158
click to vote
LCPC
2005
Springer
15 years 12 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...
154
click to vote
FOSSACS
2003
Springer
15 years 11 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...