Sciweavers

1572 search results - page 47 / 315
» Modeling IEEE 802.11 DCF System Dynamics
Sort
View
88
Voted
ACSC
2006
IEEE
15 years 3 months ago
Interaction design for a mobile context-aware system using discrete event modelling
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
Annika Hinze, Petra Malik, Robi Malik
ICAC
2007
IEEE
15 years 4 months ago
Approximation Modeling for the Online Performance Management of Distributed Computing Systems
—A promising method of automating management tasks in computing systems is to formulate them as control or optimization problems in terms of performance metrics. For an online op...
Dara Kusic, Nagarajan Kandasamy, Guofei Jiang
ACSD
2003
IEEE
125views Hardware» more  ACSD 2003»
15 years 3 months ago
Modelling a Secure, Mobile, and Transactional System with CO-OPN
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
Didier Buchs, Stanislav Chachkov, David Hurzeler
HPDC
2008
IEEE
15 years 4 months ago
Harmony: an execution model and runtime for heterogeneous many core systems
The emergence of heterogeneous many core architectures presents a unique opportunity for delivering order of magnitude performance increases to high performance applications by ma...
Gregory F. Diamos, Sudhakar Yalamanchili
CDC
2009
IEEE
141views Control Systems» more  CDC 2009»
14 years 10 months ago
Decentralized receding horizon control for multiple unmanned helicopters considering dynamics model
In this paper, the formation flight of multiple Unmanned Helicopter (UH) systems is researched and a new decentralized receding horizon formation control algorithm is supposed. The...
Yuqing He, Jianda Han