Sciweavers

1850 search results - page 240 / 370
» Power and performance optimization at the system level
Sort
View
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
16 years 7 days ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...
HCI
2007
15 years 7 months ago
A System for Adaptive Multimodal Interaction in Crisis Environments
In the recent years multimodal interfaces have acquired an important role in human computer interaction applications. Subsequently these interfaces become more and more human-orien...
Dragos Datcu, Zhenke Yang, Léon J. M. Rothk...
WWW
2011
ACM
15 years 1 months ago
Survivability-oriented self-tuning of web systems
Running in a highly uncertain and changing environment, Web systems cannot always provide full set of services with optimal quality, especially when the workload is high or failur...
Bihuan Chen, Xin Peng, Yijun Yu, Wenyun Zhao
ICASSP
2007
IEEE
15 years 7 months ago
A Flexible Video Transmission System Based on JPEG 2000 Conditional Replenishment with Multiple References
The image compression standard JPEG 2000 offers a high compression ef ciency as well as a great exibility in the way it accesses the content in terms of spatial location, quality ...
François-Olivier Devaux, Jérôm...
ASE
2008
102views more  ASE 2008»
15 years 6 months ago
Model driven code checking
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce