Sciweavers

1816 search results - page 141 / 364
» A New Approach for Solving the Maximum Clique Problem
Sort
View
ICDE
2008
IEEE
134views Database» more  ICDE 2008»
16 years 7 months ago
Skippy: Enabling Long-Lived Snapshots of the Long-Lived Past
Decreasing disk costs have made it practical to retain longlived snapshots, enabling new applications that analyze past states and infer about future states. Current approaches of...
Ross Shaull, Liuba Shrira, Hao Xu
ICCD
2004
IEEE
103views Hardware» more  ICCD 2004»
16 years 3 months ago
A Two-Layer Bus Routing Algorithm for High-Speed Boards
The increasing clock frequencies in high-end industrial circuits bring new routing challenges that can not be handled by traditional algorithms. An important design automation pro...
Muhammet Mustafa Ozdal, Martin D. F. Wong
CP
2004
Springer
15 years 12 months ago
Streamlined Constraint Reasoning
Abstract. We introduce a new approach for focusing constraint reasoning using so-called streamlining constraints. Such constraints partition the solution space to drive the search ...
Carla P. Gomes, Meinolf Sellmann
COMPGEOM
2006
ACM
16 years 13 days ago
Algorithms for two-box covering
We study the problem of covering a set of points or polyhedra in 3 with two axis-aligned boxes in order to minimize a function of the measures of the two boxes, such as the sum or...
Esther M. Arkin, Gill Barequet, Joseph S. B. Mitch...
RTSS
2006
IEEE
16 years 14 days ago
Generalized Elastic Scheduling
The elastic task model proposed by Buttazzo, et. al. [9] is a powerful model for adapting real-time systems in the presence of uncertainty. This paper generalizes the existing ela...
Thidapat Chantem, Xiaobo Sharon Hu, Michael D. Lem...