Sciweavers

531 search results - page 9 / 107
» Formal Methods for Networks on Chips
Sort
View
EUROPAR
2010
Springer
14 years 9 months ago
Power-Efficient Spilling Techniques for Chip Multiprocessors
Abstract. Current trends in CMPs indicate that the core count will increase in the near future. One of the main performance limiters of these forthcoming microarchitectures is the ...
Enric Herrero, José González, Ramon ...
67
Voted
DAC
1998
ACM
15 years 10 months ago
Multi-Pad Power/Ground Network Design for Uniform Distribution of Ground Bounce
This paper presents a method for power and ground (p/g) network routing for high speed CMOS chips with multiple p/g pads. Our objective is not to reduce the total amount of the gr...
Jaewon Oh, Massoud Pedram
58
Voted
SFM
2005
Springer
15 years 3 months ago
Network Swapping
Emanuele Lattanzi, Andrea Acquaviva, Alessandro Bo...
IJIT
2004
14 years 11 months ago
Formal Verification of a Multicast Protocol In Mobile Networks
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...
Mohammad Reza Matash Borujerdi, S. M. Mirzababaei
DFT
2009
IEEE
154views VLSI» more  DFT 2009»
15 years 4 months ago
Dual-Layer Cooperative Error Control for Reliable Nanoscale Networks-on-Chip
We propose a framework that allows dual-layer cooperative error control in a nanoscale network-on-chip (NoC), to simultaneously improve reliability, performance and energy efficie...
Qiaoyan Yu, Paul Ampadu