3902 search results - page 138 / 781 » Hardware Synthesis from C C Models |
159
Voted
3DPVT
2002
IEEE
15 years 8 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...
116
Voted
PLDI
2012
ACM
13 years 6 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 ...
143
Voted
ECBS
1999
IEEE
15 years 8 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...
102
click to vote
ICCD
2004
IEEE
16 years 16 days 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...
137
Voted
DATE
2000
IEEE
15 years 8 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...