133 search results - page 11 / 27 » Transactor-based Formal Verification of Real-time Embedded S... |
102
Voted
DATE
2008
IEEE
15 years 1 months ago
2008
IEEE
In this paper, we propose a simulation-based methodology for worst-case response time estimation of distributed realtime systems. Schedulability analysis produces pessimistic uppe...
115
Voted
ECRTS
2004
IEEE
15 years 3 months ago
2004
IEEE
In this paper we present a concurrency control algorithm that allows co-existence of soft real-time, relational database transactions, and hard real-time database pointer transact...
131
click to vote
ANSOFT
2002
14 years 11 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
126
click to vote
DSRT
2008
IEEE
15 years 1 months ago
2008
IEEE
In this contribution a new system for the rapid development of real-time prototypes for digital audio signal processing algorithms on Windows PCs and a Digital Signal Processor (D...
102
click to vote
RTAS
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper we propose a dynamic constraint transformation technique for ensuring timing requirements in a distributed real-time system possessing periodically synchronized dist...