Sciweavers

9490 search results - page 184 / 1898
» Slow Intelligence Systems
Sort
View
TWC
2010
14 years 10 months ago
Multi-hop MIMO relay networks: diversity-multiplexing trade-off analysis
A multi-hop relay network with multiple antenna terminals in a quasi-static slow fading environment is considered. The fundamental diversity-multiplexing gain tradeoff (DMT) is an...
Deniz Gündüz, Mohammad Ali Khojastepour,...
SIES
2007
IEEE
15 years 10 months ago
Process Oriented Power Management
— Though modern operating systems have a capable of controlling the power consumption using the DVFS (Dynamic Voltage and Frequency Scaling) mechanism, it is controlled for some ...
Daisuke Miyakawa, Yutaka Ishikawa
FORMATS
2009
Springer
15 years 7 months ago
Safe Runtime Verification of Real-Time Properties
Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in ...
Christian Colombo, Gordon J. Pace, Gerardo Schneid...
CDC
2010
IEEE
119views Control Systems» more  CDC 2010»
14 years 11 months ago
Motion planning in quantum control via intersection of eigenvalues
In this paper we consider the problem of inducing a transition in a controlled quantum mechanical system whose spectrum loses simplicity for some values of the control. We study th...
Ugo V. Boscain, Francesca C. Chittaro, Paolo Mason...
EMSOFT
2007
Springer
15 years 7 months ago
Verification of device drivers and intelligent controllers: a case study
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
David Monniaux