957 search results - page 86 / 192 » Modular Static Program Analysis |
130
click to vote
PTS
2010
15 years 3 days ago
2010
The addition of a cross-cutting concern in a program, through aspect weaving, has an impact on its existing behaviors. If test cases exist for the program, it is necessary to ident...
103
click to vote
GPCE
2008
Springer
15 years 3 months ago
2008
Springer
The influential pure embedding methodology of embedding domainspecific languages (DSLs) as libraries into a general-purpose host language forces the DSL designer to commit to a ...
130
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Regulation of gene expression is relevant to many areas of biology and medicine, in the study of treatments, diseases, and developmental stages. Microarrays can be use...
143
click to vote
ASPLOS
2010
ACM
15 years 5 months ago
2010
ACM
Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challeng...
112
click to vote
AMAST
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...