433 search results - page 28 / 87 » Contracts: From Analysis to C Implementation |
108
click to vote
ISSTA
2012
ACM
13 years 5 days ago
2012
ACM
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse va...
SGP
2007
15 years 4 days ago
2007
In this paper, we consider the problem of reconstructing a shape from unorganized cross-sections. The main motivation for this problem comes from medical imaging applications wher...
105
click to vote
BMCBI
2010
14 years 9 months ago
2010
Background: Many research results show that the biological systems are composed of functional modules. Members in the same module usually have common functions. This is useful inf...
TITB
2008
14 years 9 months ago
2008
Abstract--This paper presents the application of a componentbased Grid middleware system for processing extremely large images obtained from digital microscopy devices. We have dev...
108
click to vote
CIDR
2003
14 years 11 months ago
2003
We introduce a system to address the challenges involved in managing the multidimensional sensor data streams generated within immersive environments. We call this data type, imme...