11653 search results - page 101 / 2331 » The Development of the C Language |
DATE
2002
IEEE
14 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...
FDL
2008
IEEE
14 years 3 months ago
2008
IEEE
—In this paper, we propose a quasi-static scheduling (QSS) method applicable to actor-oriented SystemC designs. QSS determines a schedule where several static schedules are combi...
PLDI
1998
ACM
14 years 1 months ago
1998
ACM
Object-oriented applications may contain data members that can be removed from the application without a ecting program behavior. Such \dead" data members may occur due to un...
ESOP
2011
Springer
13 years 24 days ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
FDL
2008
IEEE
13 years 11 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...