7262 search results - page 576 / 1453 » Reversible Computer Hardware |
168
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
We consider multiprocessor distributed real-time systems where concurrency control is managed using software transactional memory (or STM). For such a system, we propose an algori...
145
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper uses under-approximation of unreachable states of a design to derive incomplete specification of combinational logic. The resulting incompletely-specified functions are...
158
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Reconfigurable Architectures are good candidates for application accelerators that cannot be set in stone at production time. FPGAs however, often suffer from the area and perfor...
123
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
- Parallel architectures have become an increasingly popular method in which to achieve high performance with low power consumption. In order to leverage these benefits, applicatio...
164
click to vote
CSCWD
2009
Springer
16 years 28 days ago
2009
Springer
Constrained random simulation methodology still plays an important role in hardware verification due to the limited scalability of formal verification, especially for the large an...