237 search results - page 3 / 48 » The Garp Architecture and C Compiler |
DAC
2011
ACM
12 years 5 months ago
2011
ACM
SystemC is a popular modeling language which can be used to specify systems at bstraction level. Currently, SystemC tools can not cope with SystemC models for which the module hie...
IPPS
2003
IEEE
13 years 11 months ago
2003
IEEE
To understand the performance of modern Java systems one must observe execution in the context of specific architectures. It is also important that we make these observations usi...
FDL
2008
IEEE
13 years 7 months ago
2008
IEEE
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...
EUROPAR
2010
Springer
13 years 6 months ago
2010
Springer
ASPLOS
2008
ACM
13 years 7 months ago
2008
ACM
The C programming language is at least as well known for its absence of spatial memory safety guarantees (i.e., lack of bounds checking) as it is for its high performance. C'...