Sciweavers

3367 search results - page 239 / 674
» Incremental assignment problem
Sort
View
ISLPED
2010
ACM
158views Hardware» more  ISLPED 2010»
15 years 4 months ago
Temperature- and energy-constrained scheduling in multitasking systems: a model checking approach
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...
Weixun Wang, Xiaoke Qin, Prabhat Mishra
98
Voted
IDEAS
2005
IEEE
80views Database» more  IDEAS 2005»
15 years 9 months ago
Dynamic Histograms for Non-Stationary Updates
In this paper, we address the problem of incrementally maintaining a histogram in response to a non-stationary update process. In relational database systems, this problem can occ...
Elizabeth Lam, Kenneth Salem
ECOOP
2005
Springer
15 years 9 months ago
Evaluating Support for Features in Advanced Modularization Technologies
Abstract. A software product-line is a family of related programs. Each program is defined by a unique combination of features, where a feature is an increment in program functiona...
Roberto E. Lopez-Herrejon, Don S. Batory, William ...
148
Voted
SIGMOD
2000
ACM
143views Database» more  SIGMOD 2000»
15 years 8 months ago
Closest Pair Queries in Spatial Databases
This paper addresses the problem of finding the K closest pairs between two spatial data sets, where each set is stored in a structure belonging in the R-tree family. Five diffe...
Antonio Corral, Yannis Manolopoulos, Yannis Theodo...
140
Voted
TAPSOFT
1997
Springer
15 years 8 months ago
Inclusion Constraints over Non-empty Sets of Trees
Abstract. We present a new constraint system called INES. Its constraints are conjunctions of inclusions t1 t2 between rst-order terms (without set operators) which are interpreted...
Martin Müller, Joachim Niehren, Andreas Podel...