531 search results - page 8 / 107 » Formal Methods for Networks on Chips |
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
Conventional physical design flow separates the design of power network and signal network. Such a separated approach results in slow design convergence for wire-limited deep sub-...
125
click to vote
DANCE
2002
IEEE
15 years 2 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
COMPUTER
2002
14 years 9 months ago
2002
of abstraction and coarse granularity and distributed communication control. Focusing on using probabilistic metrics such as average values or variance to quantify design objective...
75
Voted
IAT
2008
IEEE
15 years 4 months ago
2008
IEEE
Social networks are very popular nowadays and the understanding of their inner structure seems to be promising area. Several approaches for the social network structure visualizat...
ISQED
2005
IEEE
15 years 3 months ago
2005
IEEE
Adding on-chip decoupling capacitors (decaps) is an effective way to reduce voltage noise in power/ground networks and ensure robust power delivery. In this paper, we present a fa...