537 search results - page 56 / 108 » Methods for Evolving Robust Programs |
ASPDAC
2006
ACM
14 years 3 months ago
2006
ACM
— The rapid increase in IC design complexity and wide-spread use of intellectual-property (IP) blocks have made the so-called mixed-size placement a very important topic in recen...
BMCBI
2010
13 years 9 months ago
2010
Background: The binding of regulatory proteins to their specific DNA targets determines the accurate expression of the neighboring genes. The in silico prediction of new binding s...
POPL
2000
ACM
14 years 1 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
ECAL
2005
Springer
14 years 2 months ago
2005
Springer
Recently, all the human genes were identified. But understanding the functions coded in the genes is of course a much harder problem. We are used to view DNA as some sort of a comp...
WSC
1997
13 years 10 months ago
1997
This paper presents an implementation methodology appropriate for providing a broad range of proven, classical Operations Research methods and techniques to the simulation modeler...