2210 search results - page 107 / 442 » Applying a Model-based Approach for Embedded System Developm... |
104
click to vote
RTSS
2009
IEEE
15 years 6 months ago
2009
IEEE
—Memory accesses form an important source of timing unpredictability. Timing analysis of real-time embedded software thus requires bounding the time for memory accesses. Multipro...
BCSHCI
2009
15 years 13 days ago
2009
We describe the design process we have used to develop a minimal, twenty vibration motor Tactile Vision Sensory Substitution (TVSS) system which enables blind-folded subjects to s...
ECBS
2007
IEEE
15 years 3 months ago
2007
IEEE
Due to the high cost of modeling, model-based techniques are yet to make their impact in the embedded systems industry, which still persist on maintaining code-oriented legacy sys...
KBSE
2009
IEEE
15 years 6 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
SSS
2009
Springer
15 years 5 months ago
2009
Springer
This paper studies the development of autonomic and secure Virtual Organisations (VOs) when following the chemical-programming paradigm. We have selected the Higher-Order Chemical ...