358 search results - page 23 / 72 » Model-Based Specification and Execution of Embedded Real-Tim... |
ECRTS
2007
IEEE
15 years 5 months ago
2007
IEEE
Existing real-time research focuses on how to formulate, model and enforce timeliness guarantees for task sets whose correctness has a temporal aspect. However, the resulting syst...
113
click to vote
FASE
2006
Springer
15 years 2 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
118
click to vote
BIRTHDAY
2012
Springer
13 years 6 months ago
2012
Springer
Embedded systems must interact with their real-time environment in a timely and dependable fashion. Most embeddedsystems architectures and design processes consider “nonfunction...
104
click to vote
ECRTS
2004
IEEE
15 years 2 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...
127
click to vote
PATMOS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Until now, the great majority of research in low-power systems has assumed a convex power model. However, recently, due to the confluence of emerging technological and ar...