799 search results - page 4 / 160 » Generating Reliable Code from Hybrid-Systems Models |
ASWEC
2005
IEEE
14 years 2 months ago
2005
IEEE
CORR
2011
Springer
13 years 3 months ago
2011
Springer
Abstract—A secret-key generation scheme based on a layered broadcasting strategy is introduced for slow-fading channels. In the model considered, Alice wants to share a key with ...
MOMPES
2009
IEEE
14 years 3 months ago
2009
IEEE
Hard real-time embedded distributed systems pose huge demands in their implementation which must contain as few faults as possible. Over the past years, model-driven development a...
LCTRTS
2007
Springer
14 years 2 months ago
2007
Springer
This paper presents a tool for automatic synthesis of RTL interfaces for heterogeneous MPSoC from transaction level models (TLMs). The tool captures the communication parameters i...
COMPSAC
2008
IEEE
13 years 8 months ago
2008
IEEE
Model-driven engineering proposes to develop software systems by first creating an executable model of the system design and then transforming this model into an implementation. T...