Sciweavers

639 search results - page 78 / 128
» About Norms and Causes
Sort
View
ICCAD
2006
IEEE
149views Hardware» more  ICCAD 2006»
15 years 6 months ago
Fast decap allocation based on algebraic multigrid
Decap (decoupling capacitor) is an effective technique for suppressing power supply noise. Nevertheless, over-usage of decap usually causes excessive power dissipation. Therefore...
Cheng Zhuo, Jiang Hu, Min Zhao, Kangsheng Chen
SEFM
2006
IEEE
15 years 5 months ago
A Theory of Singly-Linked Lists and its Extensible Decision Procedure
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
Silvio Ranise, Calogero G. Zarba
VTC
2006
IEEE
15 years 5 months ago
The Effect of Computation and Feedback Delay on the Capacity of Multiuser MIMO Systems in a Small Outdoor Cell
— This paper examines how the capacity of three multiuser multiple-input multiple-output (MIMO) algorithms is affected by a delay in computing and feeding back the transmit (and ...
Matthew Webb, Mythri Hunukumbure, Mark A. Beach, A...
CONEXT
2006
ACM
15 years 5 months ago
Using forgetful routing to control BGP table size
Running the Border Gateway Protocol (BGP), the Internet’s interdomain routing protocol, consumes a large amount of memory. A BGP-speaking router typically stores one or more rou...
Elliott Karpilovsky, Jennifer Rexford
SIGSOFT
2006
ACM
15 years 5 months ago
Detecting increases in feature coupling using regression tests
Repeated changes to a software system can introduce small weaknesses such as unplanned dependencies between different parts of the system. While such problems usually go undetecte...
Olivier Giroux, Martin P. Robillard