3256 search results - page 352 / 652 » Applications of Formal Methods to System Design and Verifica... |
194
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
In system-level platform-based embedded systems design, the mapping model is a crucial link between the application model and the architecture model. All three models must match w...
169
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
- In this paper, we present a design methodology for automatic platform generation of future heterogeneous systems where communication happens via the Network-onChip (NoC) approach...
189
click to vote
VLSISP
2010
15 years 5 months ago
2010
Abstract Polyphase channelizer is an important component of subband adaptive filtering systems. This paper presents an energy-efficient hardware architecture and VLSI implementatio...
196
click to vote
ARC
2010
Springer
15 years 6 months ago
2010
Springer
Using FPGAs to accelerate High Performance Computing (HPC) applications is attractive, but has a huge associated cost: the time spent, not for developing efficient FPGA code but fo...
164
click to vote
SBCCI
2005
ACM
16 years 6 days ago
2005
ACM
Code compression, initially conceived as an effective technique to reduce code size in embedded systems, today also brings advantages in terms of performance and energy consumpti...