29 search results - page 1 / 6 » CLI-based compilation flows for the C language |
SAMOS
2010
Springer
13 years 2 months ago
2010
Springer
Abstract--Embedded systems contain a wide variety of processors. Economical and technological factors favor systems made of a combination of diverse but programmable processors. So...
LCPC
1998
Springer
13 years 9 months ago
1998
Springer
The automatic parallelization of C has always been frustrated by pointer arithmetic, irregular control flow and complicated data aggregation. Each of these problems is similar to f...
POPL
1994
ACM
13 years 9 months ago
1994
ACM
Modern computer architectures increasingly depend on mechanisms that estimate future control flow decisions to increase performance. Mechanisms such as speculative execution and p...
FDL
2008
IEEE
13 years 6 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...
ESOP
2001
Springer
13 years 9 months ago
2001
Springer
Security-typed languages enforce confidentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...