109 search results - page 1 / 22 » Heuristics for Hierarchical Partitioning with Application to... |
CHARME
2001
Springer
13 years 9 months ago
2001
Springer
ICCS
2009
Springer
13 years 12 months ago
2009
Springer
Irregular and sparse scientific computing programs frequently experience performance losses due to inefficient use of the memory system in most machines. Previous work has shown t...
MIDDLEWARE
2004
Springer
13 years 10 months ago
2004
Springer
Several works on grid computing have been proposed in the last years. However, most of them, including available software, can not deal properly with some issues related to contro...
ASPDAC
2001
ACM
13 years 9 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
VLSID
2001
IEEE
14 years 5 months ago
2001
IEEE
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...