217 search results - page 16 / 44 » POSIX modeling in SystemC |
107
click to vote
FDL
2006
IEEE
15 years 6 months ago
2006
IEEE
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
140
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
100
click to vote
IFIP
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. In this article, we present a flexible simulation environment for embedded real-time software refinement by a mixed level cosimulation. For this, ne the native speed of a...
124
Voted
DAC
2010
ACM
14 years 11 months ago
2010
ACM
As high-level models in C and SystemC are increasingly used for verification and even design (through high-level synthesis) of electronic systems, there is a growing need for com...
105
Voted
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
This presentation demonstrates the early results from the French ANR project RT-Simex. RT-Simex proposes a set of tools to analyze timing of parallel embedded code and trace the s...