4716 search results - page 461 / 944 » Iterative-free program analysis |
188
Voted
ICSE
1997
IEEE-ACM
15 years 11 months ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
193
Voted
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Despite the availability of a variety of program analysis tools, evaluation of these tools is difficult, as only few benchmark suites exist. Existing benchmark suites lack the uni...
247
Voted
ESORICS
2012
Springer
13 years 9 months ago
2012
Springer
Tracking information flow in dynamic languages remains an open challenge. It might seem natural to address the challenge by runtime monitoring. However, there are well-known funda...
230
click to vote
ECRTS
2005
IEEE
16 years 14 days ago
2005
IEEE
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previ...
215
Voted
PASTE
2010
ACM
15 years 12 months ago
2010
ACM
Multicore is now the dominant processor trend, and the number of cores is rapidly increasing. The paradigm shift to multicore forces the redesign of the software stack, which incl...