Sciweavers

220 search results - page 4 / 44
» Testing of Synchronization Conditions for Distributed Real-T...
Sort
View
ERSHOV
2003
Springer
15 years 2 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 3 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
89
Voted
EUROPAR
2004
Springer
15 years 3 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 2 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
ICEIS
2003
IEEE
15 years 2 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