974 search results - page 55 / 195 » Hardware Synthesis from Term Rewriting Systems |
154
click to vote
RSP
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— John von Neumann proposed his famous architecture in a context where hardware was very expensive and bulky. His goal was to maximize functionality with minimal hardware...
127
click to vote
ACSD
1998
IEEE
15 years 8 months ago
1998
IEEE
State coding conflict detection is a fundamental part of synthesis of asynchronous concurrent systems from their specifications as Signal Transition Graphs (STGs), which are a spe...
113
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This in...
134
click to vote
ISPASS
2010
IEEE
15 years 10 months ago
2010
IEEE
—In the past ten years, computer architecture has seen a paradigm shift from emphasizing single thread performance to energy efficient, throughput oriented, chip multiprocessors...
130
click to vote
ICCAD
2003
IEEE
16 years 22 days ago
2003
IEEE
In this paper, we present a reduced order inodeling methodology, based on the utilization of optimal non-uniform grids generated by Gaussian spectral rules, for the direct passive...