990 search results - page 63 / 198 » A Static Analysis Technique for Graph Transformation Systems |
PLDI
2009
ACM
14 years 3 months ago
2009
ACM
Unchecked errors are especially pernicious in operating system file management code. Transient or permanent hardware failures are inevitable, and error-management bugs at the fi...
BMCBI
2010
13 years 9 months ago
2010
Background: High throughput sequencing has become an increasingly important tool for biological research. However, the existing software systems for managing and processing these ...
ICPP
1999
IEEE
14 years 1 months ago
1999
IEEE
There has been much work recently on improving the locality performance of loop nests in scientific programs through the use of loop as well as data layout optimizations. However,...
HASE
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
SSIAI
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper we propose a new approach to shape recognition based on the wavelet transform modulus maxima. And apply it to the problem of content-based indexing and retrieval of ...