2673 search results - page 435 / 535 » Guided Static Analysis |
272
click to vote
ICDE
1999
IEEE
16 years 5 months ago
1999
IEEE
OLAP systems support data analysis through a multidimensional data model, according to which data facts are viewed as points in a space of application-related dimensions", or...
113
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
This paper presents a novel technique to fill in missing background and moving foreground of a video captured by a static or moving camera. Different from previous efforts which a...
159
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
159
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
Soft errors, once only of concern in memories, are beginning to affect logic as well. Determining the soft error rate (SER) of a combinational circuit involves three main masking ...
145
click to vote
DAC
2000
ACM
16 years 5 months ago
2000
ACM
In this paper we describe an area efficient power minimization scheme "Control Generated ClockingI` that saves significant amounts of power in datapath registers and clock dr...