Sciweavers

29046 search results - page 5562 / 5810
» Computable Models
Sort
View
EMSOFT
2007
Springer
16 years 24 days ago
Methods for multi-dimensional robustness optimization in complex embedded systems
Design space exploration of embedded systems typically focuses on classical design goals such as cost, timing, buffer sizes, and power consumption. Robustness criteria, i.e. sensi...
Arne Hamann, Razvan Racu, Rolf Ernst
ESA
2007
Springer
176views Algorithms» more  ESA 2007»
16 years 24 days ago
Arrangements in Geometry: Recent Advances and Challenges
We review recent progress in the study of arrangements in computational and combinatorial geometry, and discuss several open problems and areas for further research. In this talk I...
Micha Sharir
ESTIMEDIA
2007
Springer
16 years 24 days ago
Leveraging Predicated Execution for Multimedia Processing
—Modern compression standards such as H.264, DivX, or VC-1 provide astonishing quality at the costs of steadily increasing processing requirements. Therefore, efficient solution...
Dietmar Ebner, Florian Brandner, Andreas Krall
GI
2007
Springer
16 years 24 days ago
Modellierung selbststeuernder Servicenetze aus Netzplanungsdaten
Abstract: Es wird die Erweiterung von logistischen Servicenetzen um ein selbststeuerendes Verfahren zur Kapazit¨ats- und Robustheitssteigerung beschrieben. Dazu werden die zugeh¨...
Sebastian Vastag
ICS
2007
Tsinghua U.
16 years 24 days ago
Representation-transparent matrix algorithms with scalable performance
Positive results from new object-oriented tools for scientific programming are reported. Using template classes, abstractions of matrix representations are available that subsume...
Peter Gottschling, David S. Wise, Michael D. Adams
« Prev « First page 5562 / 5810 Last » Next »