Sciweavers

1506 search results - page 105 / 302
» Network Coordinates in the Wild
Sort
View
ENTCS
2007
109views more  ENTCS 2007»
15 years 6 months ago
Symbolic Model Checking for Channel-based Component Connectors
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...
Sascha Klüppelholz, Christel Baier
ISAAC
2003
Springer
97views Algorithms» more  ISAAC 2003»
15 years 11 months ago
Equilibria for Networks with Malicious Users
We consider the problem of characterizing user equilibria and optimal solutions for selfish routing in a given network. We extend the known models by considering malicious behavio...
George Karakostas, Anastasios Viglas
FCCM
2004
IEEE
144views VLSI» more  FCCM 2004»
15 years 10 months ago
Efficient Execution of Process Networks on a Reconfigurable Hardware Virtual Machine
In this paper we present a novel use of an FPGA as a computing element for streaming based application. We investigate the virtualized execution of dynamic reconfigurable tasks. We...
Matthias Dyer, Marco Platzner, Lothar Thiele
VTC
2006
IEEE
16 years 12 days ago
Induced Cooperative Multi-user Diversity Relaying for Multi-hop Cellular Networks
— In this paper we study the multi-user diversity gain in the downlink of single-hop and multi-hop infrastructure-based networks. We propose a base-station coordinated cooperativ...
Keivan Navaie, Halim Yanikomeroglu
ECEASST
2008
91views more  ECEASST 2008»
15 years 6 months ago
Graph Transformation Model of a Triangulated Network of Mobile Units
Abstract: A triangulated network of mobile units is modelled by means of a graph transformation system in which graph nodes are labelled with geometric coordinates and edges are la...
Stefan Gruner