1912 search results - page 81 / 383 » Don't Compare Averages |
121
click to vote
FOSSACS
2009
Springer
15 years 5 months ago
2009
Springer
In quantitative verification, system states/transitions have associated costs, and these are used to associate mean-payoff costs with infinite behaviors. In this paper, we propose ...
114
click to vote
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
The growing use of digital signal processors (DSPs) in embedded systems necessitates the use of optimizing compilers supporting special hardware features. Due to the irregular arc...
111
click to vote
FPGA
2006
ACM
15 years 5 months ago
2006
ACM
The paper presents several improvements to state-of-theart in FPGA technology mapping exemplified by a recent advanced technology mapper DAOmap [Chen and Cong, ICCAD `04]. Improve...
123
click to vote
DAC
1995
ACM
15 years 5 months ago
1995
ACM
In this paper we present a set cover based approach (SCP) to multi-way partitioning for minimum delay for Look-Up Table based FPGAs. SCP minimizes the number of chip-crossings on ...
ASPDAC
2008
ACM
15 years 3 months ago
2008
ACM
At system level, the on-chip temperature depends both on power density and the thermal coupling with the neighboring regions. The problem of finding the right set of input power pr...