5239 search results - page 32 / 1048 » Model-Integrated Embedded Systems |
ATC
2008
Springer
13 years 9 months ago
2008
Springer
To overcome the rising complexity of computing systems, the paradigms of Autonomic Computing and Organic Computing have been introduced. By using an observer/controller architectur...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
File systems make use of part of DRAM as the buffer cache to enhance its performance in traditional systems. In this paper, we consider the use of Non-Volatile RAM (NVRAM) as a w...
ECBS
2000
IEEE
13 years 12 months ago
2000
IEEE
Recently, modeling has received a lot of attention in the design of embedded computing systems. StateCharts is one of the modeling specifications which has been successfully imple...
ETFA
2006
IEEE
14 years 1 months ago
2006
IEEE
— Networks for real-time embedded systems are a key emerging technology for current and future systems. Such networks need to enable reliable communication without requiring sign...
RTAS
2009
IEEE
14 years 2 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...