36320 search results - page 566 / 7264 » From Code to Models |
176
Voted
DAGSTUHL
2006
15 years 8 months ago
2006
We present a model of causality which is defined by the intersection of two distinct closure systems, I and T . To present empirical evidence to demonstrate that this model has pra...
203
click to vote
WSC
1996
15 years 8 months ago
1996
Much of the research in parallel discrete-event simulation (PDES) has resulted in new experimental simulation languages or toolkits. Meanwhile, the simulation community continues ...
167
click to vote
SERP
2008
15 years 8 months ago
2008
Model-driven development (MDD) is an emerging paradigm and has become state-of-the-art for embedded systems software design. In the overall design process, several steps have to be...
203
click to vote
DCC
2000
IEEE
15 years 11 months ago
2000
IEEE
Multiple description codes are data compression algorithms designed with the goal of minimizing the distortion caused by data loss in packet-based or diversity communications syst...
186
click to vote
EMSOFT
2005
Springer
16 years 18 days ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...