2778 search results - page 468 / 556 » Reuse Technique in Hardware Design |
154
click to vote
VLSID
2007
IEEE
16 years 6 months ago
2007
IEEE
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...
275
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
The primary goal of data stream research is to develop space and time efficient solutions for answering continuous online summarization queries. Research efforts over the last dec...
158
click to vote
ASAP
2009
IEEE
16 years 3 months ago
2009
IEEE
The advent of the mobile age has heavily changed the requirements of today’s communication devices. Data transmission over interference-prone wireless channels requires addition...
168
click to vote
IEEEPACT
2009
IEEE
16 years 1 months ago
2009
IEEE
Parallel programming is a requirement in the multi-core era. One of the most promising techniques to make parallel programming available for the general users is the use of parall...
169
click to vote
ISMVL
2009
IEEE
16 years 1 months ago
2009
IEEE
Determining the equivalence of reversible circuits designed to meet a common specification is considered. The circuits’ primary inputs and outputs must be in pure logic states ...