16883 search results - page 3254 / 3377 » Generalized Non-Reducible Descriptors |
153
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
186
Voted
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
Real-time Garbage Collection (RTGC) has recently advanced to the point where it is being used in production for financial trading, military command-and-control, and telecommunicat...
184
Voted
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents an EDF-based algorithm, called Earliest Deadline Deferrable Portion (EDDP), for efficient scheduling of recurrent real-time tasks on multiprocessor systems. Th...
181
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
153
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...