Sciweavers

2196 search results - page 180 / 440
» Practical Reasoning Using Values
Sort
View
ICN
2005
Springer
15 years 7 months ago
Scheduling Algorithms for Input Queued Switches Using Local Search Technique
Input Queued switches have been very well studied in the recent past. The Maximum Weight Matching (MWM) algorithm is known to deliver 100% throughput under any admissible traffic. ...
Yanfeng Zheng, Simin He, Shutao Sun, Wen Gao
ISQED
2009
IEEE
115views Hardware» more  ISQED 2009»
15 years 8 months ago
TuneLogic: Post-silicon tuning of dual-Vdd designs
Modern CMOS manufacturing processes have significant variability, which necessitates guard banding to achieve reasonable yield. It is our thesis that variability should be addres...
Stephen Bijansky, Sae Kyu Lee, Adnan Aziz
CAV
2012
Springer
227views Hardware» more  CAV 2012»
13 years 4 months ago
Minimum Satisfying Assignments for SMT
Abstract. A minimum satisfying assignment of a formula is a minimumcost partial assignment of values to the variables in the formula that guarantees the formula is true. Minimum sa...
Isil Dillig, Thomas Dillig, Kenneth L. McMillan, A...
ALGORITHMICA
1999
156views more  ALGORITHMICA 1999»
15 years 1 months ago
Competitive Optimal On-Line Leasing
Consider an on-line player who needs some equipment (e.g., a computer) for an initially unknown number of periods. At the start of each period it is determined whether the player w...
Ran El-Yaniv, R. Kaniel, Nathan Linial
ISCAS
2003
IEEE
64views Hardware» more  ISCAS 2003»
15 years 7 months ago
Matching of low-noise amplifiers at high frequencies
Higher transistor transition frequencies, lower supply voltages and smaller physical dimensions are, nowadays, general trends in the semiconductor industry. Operating at lower sup...
Aleksandar Tasic, Wouter A. Serdijn, John R. Long