3340 search results - page 269 / 668 » Teaching networking hardware |
147
click to vote
CHARME
2005
Springer
16 years 6 days ago
2005
Springer
In this paper, we explore a parallelization of BMC based on state space partitioning. The parallelization is accomplished by executing multiple instances of BMC independently from ...
203
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
Interconnect networks play a critical role in shared memory multiprocessor systems-on-chip (MPSoC) designs. MPSoC performance and power consumption are greatly affected by the pac...
216
click to vote
EH
2002
IEEE
15 years 11 months ago
2002
IEEE
Fluid flow in porous media is a dynamic process that is traditionally modeled using PDE (Partial Differential Equations). In this approach, physical properties related to fluid fl...
173
click to vote
ISQED
2002
IEEE
15 years 11 months ago
2002
IEEE
— The inductive characteristics of several types of gridded power distribution networks are described in this paper. The inductance extraction program FastHenry is used to evalua...
142
Voted
SIGMETRICS
2010
ACM
15 years 11 months ago
2010
ACM
In this paper, we present a comprehensive analysis of real smartphone usage during a 6-month study of real user activity on the Android G1 smartphone. Our goal is to study the hig...