617 search results - page 24 / 124 » On the design of hybrid peer-to-peer systems |
HYBRID
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. An important class of soft real-time applications require dynamic allocation of computational resources in order to comply with their quality of service (QoS) requirement...
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
TSMC
2008
13 years 8 months ago
2008
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
— For many applications, the control of a complex nonlinear system can be made easier by modeling the system as a collection of simplified hybrid modes, each representing a part...
ISLPED
2010
ACM
13 years 9 months ago
2010
ACM
Electrical energy is a high quality form of energy that can be easily converted to other forms of energy with high efficiency and, even more importantly, it can be used to control...