658 search results - page 74 / 132 » Middleware Techniques and Optimizations for Real-Time, Embed... |
101
click to vote
FORTE
2007
15 years 1 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
131
click to vote
EMSOFT
2010
Springer
14 years 9 months ago
2010
Springer
Many real-time applications are designed to work in different operating modes each characterized by different functionality and resource demands. With each mode change, resource d...
FM
2009
Springer
15 years 6 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
102
click to vote
LCTRTS
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we present a novel system modeling language which targets primarily the development of source-level multiprocessor memory aware optimizations. In contrast to previo...
105
click to vote
RTCSA
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Time synchronization is a key component in numerous wireless sensor network applications. Most of the current software based time synchronization approaches suffer from ...