Browsing Artigos by Subject "Parallel processing"

Browsing Artigos by Subject "Parallel processing"

Sort by: Order: Results:

  • Nacif, Jose Augusto; Safe, Georgia Penido; Coelho Jr., Claudionor; Vieira, Luiz Filipe M.; Val, Celina Gomes Do; Fernandes, Antonio Otavio (International Journal on Software Tools for Technology Transfer, 2011-06-03)
    Functional verification is “the” major designphase bottleneck for silicon productivity. Since functional verification is an NP-complete problem, it relies on a large number of heuristics with associated parameters (engines). ...

Search DSpace


My Account