808 search results - page 42 / 162 » Modeling and Analysis of Real-Time and Embedded Systems |
121
click to vote
ECRTS
2006
IEEE
15 years 3 months ago
2006
IEEE
Cache memories have been extensively used to bridge the gap between high speed processors and relatively slower main memories. However, they are sources of predictability problems...
103
click to vote
ISOLA
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
FMSD
2006
14 years 9 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
108
click to vote
DSRT
2008
IEEE
14 years 11 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...
RTAS
2007
IEEE
15 years 4 months ago
2007
IEEE
It is challenging to manage the performance of real-time databases (RTDBs) that are often used in data-intensive real-time applications such as agile manufacturing and target trac...