4491 search results - page 118 / 899 » Algorithm Engineering |
103
click to vote
WCRE
2007
IEEE
15 years 7 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
15 years 10 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
14 years 11 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
15 years 8 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...
114
click to vote
IJBC
2010
14 years 10 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...