Sciweavers

2752 search results - page 226 / 551
» Application performance in the QLinux multimedia operating s...
Sort
View
SAMOS
2007
Springer
16 years 20 days ago
Online Prediction of Applications Cache Utility
— General purpose architectures are designed to offer average high performance regardless of the particular application that is being run. Performance and power inefficiencies a...
Miquel Moretó, Francisco J. Cazorla, Alex R...
FM
2006
Springer
126views Formal Methods» more  FM 2006»
15 years 10 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
CACM
2000
186views more  CACM 2000»
15 years 6 months ago
Automatic personalization based on Web usage mining
One important class of Data Mining applications is the so-called "Web Mining" that analyzes and extracts important and non-trivial knowledge from Web related data. Typic...
Bamshad Mobasher, Robert Cooley, Jaideep Srivastav...
TC
2008
15 years 6 months ago
An Availability-Aware Task Scheduling Strategy for Heterogeneous Systems
High availability is a key requirement in the design and development of heterogeneous systems, where processors operate at different speeds and are not continuously available for ...
Xiao Qin, Tao Xie 0004
CCS
2010
ACM
15 years 6 months ago
On verifying stateful dataflow processing services in large-scale cloud systems
Cloud computing needs to provide integrity assurance in order to support security sensitive application services such as critical dataflow processing. In this paper, we present a ...
Juan Du, Xiaohui Gu, Ting Yu