3688 search results - page 124 / 738 » Static analysis of aspects |
349
click to vote
COCOA
2011
Springer
14 years 5 months ago
2011
Springer
Biological networks are commonly used to model molecular activity within the cell. Recent experimental studies have shown that the detection of conserved subnetworks across several...
151
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
Background modeling and subtraction is a core component in motion analysis. The central idea behind such module is to create a probabilistic representation of the static scene tha...
145
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents an algorithm for termination static analysis of active rules with priorities. Active rules termination is an undecidable problem. Several recent works have sugg...
151
click to vote
ICLP
1999
Springer
15 years 10 months ago
1999
Springer
In this work, we develop a binding-time analysis for the logic programming language Mercury. We introduce a precise domain of binding-times, based on the type information available...
133
click to vote
IPPS
1997
IEEE
15 years 10 months ago
1997
IEEE
Most alias analyses produce approximate results in the presence of array slices. This may lead to ine cient code which is of concern, especially, in languages like Fortran90. In t...