Sciweavers

2473 search results - page 37 / 495
» The Logic of Communication Graphs
Sort
View
73
Voted
CORR
2009
Springer
62views Education» more  CORR 2009»
15 years 1 months ago
Towards an embedding of Graph Transformation in Intuitionistic Linear Logic
Paolo Torrini, Reiko Heckel
101
Voted
DAC
2002
ACM
16 years 4 months ago
Constraint-driven communication synthesis
Constraint-driven Communication Synthesis enables the automatic design of the communication architecture of a complex system from a library of pre-defined Intellectual Property (I...
Alessandro Pinto, Luca P. Carloni, Alberto L. Sang...
122
Voted
GLOBECOM
2010
IEEE
15 years 1 months ago
Range-Key Extension of the Skip Graph
In the Skip Graph, which is a structured overlay network that supports range retrievals, a key is supposed to consist of a single value. Therefore, the Skip Graph cannot perform ra...
Yoshimasa Ishi, Yuuichi Teranishi, Mikio Yoshida, ...