9316 search results - page 213 / 1864 » Analysis of traceback techniques |
266
click to vote
DAC
2011
ACM
14 years 4 months ago
2011
ACM
In this paper, a new sparse approximation technique is proposed for incremental power grid analysis. Our proposed method is motivated by the observation that when a power grid net...
119
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
131
click to vote
APVIS
2008
15 years 5 months ago
2008
This paper presents an interactive visualization toolkit for navigating and analyzing the National Science Foundation (NSF) funding information. Our design builds upon the treemap...
134
click to vote
LWA
2008
15 years 5 months ago
2008
With increasing complexity of manufacturing processes, the volume of data that has to be evaluated rises accordingly. The complexity and data volume make any kind of manual data a...
136
click to vote
TAMODIA
2008
15 years 5 months ago
2008
Abstract. The analysis of usability aspects of multi-user systems, such as cooperative work systems and pervasive systems, pose particular problems because group behavior of their ...