Sciweavers

4688 search results - page 412 / 938
» Dynamics of Control
Sort
View
207
Voted
EMSOFT
2007
Springer
15 years 11 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
255
Voted
JSAC
2011
253views more  JSAC 2011»
15 years 2 months ago
Control Channel Establishment in Cognitive Radio Networks using Channel Hopping
Abstract—In decentralized cognitive radio (CR) networks, enabling the radios to establish a control channel (i.e., “rendezvous” to establish a link) is a challenging problem....
Kaigui Bian, Jung Min Park, Ruiliang Chen
231
Voted
TVLSI
2008
157views more  TVLSI 2008»
15 years 7 months ago
Scalable QoS-Aware Memory Controller for High-Bandwidth Packet Memory
This paper proposes a high-performance scalable quality-of-service (QoS)-aware memory controller for the packet memory where packet data are stored in network routers. A major chal...
Hyuk-Jun Lee, Eui-Young Chung
235
Voted
JNCA
2011
126views more  JNCA 2011»
15 years 2 months ago
Coordinated session-based admission control with statistical learning for multi-tier internet applications
Popular Internet applications deploy a multi-tier architecture, with each tier provisioning a certain functionality to its preceding tier. In this paper, we address the challengin...
Sireesha Muppala, Xiaobo Zhou
199
Voted
ICIP
2006
IEEE
16 years 9 months ago
Video Surveillance using Dynamic Configuration of Mutiple Active Cameras
In this paper, we present a coordinated video surveillance system that can minimize the spatial limitation and can precisely extract the 3D position of objects. To do this, our sy...
Nyoun Kim, Ig-Jae Kim, Hyoung-Gon Kim