217 search results - page 32 / 44 » POSIX modeling in SystemC |
149
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
141
click to vote
GPCE
2008
Springer
15 years 6 months ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
148
click to vote
EMSOFT
2009
Springer
15 years 9 months ago
2009
Springer
Embedded systems such as smart cards or sensors are now widespread, but are often closed systems, only accessed via dedicated terminals. A new trend consists in embedding Web serv...
106
Voted
MEMOCODE
2005
IEEE
15 years 10 months ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
159
click to vote
LCTRTS
2010
Springer
15 years 11 months ago
2010
Springer
This paper extends the methodology of analytic real-time analysis of distributed embedded systems towards merging and extracting sub-streams based on event type information. For e...