5775 search results - page 194 / 1155 » A Rationale-based Analysis Tool |
185
click to vote
CAV
2005
Springer
16 years 3 days ago
2005
Springer
Automaton-based static program analysis has proved to be an effective tool for bug finding. Current tools generally re-analyze a program from scratch in response to a change in t...
194
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
This paper considers the role of performance and area estimates from behavioral synthesis in design space exploration. We have developed a compilation system that automatically ma...
172
click to vote
KDD
2008
ACM
16 years 7 months ago
2008
ACM
In some applications such as filling in a customer information form on the web, some missing values may not be explicitly represented as such, but instead appear as potentially va...
167
click to vote
GD
2005
Springer
16 years 2 days ago
2005
Springer
Visualizing and analyzing social networks is a challenging problem that has been receiving growing attention. An important first step, before analysis can begin, is ensuring that...
184
click to vote
SIGCOMM
2003
ACM
15 years 11 months ago
2003
ACM
Traceroute is widely used to detect routing problems, characterize end-to-end paths, and discover the Internet topology. Providing an accurate list of the Autonomous Systems (ASes...