1880 search results - page 152 / 376 » A Static Analysis for Beta-Binders |
179
click to vote
FTEDA
2007
15 years 6 months ago
2007
The number of gates on a chip is quickly growing toward and beyond the one billion mark. Keeping all the gates running at the beat of a single or a few rationally related clocks i...
188
click to vote
PVLDB
2008
15 years 6 months ago
2008
Content Management Systems (CMS) store enterprise data such as insurance claims, insurance policies, legal documents, patent applications, or archival data like in the case of dig...
193
click to vote
ASE
2011
14 years 10 months ago
2011
Abstract To improve software quality, static or dynamic defect-detection tools accept programming rules as input and detect their violations in software as defects. As these progra...
214
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: The analysis of gene expression from time series underpins many biological studies. Two basic forms of analysis recur for data of this type: removing inactive (quiet) ...
179
click to vote
IBPRIA
2005
Springer
16 years 3 days ago
2005
Springer
The processing, description and recognition of dynamic (time-varying) textures are new exciting areas of texture analysis. Many real-world textures are dynamic textures whose retri...