8083 search results - page 39 / 1617 » A Formalization of Software Architecture |
134
Voted
EMSOFT
2010
Springer
15 years 1 months 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...
111
click to vote
FSTTCS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In [12] we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the ...
67
Voted
DAC
1997
ACM
15 years 7 months ago
1997
ACM
102
click to vote
FMCO
2008
Springer
15 years 5 months ago
2008
Springer
Models are gaining importance in software development, for instance in the MDD field, as well as in other disciplines such as biology and physics. Hence, tool support is needed to ...
141
Voted
RTAS
2009
IEEE
15 years 10 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...