1111 search results - page 215 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
142
click to vote
ICC
2009
IEEE
15 years 9 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...
150
click to vote
BMCBI
2007
15 years 3 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...
132
click to vote
BMCBI
2006
15 years 3 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...
114
click to vote
IJPP
2010
15 years 1 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...
120
click to vote
COMPSAC
1999
IEEE
15 years 7 months 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 ...