3908 search results - page 209 / 782 » A model for service-oriented communication systems |
261
click to vote
FASE
2004
Springer
15 years 10 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
150
click to vote
RTSS
1998
IEEE
15 years 11 months ago
1998
IEEE
: The Time-Triggered (TT) model of computation is a model for the representation and analysis of the design of large hard real-time systems. Central to this model is the concept of...
197
click to vote
SEUS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...
161
click to vote
VTC
2006
IEEE
16 years 19 days ago
2006
IEEE
— We focus in this paper on the cross-layer modeling of the integration of streaming and elastic flows in the downlink of UMTS/HSDPA systems. Streaming flows are transported ov...
166
click to vote
ASPDAC
2010
ACM
15 years 4 months ago
2010
ACM
- The design of embedded computing systems faces a serious productivity gap due to the increasing complexity of their hardware and software components. One solution to address this...