308 search results - page 50 / 62 » Efficient Software Model Checking of Data Structure Properti... |
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
WWW
2009
ACM
15 years 4 months ago
2009
ACM
This paper presents an end-user-oriented programming environment called Mashroom. Major contributions herein include an end-user programming model with an expressive data structur...
102
click to vote
BMCBI
2007
14 years 9 months ago
2007
Background: In the analysis of networks we frequently require the statistical significance of some network statistic, such as measures of similarity for the properties of interact...
CCE
2005
14 years 9 months ago
2005
Computational fluid dynamics (CFD) of complex processes and complicated geometries embraces the transport of momentum, heat, and mass including the description of reaction kinetic...
110
click to vote
PAMI
2012
13 years 1 days ago
2012
—There has been a growing interest in exploiting contextual information in addition to local features to detect and localize multiple object categories in an image. A context mod...