3340 search results - page 219 / 668 » Teaching networking hardware |
136
click to vote
CHARME
1997
Springer
15 years 8 months ago
1997
Springer
Formal verification techniques need to deal with the complexity of the systems rified. Most often, this problem is solved by taking an abstract model of the system and aiming at a...
149
click to vote
ISLPED
2007
ACM
15 years 6 months ago
2007
ACM
Dynamic voltage scaling (DVS) is known to be one of the most efficient techniques for power reduction of integrated circuits. Efficient low voltage DC-DC conversion is a key enabl...
141
click to vote
MASCOTS
2007
15 years 6 months ago
2007
—We present a turnover based adaptive HELLO protocol (TAP), which enables nodes in mobile networks to dynamically adjust their HELLO messages frequency depending on the current s...
180
click to vote
ISCA
2006
IEEE
15 years 4 months ago
2006
IEEE
Packet-based on-chip networks are increasingly being adopted in complex System-on-Chip (SoC) designs supporting numerous homogeneous and heterogeneous functional blocks. These Net...
109
click to vote
MSS
2010
IEEE
15 years 3 months ago
2010
IEEE
We consider four different game-theoretic approaches to describe the formation of social networks under mutual consent and costly communication. First, we consider Jackson-Wolins...