967 search results - page 77 / 194 » Automated benchmarking and analysis tool |
ISPAN
2002
IEEE
14 years 3 months ago
2002
IEEE
Many applications written in C allocate memory blocks for their major data structures from the heap space at runtime. The analysis of heap-oriented pointers in such programs is cr...
SIES
2007
IEEE
14 years 4 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
BILDMED
2009
13 years 11 months ago
2009
Abstract. Carefully studied in-situ hybridization Gene expression patterns (GEP) can provide a first glance at possible relationships among genes. Automatic comparative analysis to...
ICDAR
2011
IEEE
12 years 9 months ago
2011
IEEE
- Large-scale digitisation has led to a number of new possibilities with regard to adaptive and learning based methods in the field of Document Image Analysis and OCR. For ground t...
ANSS
2006
IEEE
14 years 4 months ago
2006
IEEE
Programs often call the same function with the same arguments, yielding the same results. We call this phenomenon, “function reuse”. Previously, we have shown such a behavior ...