Sciweavers

247 search results - page 24 / 50
» Optimal Preemptive Scheduling for General Target Functions
Sort
View
127
Voted
CORR
2008
Springer
127views Education» more  CORR 2008»
15 years 3 months ago
MAPEL: Achieving Global Optimality for a Non-convex Wireless Power Control Problem
Achieving weighted throughput maximization (WTM) through power control has been a long standing open problem in interference-limited wireless networks. The complicated coupling bet...
Liping Qian, Ying Jun Zhang, Jianwei Huang
POPL
2010
ACM
16 years 27 days ago
A Verified Compiler for an Impure Functional Language
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
Adam J. Chlipala
123
Voted
CGO
2005
IEEE
15 years 9 months ago
Optimizing Sorting with Genetic Algorithms
The growing complexity of modern processors has made the generation of highly efficient code increasingly difficult. Manual code generation is very time consuming, but it is oft...
Xiaoming Li, María Jesús Garzar&aacu...
131
Voted
VLDB
1998
ACM
127views Database» more  VLDB 1998»
15 years 7 months ago
Algorithms for Mining Association Rules for Binary Segmentations of Huge Categorical Databases
We consider the problem of finding association rules that make nearly optimal binary segmentations of huge categorical databases. The optimality of segmentation is defined by an o...
Yasuhiko Morimoto, Takeshi Fukuda, Hirofumi Matsuz...
129
Voted
HYBRID
2010
Springer
15 years 10 months ago
A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems
One of the oldest problems in the study of dynamical systems is the calculation of an optimal control. Though the determination of a numerical solution for the general nonconvex o...
Humberto González, Ramanarayan Vasudevan, M...