2523 search results - page 3 / 505 » Correct Development of Embedded Systems |
ECBS
2008
IEEE
13 years 5 months ago
2008
IEEE
A discrete control system, with stringent hardware constraints, is effectively an embedded real-time system and hence requires a rigorous methodology to develop the software invol...
ASPLOS
2004
ACM
13 years 10 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
CODES
2001
IEEE
13 years 9 months ago
2001
IEEE
"Function Tokens" and "NOP Fills" are two methods proposed by various authors to deal with Instruction Pointer corruption in microcontrollers, especially in th...
HOTOS
2009
IEEE
13 years 9 months ago
2009
IEEE
Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this...
