Sciweavers

3319 search results - page 194 / 664
» The topology of dark networks
Sort
View
147
Voted
FUIN
2010
163views more  FUIN 2010»
14 years 11 months ago
Equational Reasoning on Mobile Ad Hoc Networks
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar
SCL
2010
114views more  SCL 2010»
14 years 8 months ago
Input-state incidence matrix of Boolean control networks and its applications
The input-state incidence matrix of control Boolean network is proposed. It is shown that this matrix contains complete information of the input-state mapping. Using it, an easily...
Yin Zhao, Hongsheng Qi, Daizhan Cheng
111
Voted
ICS
2005
Tsinghua U.
15 years 7 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
106
Voted
IFIP
2003
Springer
15 years 7 months ago
A Novel Approach for Distributed Simulation of Wireless Mobile Systems
Abstract. This position paper introduces the motivation and preliminary implementation issues of a distributed simulation middleware designed to increase the performance and speed-...
Luciano Bononi, Gabriele D'Angelo
ISQED
2002
IEEE
105views Hardware» more  ISQED 2002»
15 years 6 months ago
Impact Analysis of Process Variability on Clock Skew
This paper presents a methodology for the statistical analysis of clock tree structures. It allows to accurately predict and analyze the impact of process variation on clock skew....
Enrico Malavasi, Stefano Zanella, Min Cao, Julian ...