77 search results - page 1 / 16 » Modifying Min-Cut for Hardware and Software Functional Parti... |
CODES
1997
IEEE
13 years 11 months ago
1997
IEEE
CODES
1996
IEEE
13 years 11 months ago
1996
IEEE
VLSISP
2010
13 years 2 months ago
2010
We propose a new parallelization scheme for the hmmsearch function of the HMMER software, in order to target FPGA technology. hmmsearch is a very compute intensive software for bio...
ICCAD
2001
IEEE
14 years 4 months ago
2001
IEEE
The increasing popularity of SAT and BDD techniques in verification and synthesis encourages the search for additional speed-ups. Since typical SAT and BDD algorithms are exponent...
EURODAC
1994
IEEE
13 years 11 months ago
1994
IEEE
In this paper we introduce a method to partition UNITY system speci cations into software and hardware parts. This method considers di erent design possibilities and de nes cost f...