Sciweavers

220 search results - page 4 / 44
» Testing of Synchronization Conditions for Distributed Real-T...
Sort
View
ERSHOV
2003
Springer
15 years 9 months ago
Integration of Functional and Timed Testing of Real-Time and Concurrent Systems
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
Victor V. Kuliamin, Alexandre Petrenko, Nick V. Pa...
PRDC
2007
IEEE
15 years 10 months ago
An Automatic Real-Time Analysis of the Time to Reach Consensus
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
Tatsuhiro Tsuchiya, André Schiper
EUROPAR
2004
Springer
15 years 9 months ago
A Proxy Server-Network for Real-Time Computer Games
Abstract. Computer games played over the Internet have recently become an important class of distributed applications. In this paper we present a novel proxy server-network topolog...
Jens Müller 0004, Stefan Fischer, Sergei Gorl...
WORDS
2003
IEEE
15 years 9 months ago
Asynchrony and Real-Time Dependable Computing
We examine how computer system problems can be derived from real application problems, with a particular focus on the relevance of some assumptions, especially those related to co...
Gérard Le Lann
165
Voted
ICEIS
2003
IEEE
15 years 9 months ago
Distributed Overload Control for Real-Time Replicated Database Systems
: In order to meet their temporal constraints, current applications such as Web-based services and electronic commerce use the technique of data replication. To take the replicatio...
Samia Saad-Bouzefrane, Claude Kaiser