3688 search results - page 233 / 738 » Static analysis of aspects |
382
click to vote
SDM
2012
SIAM
13 years 9 months ago
2012
SIAM
Clustering of high dimensional data streams is an important problem in many application domains, a prominent example being network monitoring. Several approaches have been lately ...
188
click to vote
RTAS
2008
IEEE
16 years 1 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. ...
225
click to vote
CC
2004
Springer
16 years 19 days 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...
186
click to vote
TVCG
2008
15 years 7 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...
173
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...