Sciweavers

2429 search results - page 433 / 486
» Toposemantic Network Clustering
Sort
View
PDP
2005
IEEE
15 years 5 months ago
Distributed Local Resolution of Boolean Equation Systems
Boolean Equation Systems (BESs) allow to represent various problems encountered in the area of propositional logic programming and verification of concurrent systems. Several seq...
Christophe Joubert, Radu Mateescu
EMSOFT
2005
Springer
15 years 5 months ago
A GA-based scheduling method for FlexRay systems
An advanced communication system, the FlexRay system, has been developed for future automotive applications. It consists of time-triggered clusters, such as drive-by-wire in cars,...
Shan Ding, Naohiko Murakami, Hiroyuki Tomiyama, Hi...
ICS
2005
Tsinghua U.
15 years 5 months ago
Automatic generation and tuning of MPI collective communication routines
In order for collective communication routines to achieve high performance on different platforms, they must be able to adapt to the system architecture and use different algori...
Ahmad Faraj, Xin Yuan
VRCAI
2004
ACM
15 years 5 months ago
Graphical interaction devices for distributed virtual reality systems
This paper explores the possibilities of using portable devices in multiprojection environments, such as CAVEs, Panoramas and Power Walls. We propose and implement a tool to gener...
Marcelo de Paiva Guimarães, Bruno Barberi G...
EDBTW
2004
Springer
15 years 5 months ago
A Simulation Framework for Schema-Based Query Routing in P2P-Networks
Current simulations of P2P-networks don’t take any kind of schemas into account. We present a simulation-framework and first results for query routing based on extensible schema...
Wolf Siberski, Uwe Thaden