1257 search results - page 46 / 252 » A Novel Sequencer Hardware for Application Specific Computin... |
148
click to vote
ACSD
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper makes the idea of memory shadowing [5] applicable to symbolic ternary simulation. Memory shadowing, an extension of Burch and Dill's pipeline verification method [...
175
click to vote
CIKM
2009
Springer
16 years 13 days ago
2009
Springer
Background: Although both conservation and correlated mutation (CM) are important information reflecting the different sorts of context in multiple sequence alignment, most of ali...
171
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Non-sequence gene data (images, literature, etc.) can be found in many different public databases. Access to these data is mostly by text based methods using gene name...
160
click to vote
SAC
2006
ACM
15 years 11 months ago
2006
ACM
: In chip design, one of the main objectives is to decrease its clock cycle; however, the existing approaches to timing analysis under uncertainty are based on fundamentally restri...
165
click to vote
DAC
2007
ACM
16 years 6 months ago
2007
ACM
Programming multi-processor systems-on-chip (MPSoC) involves partitioning and mapping of sequential reference code onto multiple parallel processing elements. The immense potentia...