6381 search results - page 85 / 1277 » Alternative Implementation of the C |
160
click to vote
AADEBUG
2005
Springer
15 years 6 months ago
2005
Springer
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
131
click to vote
TSE
2008
15 years 3 months ago
2008
This paper presents CMOD, a novel tool that provides a sound module system for C. CMOD works by enforcing a set of four rules that are based on principles of modular reasoning and...
119
click to vote
ICCAD
2008
IEEE
16 years 26 days ago
2008
IEEE
—The microprocessor verification challenge becomes higher in the on-chip bus (OCB) than in the unit-level. Especially for the external interrupts, since they interface with othe...
141
Voted
ICCAD
2008
IEEE
16 years 26 days ago
2008
IEEE
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
121
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
Applications from the embedded consumer domain put challenging requirements on SoC infrastructures, i.e. interconnect and memory. Specifically, video applications demand large sto...