Sciweavers

5214 search results - page 1043 / 1043
» The Online Specialization Problem
Sort
View
ESA
2009
Springer
107views Algorithms» more  ESA 2009»
13 years 12 months ago
Disproof of the Neighborhood Conjecture with Implications to SAT
We study a special class of binary trees. Our results have implications on Maker/Breaker games and SAT: We disprove a conjecture of Beck on positional games and construct an unsati...
Heidi Gebauer
DAC
2005
ACM
14 years 6 months ago
OPERA: optimization with ellipsoidal uncertainty for robust analog IC design
As the d esig n-m anu factu ring interface becom es increasing ly com plicated with IC technolog y scaling , the correspond ing process variability poses g reat challeng es for na...
Yang Xu, Kan-Lin Hsiung, Xin Li, Ivan Nausieda, St...
EUROSYS
2007
ACM
14 years 2 months ago
Adaptive control of virtualized resources in utility computing environments
Data centers are often under-utilized due to over-provisioning as well as time-varying resource demands of typical enterprise applications. One approach to increase resource utili...
Pradeep Padala, Kang G. Shin, Xiaoyun Zhu, Mustafa...
ESWS
2009
Springer
13 years 10 months ago
KiWi - A Platform for Semantic Social Software (Demonstration)
Abstract. Semantic Wikis have demonstrated the power of combining Wikis with Semantic Web technology. The KiWi system goes beyond Semantic Wikis by providing a flexible and adapta...
Sebastian Schaffert, Julia Eder, Szaby Grünwa...
« Prev « First page 1043 / 1043 Last » Next »