1809 search results - page 358 / 362 » Software Model Checking Using Linear Constraints |
SIGMOD
2001
ACM
14 years 7 months ago
2001
ACM
Digital archives are dedicated to the long-term preservation of electronic information and have the mandate to enable sustained access despite rapid technology changes. Persistent...
BMCBI
2007
13 years 7 months ago
2007
Background: It is becoming increasingly important for researchers to be able to scan through large genomic regions for transcription factor binding sites or clusters of binding si...
PLDI
2003
ACM
14 years 27 days ago
2003
ACM
Empirical program optimizers estimate the values of key optimization parameters by generating different program versions and running them on the actual hardware to determine which...
CODES
2010
IEEE
13 years 4 months ago
2010
IEEE
This paper presents an approach to system-level optimization of error detection implementation in the context of fault-tolerant realtime distributed embedded systems used for safe...
BMCBI
2008
13 years 7 months ago
2008
Background: Due to their role of receptors or transporters, membrane proteins play a key role in many important biological functions. In our work we used Grammatical Inference (GI...