20126 search results - page 357 / 4026 » Timed Transition Systems |
180
click to vote
ECRTS
2009
IEEE
15 years 2 months ago
2009
IEEE
Reader preference, writer preference, and task-fair readerwriter locks are shown to cause undue blocking in multiprocessor real-time systems. A new phase-fair reader-writer lock i...
231
click to vote
EUROMICRO
2011
IEEE
14 years 4 months ago
2011
IEEE
—This paper presents a method for using the CORBA Component Model (CCM) to integrate heterogeneous DRE systems. It has been realized in a extensible C++ template framework named ...
135
Voted
HYBRID
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We study continuous-time switched linear systems with unobserved and exogenous mode signals. We analyze the observability of the initial state and initial mode under arbi...
197
click to vote
PATMOS
2007
Springer
15 years 11 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...
188
Voted
ECMDAFA
2005
Springer
15 years 10 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...