3799 search results - page 611 / 760 » An Engineering Approach to Formal Methods |
140
Voted
CASCON
1996
15 years 6 months ago
1996
Software re-engineering is one of the solutions advocated for the problems that are encountered during maintenance. The three major phases of a re-engineering process are (i) reve...
160
Voted
BMCBI
2011
15 years 1 days ago
2011
Background: As the canonical code is not universal, different theories about its origin and organization have appeared. The optimization or level of adaptation of the canonical ge...
138
click to vote
GECCO
2008
Springer
15 years 6 months ago
2008
Springer
In recent years, the development of multi-objective evolutionary algorithms (MOEAs) hybridized with mathematical programming techniques has significantly increased. However, most...
156
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: One step in the model organism database curation process is to find, for each article, the identifier of every gene discussed in the article. We consider a relaxation ...
208
click to vote
Book
"Designing and Building Parallel Programs is a book for students and professionals who need to know how to write parallel programs. It is neither a programming language manual...