1784 search results - page 60 / 357 » Formal Models for Embedded System Design |
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper develops a model of an electrical power system, with its inherent embedded communication system, for the purpose of studying the characteristics of power system measure...
ICECCS
2007
IEEE
14 years 1 months ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
CEC
2008
IEEE
14 years 3 months ago
2008
IEEE
— In this paper we evolve the parameters of a proportional, integral, and derivative (PID) controller for an unstable, complex and nonlinear system. The individuals of the applie...
ICSE
2005
IEEE-ACM
14 years 2 months ago
2005
IEEE-ACM
Although attractive, CBD has not been widely adopted in domains of embedded systems. The main reason is inability of these technologies to cope with the important concerns of embe...
IFIP
2007
Springer
14 years 3 months ago
2007
Springer
Many large-scale Internet applications optimize their overlay network to reduce latencies. Embedding coordinate systems like Vivaldi are valuable tools for this new range of applic...