Sciweavers

2811 search results - page 323 / 563
» Real-Time Component-Based Systems
Sort
View
121
Voted
RTAS
2005
IEEE
15 years 8 months ago
Model-Driven Techniques for Evaluating the QoS of Middleware Configurations for DRE Systems
Arvind S. Krishna, Emre Turkay, Aniruddha S. Gokha...
99
Voted
DATE
2010
IEEE
204views Hardware» more  DATE 2010»
15 years 7 months ago
Assertion-based verification of RTOS properties
— Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) res...
Marcio F. S. Oliveira, Henning Zabel, Wolfgang M&u...
139
Voted
CORR
2010
Springer
195views Education» more  CORR 2010»
15 years 2 months ago
Dynamic management of transactions in distributed real-time processing system
Managing the transactions in real time distributed computing system is not easy, as it has heterogeneously networked computers to solve a single problem. If a transaction runs acr...
Y. Jayanta Singh, Yumnam Somananda Singh, Ashok Ga...
82
Voted
RTAS
2009
IEEE
15 years 9 months ago
Modeling and Analysis of Multi-hop Control Networks
Rajeev Alur, Alessandro D'Innocenzo, Karl H. Johan...
94
Voted
RTCSA
2009
IEEE
15 years 9 months ago
Component Replication Based on Failover Units
Friedhelm Wolf, Jaiganesh Balasubramanian, Anirudd...