3688 search results - page 282 / 738 » Static analysis of aspects |
222
click to vote
RTSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Data caches are essential in modern processors, bridging the widening gap between main memory and processor speeds. However, they yield very complex performance models, which make...
167
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...
188
click to vote
CSMR
2006
IEEE
16 years 23 days ago
2006
IEEE
A trace is a record of the execution of a computer program, showing the sequence of operations executed. A trace may be obtained through static or dynamic analysis. An object trac...
186
click to vote
ATVA
2004
Springer
16 years 3 days ago
2004
Springer
Data races do not cover all kinds of concurrency errors. This paper presents a data- ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
167
click to vote
MEMOCODE
2003
IEEE
15 years 12 months ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...