2106 search results - page 37 / 422 » Specifying C concepts |
ICCD
2002
IEEE
15 years 6 months ago
2002
IEEE
We present a co-simulation environment for multiprocessor architectures, that is based on SystemC and allows a transparent integration of instruction set simulators (ISSs) within ...
CONCURRENCY
1998
14 years 9 months ago
1998
We consider the problem of converting C pointers to the less flexible concept of references. Our main application is converting scientific applications from C to Java. We provid...
CIMCA
2008
IEEE
15 years 4 months ago
2008
IEEE
Neither the C nor the C++ languages support reflection and their meta-programming capabilities are very limited. Both of these problems can be addressed by adding a preprocessing...
BIRTHDAY
2007
Springer
15 years 3 months ago
2007
Springer
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...
DATE
2002
IEEE
15 years 2 months ago
2002
IEEE
We present a design method (HASoC) for the lifecycle modelling of embedded systems that are targeted primarily, but not necessarily, at SoC implementations. The object-oriented de...