1111 search results - page 215 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
ICC
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Network flow models serve as a popular mathematical framework for the analysis and optimization of Multi-hop Wireless Networks. They also serve to provide the understan...
BMCBI
2007
13 years 8 months ago
2007
Background: Manual curation of biological databases, an expensive and labor-intensive process, is essential for high quality integrated data. In this paper we report the implement...
BMCBI
2006
13 years 8 months ago
2006
Background: We have recently introduced a predictive framework for studying gene transcriptional regulation in simpler organisms using a novel supervised learning algorithm called...
IJPP
2010
13 years 6 months ago
2010
Abstract. We show how computations such as those involved in American or European-style option price valuations with the explicit finite difference method can be performed in par...
COMPSAC
1999
IEEE
14 years 22 days ago
1999
IEEE
As the complexity of software systems increases, so need for a good mechanism of abstraction. architecture design is an abstraction, hiding an immense amount of details about the ...