1492 search results - page 261 / 299 » Automatic Software Model Checking Using CLP |
LCPC
2005
Springer
15 years 3 months ago
2005
Springer
Compilers employ system models, sometimes implicitly, to make code optimization decisions. These models are analytic; they reflect their implementor’s understanding and beliefs ...
DASFAA
2009
IEEE
15 years 4 months ago
2009
IEEE
The XML technologies have brought a lot of new ideas and abilities in the field of information management systems. Nowadays, XML is used almost everywhere: from small configurati...
101
click to vote
BMCBI
2006
14 years 9 months ago
2006
Background: The invariant lineage of the nematode Caenorhabditis elegans has potential as a powerful tool for the description of mutant phenotypes and gene expression patterns. We...
CSREASAM
2006
14 years 11 months ago
2006
- Although Internet serves many contents and services, it has serious problems of security: the invasion of privacy, hacking and etc. To prevent these problems, two implementations...
EUROPAR
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Accurately modeling and predicting performance for largescale applications becomes increasingly difficult as system complexity scales dramatically. Analytic predictive mo...