Sciweavers

2771 search results - page 200 / 555
» A General Computational Treatment of the Comparative
Sort
View
ICTAC
2005
Springer
16 years 7 hour ago
The Timer Cascade: Functional Modelling and Real Time Calculi
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
Raymond T. Boute, Andreas Schäfer
MM
2004
ACM
109views Multimedia» more  MM 2004»
15 years 12 months ago
Practical voltage scaling for mobile multimedia devices
This paper presents the design, implementation, and evaluation of a practical voltage scaling (PDVS) algorithm for mobile devices primarily running multimedia applications. PDVS s...
Wanghong Yuan, Klara Nahrstedt
IDEAL
2004
Springer
15 years 12 months ago
Kernel Density Construction Using Orthogonal Forward Regression
Abstract— The paper presents an efficient construction algorithm for obtaining sparse kernel density estimates based on a regression approach that directly optimizes model gener...
Sheng Chen, Xia Hong, Chris J. Harris
MMB
2004
Springer
175views Communications» more  MMB 2004»
15 years 12 months ago
Sensitivity Analysis for MAP/MAP/1 Queues
A sensitivity analysis of a single-server, infinite-buffer queue with correlated arrivals and correlated service times is performed. We study and compare the isolated impact of (...
Armin Heindl
ICSM
2002
IEEE
15 years 11 months ago
Two Controlled Experiments Concerning the Usefulness of Assertions as a Means for Programming
Assertions, or more generally “Programming by contract”, have gained widespread acceptance in the computer science community as a means for correct program development. Howeve...
Matthias M. Müller, Rainer Typke, Oliver Hagn...