399 search results - page 67 / 80 » Verification of System Level Model Transformations |
123
click to vote
ISSS
2002
IEEE
15 years 7 months ago
2002
IEEE
Currently, since many SoCs include heterogeneous components such as CPUs, DSPs, ASICs, memories, buses, etc., system integration becomes a major step in the design flow. To enable...
125
click to vote
EMSOFT
2010
Springer
15 years 14 days ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
132
Voted
ECRTS
2008
IEEE
15 years 9 months ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...
116
click to vote
ICSOFT
2007
15 years 3 months ago
2007
: Architecture Description Languages (ADLs) provide an abstract representation of software systems. Achieving a concrete mapping of such representation into the implementation is o...
141
click to vote
SIGSOFT
2001
ACM
16 years 3 months ago
2001
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...