68 search results - page 2 / 14 » Exploiting Shared Structure in Software Verification Conditi... |
120
Voted
DAC
2002
ACM
16 years 2 months ago
2002
ACM
In this paper, we present a compiler strategy to optimize data accesses in regular array-intensive applications running on embedded multiprocessor environments. Specifically, we p...
126
Voted
HASE
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
126
click to vote
ICTAC
2010
Springer
14 years 11 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
118
Voted
ATVA
2009
Springer
15 years 2 months ago
2009
Springer
Embedded systems often come with constrained memory footprints. It is therefore essential to ensure that software running on such platforms fulfils memory usage specifications at c...
90
Voted
ICSE
2010
IEEE-ACM
15 years 6 months ago
2010
IEEE-ACM
Large-scale software engineering requires communication and collaboration to successfully build and ship products. We conducted a survey with Microsoft engineers on inter-team coo...