Sciweavers

11374 search results - page 96 / 2275
» A System Demonstration of ST-TCP
Sort
View
RISE
2005
Springer
15 years 11 months ago
Formal Development of Reactive Fault Tolerant Systems
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
Linas Laibinis, Elena Troubitsyna
141
Voted
SIGOPSE
2004
ACM
15 years 11 months ago
Using AOP to develop architectural-neutral operating system components
The architecture of an operating system, e.g. micro kernel or monolithic kernel, is usually seen as something static. Even during the long lasting evolution of operating system co...
Olaf Spinczyk, Daniel Lohmann
ICMCS
2000
IEEE
102views Multimedia» more  ICMCS 2000»
15 years 10 months ago
Trader's Quality of Service Specifications and Effects on System Performance for Video-on-Demand
In this paper we present a detailed review on the Trader’s Quality of Service (QoS) Specifications and the Effects on System Performance for Video-on-Demand Multimedia (MM) Appl...
Edward Babulak
VTS
2000
IEEE
95views Hardware» more  VTS 2000»
15 years 10 months ago
Word Voter: A New Voter Design for Triple Modular Redundant Systems
Redundancy techniques are commonly used to design dependable systems to ensure high reliability, availability and data integrity. Triple Modular Redundancy (TMR) is a widely used ...
Subhasish Mitra, Edward J. McCluskey
RTSS
1993
IEEE
15 years 10 months ago
Using Dynamic Adjustment of Serialization Order for Real-Time Database Systems
Studies in [7,8, 91 concluded that for a variety of reasons, optimistic concurrency control appears well-suited to real-time database systems. Especially, they showed that in a re...
Juhnyoung Lee, Sang Hyuk Son