Sciweavers

207 search results - page 14 / 42
» Smoothed analysis of integer programming
Sort
View
87
Voted
RTSS
1998
IEEE
15 years 1 months ago
Symbolic Schedulability Analysis of Real-Time Systems
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....
Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Youn...
COCO
2006
Springer
113views Algorithms» more  COCO 2006»
15 years 1 months ago
On the Complexity of Numerical Analysis
We study two quite different approaches to understanding the complexity of fundamental problems in numerical analysis. We show that both hinge on the question of understanding the...
Eric Allender, Peter Bürgisser, Johan Kjeldga...
DAC
2003
ACM
15 years 10 months ago
Accurate timing analysis by modeling caches, speculation and their interaction
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
Xianfeng Li, Tulika Mitra, Abhik Roychoudhury
ICS
1999
Tsinghua U.
15 years 1 months ago
Improving the performance of speculatively parallel applications on the Hydra CMP
Hydra is a chip multiprocessor (CMP) with integrated support for thread-level speculation. Thread-level speculation provides a way to parallelize sequential programs without the n...
Kunle Olukotun, Lance Hammond, Mark Willey
104
Voted
EUROGP
2007
Springer
144views Optimization» more  EUROGP 2007»
15 years 3 months ago
Fitness Landscape Analysis and Image Filter Evolution Using Functional-Level CGP
This work analyzes fitness landscapes for the image filter design problem approached using functional-level Cartesian Genetic Programming. Smoothness and ruggedness of fitness l...
Karel Slaný, Lukás Sekanina