4116 search results - page 149 / 824 » Type Analysis for CHIP |
ISOLA
2010
Springer
13 years 7 months ago
2010
Springer
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...
ICDE
2009
IEEE
14 years 3 months ago
2009
IEEE
Applications involving analysis of data streams have gained significant popularity and importance. Frequency counting, frequent elements and top-k queries form a class of operato...
BMCBI
2007
13 years 9 months ago
2007
Background: The sequencing of many genomes and tiling arrays consisting of millions of DNA segments spanning entire genomes have made high-resolution copy number analysis possible...
ISCAS
2007
IEEE
14 years 3 months ago
2007
IEEE
— The paper presents a new approach to the Volterra analysis of analog circuits. This kind of analysis is widely used for the calculation of distortion and intermodulation produc...
SSPR
2004
Springer
14 years 2 months ago
2004
Springer
Kernel Methods are a class of algorithms for pattern analysis with a number of convenient features. They can deal in a uniform way with a multitude of data types and can be used to...