Sciweavers

4520 search results - page 317 / 904
» Algebraic Techniques for Timed Systems
Sort
View
VTC
2006
IEEE
102views Communications» more  VTC 2006»
16 years 1 months ago
Backward Compatible Modulation Schemes for Improving Spectrum Efficiency in DAB Systems
In this study, a new physical layer transmission technique is proposed with the spectrum efficiency up to two times of that of the Eureka-147 DAB system. The proposed technique com...
Chih-Yang Kao, Ming-Chien Tseng, Ching-Yung Chen, ...
246
Voted
STAIRS
2008
169views Education» more  STAIRS 2008»
15 years 9 months ago
Probabilistic Association Rules for Item-Based Recommender Systems
Since the beginning of the 1990's, the Internet has constantly grown, proposing more and more services and sources of information. The challenge is no longer to provide users ...
Sylvain Castagnos, Armelle Brun, Anne Boyer
TC
2010
15 years 2 months ago
Generating Reliable Code from Hybrid-Systems Models
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
Madhukar Anand, Sebastian Fischmeister, Yerang Hur...
ICCAD
2004
IEEE
141views Hardware» more  ICCAD 2004»
16 years 4 months ago
The effects of energy management on reliability in real-time embedded systems
Abstract—The slack time in real-time systems can be used by recovery schemes to increase system reliability as well as by frequency and voltage scaling techniques to save energy....
Dakai Zhu, Rami G. Melhem, Daniel Mossé
ENGL
2007
141views more  ENGL 2007»
15 years 7 months ago
A Novel Multi-Agent Controller for Dynamic Systems based on Supervisory Loop Approach
— This paper presents a new intelligent agent supervisory loop based approach for dynamic system control. The scheme consists of three software agents that work in an autonomous ...
Sukumar Kamalasadan