1911 search results - page 325 / 383 » Program analysis for code duplication in logic programs |
102
click to vote
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
Rather than upgrading a software system to the next version by installing a new binary, software systems could be updated "on-thefly" during their execution. We are devel...
126
Voted
BIOCOMP
2007
15 years 3 months ago
2007
Background: Genetic regulatory networks (GRN) can be described by differential equations with SUM logic which has been found in many natural systems. Identification of the network...
151
click to vote
ISSTA
2012
ACM
13 years 4 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
128
click to vote
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve th...
138
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...