1735 search results - page 15 / 347 » A Timed Multitasking Architecture for Distributed Embedded S... |
RSP
2000
IEEE
15 years 4 months ago
2000
IEEE
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
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...
ICDCSW
2003
IEEE
15 years 5 months ago
2003
IEEE
114
click to vote
ISORC
2005
IEEE
15 years 5 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...