5334 search results - page 472 / 1067 » Communicating quantum processes |
178
click to vote
CCR
2010
15 years 7 months ago
2010
Multi-core CPUs, along with recent advances in memory and buses, render commodity hardware a strong candidate for software router virtualization. In this context, we present the d...
148
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract-We analyze the capacity scaling laws of clustered ad hoc networks in which nodes are distributed according to a doubly stochastic shotnoise Cox process. We identify five d...
169
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract--The paper introduces DILOC, a distributed, iterative algorithm to locate sensors (with unknown locations) in 1, with respect to a minimal number of + 1 anchors with known...
174
click to vote
ENTCS
2008
15 years 7 months ago
2008
This paper describes an extension to Lustre to support the analysis of globally asynchronous, locally synchronous (GALS) architectures. This extension consists of constructs for d...
164
click to vote
ENTCS
2008
15 years 7 months ago
2008
We introduce a Control Flow Analysis, that statically approximates the dynamic behaviour of processes, expressed in the Beta-Binders calculus. Our analysis of a system is able to ...