495 search results - page 31 / 99 » HIDE : A Logic Based Hardware Development Environment |
82
Voted
DATE
2008
IEEE
15 years 5 months ago
2008
IEEE
Circuit fabrics composed of highly regular structures, called logic bricks, have been described recently for improving yield. An automated logic brick design flow based on a SAT ...
104
Voted
SFM
2005
Springer
15 years 4 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
98
Voted
HPCA
2002
IEEE
15 years 11 months ago
2002
IEEE
The increasing performance gap between processors and memory will force future architectures to devote significant resources towards removing and hiding memory latency. The two ma...
67
Voted
VTS
1997
IEEE
15 years 3 months ago
1997
IEEE
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...
101
Voted
RML
2002
14 years 10 months ago
2002
The trend towards highly specialized solution providers cooperatively offering configurable products and services to their customers requires the extension of current (standalone)...