854 search results - page 50 / 171 » Timing coverification of concurrent embedded real-time syste... |
ICESS
2004
Springer
15 years 3 months ago
2004
Springer
Real-time transaction processing becomes concerns as embedded time coming rapidly. However, the transaction process in real-time embedded system still has some problems in resource...
ECRTS
2003
IEEE
15 years 3 months ago
2003
IEEE
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
ECRTS
2006
IEEE
15 years 3 months ago
2006
IEEE
As real-time and embedded systems become increasingly large and complex, the traditional strictly static approach to memory management begins to prove untenable. The challenge is ...
RTSS
2007
IEEE
15 years 4 months ago
2007
IEEE
Recently, cheap and large capacity non-volatile memory such as flash memory is rapidly replacing disks not only in embedded systems, but also in high performance servers. Unlike ...
BIRTHDAY
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...