7536 search results - page 414 / 1508 » Localized Components Analysis |
274
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
181
click to vote
ALIFE
2006
15 years 6 months ago
2006
One of the major challenges in the field of neurally driven evolved autonomous agents is deciphering the neural mechanisms underlying their behavior. Aiming at this goal, we have d...
164
click to vote
JCM
2007
15 years 6 months ago
2007
—To address the emerging issues of aging society, new technology creates many opportunities to solve the problem of care service and increases added-value in the digital family. ...
242
click to vote
SIGMETRICS
2010
ACM
15 years 1 months ago
2010
ACM
The prevalence of multicore architectures has made the performance analysis of multithreaded applications an intriguing area of inquiry. An understanding of locality effects and c...
341
click to vote
DAC
2011
ACM
14 years 6 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...