2673 search results - page 212 / 535 » Guided Static Analysis |
167
click to vote
ECEASST
2006
15 years 4 months ago
2006
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...
136
click to vote
RTAS
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
159
click to vote
CC
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
130
click to vote
TVCG
2008
15 years 4 months ago
2008
Animation has been used to show trends in multi-dimensional data. This technique has recently gained new prominence for presentations, most notably with Gapminder Trendalyzer. In T...
137
click to vote
COMCOM
2000
15 years 4 months ago
2000
Java is an ideal platform for implementing mobile code systems, not only because of its portability but also because it is designed with security in mind. Untrusted Java programs ...