1746 search results - page 29 / 350 » Residual for Component Specifications |
116
Voted
KBSE
1995
IEEE
15 years 7 months ago
1995
IEEE
cation at some level of abstraction, abandoning the semantic information provided by the specification. In this paper, we propose a methodology that ships the overhead of formal re...
127
Voted
ICSE
1994
IEEE-ACM
15 years 7 months ago
1994
IEEE-ACM
Software libraries are repositories which contain software components; as such, they represent a precious resource for the software engineer. As software libraries grow in size, it...
121
Voted
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
Methods for performing component matching by expressing an arithmetic specification and a bit-level description of an implementation as word-level polynomials have been demonstrat...
117
Voted
WSC
2008
15 years 6 months ago
2008
In this paper, we present a comparative study of different stochastic components of genetic algorithms for simulationbased optimisation of the buffer allocation problem. We explor...
152
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Finding the subgraphs of a graph database that are isomorphic to a given query graph has practical applications in several fields, from cheminformatics to image unders...