220 search results - page 11 / 44 » Verifying a signature architecture: a comparative case study |
ATVA
2009
Springer
15 years 6 months ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
104
click to vote
SOFTVIS
2010
ACM
14 years 10 months ago
2010
ACM
Reverse engineering methods produce different descriptions of software architectures. In this work we analyze and define the task of exploring and comparing these descriptions. ...
107
click to vote
ICDE
2009
IEEE
14 years 9 months ago
2009
IEEE
With the advent of multicore processors, it has become imperative to write parallel programs if one wishes to exploit the next generation of processors. This paper deals with skyli...
AMW
2010
15 years 1 months ago
2010
This paper introduces a set of challenges for developing a dissemination service over a Web collaborative network. We define specific metrics for working on a co-authorship researc...
ISSRE
2010
IEEE
14 years 10 months ago
2010
IEEE
—Large scale systems (LSS) contain multiple subsystems that interact across multiple nodes in sometimes unforeseen and complicated ways. As a result, pinpointing the subsystems t...