Sciweavers

248 search results - page 5 / 50
» A hierarchical scheduling model for component-based real-tim...
Sort
View
ISORC
1999
IEEE
15 years 1 months ago
Applying Use Cases for the Requirements Validation of Component-Based Real-Time Software
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
Wolfgang Fleisch
CAV
2012
Springer
251views Hardware» more  CAV 2012»
13 years 1 days ago
A Model Checker for Hierarchical Probabilistic Real-Time Systems
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
Songzheng Song, Jun Sun 0001, Yang Liu 0003, Jin S...
RTCSA
2005
IEEE
15 years 3 months ago
Scheduling Real-Time Information in a Broadcast System with Non-Real-Time Information
Data broadcast is an efficient information delivery model that can deliver information to a large population simultaneously. In this paper, we propose two efficient algorithms to ...
Hsin-Wen Wei, Pei-Chi Huang, Hsung-Pin Chang, Wei ...
ICPADS
2002
IEEE
15 years 2 months ago
Sago: A Network Resource Management System for Real-Time Content Distribution
Abstract— Content replication and distribution is an effective technology to reduce the response time for web accesses and has been proven quite popular among large Internet cont...
Tzi-cker Chiueh, Kartik Gopalan, Anindya Neogi, Ch...
MACH
1990
14 years 10 months ago
Real-Time Mach: Towards a Predictable Real-Time System
Distributed real-time systems play a very important role in our modern society. They are used in aircraft control, communication systems, military command and control systems, fac...
Hideyuki Tokuda, Tatsuo Nakajima, Prithvi Rao