2128 search results - page 363 / 426 » A general characterization of indulgence |
144
Voted
VLSID
2001
IEEE
16 years 28 days ago
2001
IEEE
The emergence of several communication architectures for System-on-Chips provides designers with a variety of design alternatives. In addition, the need to customize the system ar...
104
Voted
HPCA
2003
IEEE
16 years 28 days ago
2003
IEEE
Increasing focus on power dissipation issues in current microprocessors has led to a host of proposals for clock gating and other power-saving techniques. While generally effectiv...
191
Voted
POPL
2006
ACM
16 years 26 days ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...
105
Voted
STOC
2005
ACM
16 years 26 days ago
2005
ACM
A graph property is called monotone if it is closed under taking (not necessarily induced) subgraphs (or, equivalently, if it is closed under removal of edges and vertices). Many ...
100
Voted
STOC
2004
ACM
16 years 26 days ago
2004
ACM
We present a probabilistic analysis for a large class of combinatorial optimization problems containing, e.g., all binary optimization problems defined by linear constraints and a...