1735 search results - page 15 / 347 » A Timed Multitasking Architecture for Distributed Embedded S... |
118
Voted
RSP
2000
IEEE
15 years 8 months ago
2000
IEEE
99
Voted
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
136
Voted
ECBS
2007
IEEE
15 years 7 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...
78
Voted
ICDCSW
2003
IEEE
15 years 9 months ago
2003
IEEE
146
Voted
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...