861 search results - page 145 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
227
Voted
ASPLOS
2009
ACM
16 years 3 months ago
2009
ACM
The growth in complexity of modern systems makes it increasingly difficult to extract high-performance. The software stacks for such systems typically consist of multiple layers a...
115
Voted
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
127
click to vote
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
151
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents an analysis of microarray gene expression data from patients with and without scleroderma skin disease using computational intelligence and visual data mining ...
165
Voted
SIGSOFT
2010
ACM
15 years 19 days ago
2010
ACM
Empirical studies that use software repository artifacts have become popular in the last decade due to the ready availability of open source project archives. In this paper, we su...