1855 search results - page 118 / 371 » Composing model programs for analysis |
135
click to vote
APLAS
2010
ACM
15 years 1 months ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
135
click to vote
AOSD
2006
ACM
15 years 9 months ago
2006
ACM
Usually, aspects enhance a software product by being composed - or woven - into it. Here, on the other hand, we use aspects to support the software development process itself. The...
168
click to vote
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
125
click to vote
QSIC
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory object model and function summ...
159
click to vote
AMC
2011
14 years 7 months ago
2011
：In this paper, a novel supervised dimensionality reduction method is developed based on both the correlation analysis and the idea of large margin learning. The method aims to m...