6229 search results - page 167 / 1246 » Models of Computation for Networks on Chip |
GLVLSI
2009
IEEE
14 years 3 months ago
2009
IEEE
This paper proposes a scheme for automatic re-distribution layer (RDL) routing, which is used in chip-package connections. Traditional RDL routing designs are mostly performed man...
MOBIHOC
2009
ACM
14 years 1 months ago
2009
ACM
We address the problem of estimating the remaining energy of a node battery in wireless sensor networks. To solve this issue, we provide an on-line battery model that requires lim...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper, we report our work [24, 26] on extending the J-Sim network simulator [13] to be an integrated environment for both simulation and model checking of network protocol...
CONCUR
2012
Springer
11 years 11 months ago
2012
Springer
Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks. This is a problem ...
LCN
2008
IEEE
14 years 3 months ago
2008
IEEE
—Carrier Sense Multiple Access (CSMA) protocols in Multi-hop Wireless Networks (MHWN) are known to suffer from different forms of the hidden and exposed terminal problems, leadin...