1226 search results - page 147 / 246 » Generating Abstractions from Static Domain Analysis |
112
click to vote
AAAI
1998
15 years 5 months ago
1998
We describe a general approach to optimization which we term Squeaky Wheel" Optimization SWO. In SWO, a greedy algorithm is used to construct a solution which is then analyze...
155
Voted
ACMSE
2006
ACM
15 years 9 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
140
click to vote
TOOLS
2009
IEEE
15 years 10 months ago
2009
IEEE
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...
153
Voted
KES
1999
Springer
15 years 8 months ago
1999
Springer
Abstract—Dynamic Demes is a new method for the parallelisation of evolutionary algorithms. It was derived as a combination of two other parallelisation algorithms: the master-sla...
327
Voted
RECOMB
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. Since the first emergence of protein-protein interaction networks, more than a decade ago, they have been viewed as static scaffolds of the signaling-regulatory events ...