3902 search results - page 138 / 781 » Hardware Synthesis from C C Models |
205
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
Increasingly, models of the world are directly built from images. The paper discusses a number of recent developments that try to push the enveloppe of what image-based modeling c...
148
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
187
click to vote
ECBS
1999
IEEE
15 years 10 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
133
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
In this work we propose a methodology for the accurate analysis of the power consumption of interprocessor communication in a MPSoC, and the construction of high-level power macro...
165
click to vote
DATE
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents a methodology to retarget the technique of compiled simulation for Digital Signal Processors DSPs using the modeling language LISA. In the past, the principl...