1715 search results - page 175 / 343 » Embedded Systems and Real-Time Programming |
229
Voted
RTAS
2011
IEEE
14 years 5 months ago
2011
IEEE
—The WirelessHART standard has been specifically designed for real-time communication between sensor and actuator devices for industrial process monitoring and control. End-toen...
143
click to vote
JIRS
2008
15 years 1 months ago
2008
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
146
click to vote
FMICS
2009
Springer
15 years 5 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
122
click to vote
EDCC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applicat...
121
Voted
ISSS
2002
IEEE
15 years 6 months ago
2002
IEEE
Static timing analysis of embedded software is important for systems with hard real-time constraints. To accurately estimate time bounds, it is essential to model the underlying m...