1304 search results - page 175 / 261 » Evaluating Hardware Compilation Techniques |
165
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
Given a set of specifications for a targeted application, algorithm selection refers to choosing the most suitable algorithm for a given goal, among several functionally equivalen...
201
click to vote
ECBS
2007
IEEE
15 years 10 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
158
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...
165
click to vote
SIGMETRICS
1995
ACM
15 years 10 months ago
1995
ACM
Prefetching and caching are e ective techniques for improving the performance of le systems, but they have not been studied in an integrated fashion. This paper proposes four pro...
199
click to vote
DSD
2008
IEEE
15 years 8 months ago
2008
IEEE
We evaluate the leakage reduction for both instruction and data cache in presence of drowsy or decay techniques. We discovered that a filter cache, traditionally used for reducing...