Sciweavers

1690 search results - page 279 / 338
» Serial experiments online
Sort
View
SIAMSC
2010
157views more  SIAMSC 2010»
13 years 7 months ago
Certified Reduced Basis Methods and Output Bounds for the Harmonic Maxwell's Equations
We propose certified reduced basis methods for the efficient and reliable evaluation of a general output that is implicitly connected to a given parameterized input through the ha...
Yanlai Chen, Jan S. Hesthaven, Yvon Maday, Jer&oac...
VL
2010
IEEE
247views Visual Languages» more  VL 2010»
13 years 7 months ago
Cleanroom: Edit-Time Error Detection with the Uniqueness Heuristic
Many dynamic programming language features, such as implicit declaration, reflection, and code generation, make it difficult to verify the existence of identifiers through standar...
Andrew J. Ko, Jacob O. Wobbrock
COR
2010
129views more  COR 2010»
13 years 7 months ago
Flexible solutions in disjunctive scheduling: General formulation and study of the flow-shop case
We consider the context of decision support for schedule modification after the computation off-line of a predictive optimal (or near optimal) schedule. The purpose of this work i...
Mohamed Ali Aloulou, Christian Artigues
CNSM
2010
13 years 6 months ago
PRESS: PRedictive Elastic ReSource Scaling for cloud systems
Cloud systems require elastic resource allocation to minimize resource provisioning costs while meeting service level objectives (SLOs). In this paper, we present a novel PRedictiv...
Zhenhuan Gong, Xiaohui Gu, John Wilkes
DASFAA
2010
IEEE
220views Database» more  DASFAA 2010»
13 years 6 months ago
An Effective Object-Level XML Keyword Search
Keyword search is widely recognized as a convenient way to retrieve information from XML data. In order to precisely meet users' search concerns, we study how to effectively r...
Zhifeng Bao, Jiaheng Lu, Tok Wang Ling, Liang Xu, ...