Sciweavers

10934 search results - page 1781 / 2187
» High performance computing and communications
Sort
View
CONCUR
1999
Springer
15 years 11 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea
DSOM
1999
Springer
15 years 11 months ago
JAMAP: A Web-based Management Platform for IP Networks
In this paper, we describe JAMAP, a prototype of a Web-based management platform for IP networks. It is written entirely in Java. It implements the push model to perform regular ma...
Jean-Philippe Martin-Flatin, Laurent Bovet, Jean-P...
SCCC
1999
IEEE
15 years 11 months ago
MetaFT-A Reflective Approach to Implement Replication Techniques in CORBA
A model was introduced in [Fraga97] for integrating replication techniques in heterogeneous systems. The model adopts a reflective structure based on the meta-object approach [10]...
Lau Cheuk Lung, Joni da Silva Fraga, Carlos Mazier...
IWAI
1999
Springer
15 years 11 months ago
Listen to Your Heart Rate: Counting the Cost of Media Quality
Networked multimedia applications, such as videoconferencing, offer great communicative opportunities. Since the financial cost of using such a service increases in line with the q...
Gillian M. Wilson, Martina Angela Sasse
IEEEPACT
1998
IEEE
15 years 11 months ago
Optical versus Electronic Bus for Address-Transactions in Future SMP Architectures
The fast evolution of processor performance necessitates a permanent evolution of all the multiprocessor components, even for small to medium-scale symmetric multiprocessors (SMP)...
Wissam Hlayhel, Daniel Litaize, Laurent Fesquet, J...
« Prev « First page 1781 / 2187 Last » Next »