Sciweavers

639 search results - page 78 / 128
» About Norms and Causes
Sort
View
ICCAD
2006
IEEE
149views Hardware» more  ICCAD 2006»
16 years 25 days 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
16 years 24 days 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
16 years 23 days 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
16 years 22 days 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
16 years 22 days 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