767 search results - page 69 / 154 » Model-Based Development of Distributed Embedded Real-Time Sy... |
96
Voted
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
118
click to vote
RTAS
2005
IEEE
15 years 8 months ago
2005
IEEE
The increasing popularity of high-volume performancecritical Internet applications calls for a scalable server design that allows meeting individual response-time guarantees. Cons...
118
click to vote
HOTOS
2009
IEEE
15 years 6 months ago
2009
IEEE
Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this...
132
click to vote
RTCSA
2008
IEEE
15 years 8 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
127
click to vote
RTCSA
2005
IEEE
15 years 8 months ago
2005
IEEE
With the advent of miniaturized sensing technology, it has become possible to envision smart structures containing millions of sensors embedded in concrete for autonomously detect...