Sciweavers

2270 search results - page 236 / 454
» On the distribution of eigenvalues of graphs
Sort
View
ERCIMDL
2007
Springer
87views Education» more  ERCIMDL 2007»
16 years 22 days ago
A Model of Uncertainty for Near-Duplicates in Document Reference Networks
We introduce a model of uncertainty where documents are not uniquely identified in a reference network, and some links may be incorrect. It generalizes the probabilistic approach ...
Claudia Hess, Michel de Rougemont
COORDINATION
2005
Springer
16 years 3 days ago
Synchronized Hyperedge Replacement for Heterogeneous Systems
Abstract. We present a framework for modelling heterogeneous distributed systems using graph transformations in the Synchronized Hyperedge Replacement approach, which describes com...
Ivan Lanese, Emilio Tuosto
PDCAT
2004
Springer
15 years 12 months ago
An Optimal Broadcasting Algorithm for de Bruijn Network dBG(d, k)
Recent works have classified de Bruijn graph (dBG) based broadcasting algorithms into local broadcasting and arc-disjoint spanning trees based broadcasting. However, those algorit...
Ngoc Chi Nguyen, Sungyoung Lee
WEBI
2004
Springer
15 years 12 months ago
PPDN - a Framework for Peer-to-Peer Collaborative Research Network
PPDN, Push-Pull Distribution Network, — a proposal for a novel framework for peer-to-peer collaborative research network is presented. Some requirements not addressed by the cur...
Vlado Keselj, Nick Cercone
CHARME
2001
Springer
92views Hardware» more  CHARME 2001»
15 years 10 months ago
Induction-Oriented Formal Verification in Symmetric Interconnection Networks
The framework of this paper is the formal specification and proof of applications distributed on symmetric interconnection networks, e.g. the torus or the hypercube. The algorithms...
Eric Gascard, Laurence Pierre