854 search results - page 19 / 171 » Timing coverification of concurrent embedded real-time syste... |
IICS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...
DEXA
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. Access control policies are security policies that govern access to resources. Real-time update of access control policies, that is, updating policies while they are in e...
RTAS
1997
IEEE
15 years 1 months ago
1997
IEEE
In this paper, we propose and present Real-Time Channel-based Reflective Memory (RT-CRM)
RTAS
2009
IEEE
15 years 4 months ago
2009
IEEE
QeDB is a database for data-intensive real-time applications running on flash memory-based embedded systems. Currently, databases for embedded systems are best effort, providing ...
76
Voted
RTCSA
2008
IEEE
15 years 4 months ago
2008
IEEE