2652 search results - page 233 / 531 » Privacy-preserving linear programming |
118
click to vote
STOC
2001
ACM
16 years 4 months ago
2001
ACM
: We analyze a randomized pivoting process involving one line and n points in the plane. The process models the behavior of the RANDOM-EDGE simplex algorithm on simple polytopes wi...
113
Voted
ICCD
2004
IEEE
16 years 21 days ago
2004
IEEE
— In this paper, we approach the gate sizing problem in VLSI circuits in the context of increasing variability of process and circuit parameters as technology scales into the nan...
121
Voted
ICCD
2004
IEEE
16 years 21 days ago
2004
IEEE
In this paper, we investigate the core-switch mapping(CSM) problem that optimally maps cores onto an NoC architecture such that either the energy consumption or the congestion is ...
118
Voted
ICCAD
2008
IEEE
16 years 20 days ago
2008
IEEE
Abstract—Buffer resizing and buffer insertion are two transformation techniques for the performance optimization of elastic systems. Different approaches for each technique have ...
136
click to vote
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Ranking function synthesis is a key aspect to the success of modern termination provers for imperative programs. While it is wellknown how to generate linear ranking functions for ...