Sciweavers

2811 search results - page 323 / 563
» Real-Time Component-Based Systems
Sort
View
RTAS
2005
IEEE
15 years 6 months ago
Model-Driven Techniques for Evaluating the QoS of Middleware Configurations for DRE Systems
Arvind S. Krishna, Emre Turkay, Aniruddha S. Gokha...
DATE
2010
IEEE
204views Hardware» more  DATE 2010»
15 years 5 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...
CORR
2010
Springer
195views Education» more  CORR 2010»
15 years 24 days 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...
69
Voted
RTAS
2009
IEEE
15 years 7 months ago
Modeling and Analysis of Multi-hop Control Networks
Rajeev Alur, Alessandro D'Innocenzo, Karl H. Johan...
81
Voted
RTCSA
2009
IEEE
15 years 7 months ago
Component Replication Based on Failover Units
Friedhelm Wolf, Jaiganesh Balasubramanian, Anirudd...