4491 search results - page 118 / 899 » Algorithm Engineering |
WCRE
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper presents an algorithm for reverse engineering semantically sound object-oriented data models from programs written in weakly-typed languages like Cobol. Our inference i...
VMCAI
2010
Springer
14 years 7 months ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...
FSTTCS
2010
Springer
13 years 8 months ago
2010
Springer
We describe a fixed parameter tractable (fpt) algorithm for Colored Hypergraph Isomorphism which has running time 2O(b) NO(1) , where the parameter b is the maximum size of the col...
IPPS
2009
IEEE
14 years 5 months ago
2009
IEEE
—Particle Swarm Optimisation (PSO) is increasingly being applied to optimisation of multi-objective problems in engineering design and scientific investigation. This paper inves...
IJBC
2010
13 years 7 months ago
2010
In this paper, a symbolic dynamical model of the average queue size of the random early detection (RED) algorithm is proposed. The conditions on both the system parameters and the...