Sciweavers

4272 search results - page 497 / 855
» A Case for Automatic System Evaluation
Sort
View
TKDE
2011
177views more  TKDE 2011»
15 years 1 months ago
Load Shedding in Mobile Systems with MobiQual
— In location-based, mobile continual query (CQ) systems, two key measures of quality of service (QoS) are: freshness and accuracy. To achieve freshness, the CQ server must perfo...
Bugra Gedik, Kun-Lung Wu, Ling Liu, Philip S. Yu
PPOPP
2005
ACM
16 years 12 days ago
Exposing disk layout to compiler for reducing energy consumption of parallel disk based systems
Disk subsystem is known to be a major contributor to overall power consumption of high-end parallel systems. Past research proposed several architectural level techniques to reduc...
Seung Woo Son, Guangyu Chen, Mahmut T. Kandemir, A...
JCS
2008
119views more  JCS 2008»
15 years 6 months ago
Synthesising verified access control systems through model checking
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
BMCBI
2005
120views more  BMCBI 2005»
15 years 6 months ago
Robust detection of periodic time series measured from biological systems
Background: Periodic phenomena are widespread in biology. The problem of finding periodicity in biological time series can be viewed as a multiple hypothesis testing of the spectr...
Miika Ahdesmäki, Harri Lähdesmäki, ...
ICMCS
2010
IEEE
181views Multimedia» more  ICMCS 2010»
15 years 5 months ago
LDPC FEC code extension for unequal error protection in 2nd generation DVB systems
One of the envisioned advantages of scalable video coding is its inherent suitability for achieving unequal error protection (UEP). UEP can be effectively used for graceful qualit...
Lukasz Kondrad, Imed Bouazizi, Moncef Gabbouj