373 search results - page 21 / 75 » MARTE-based Design of a Multimedia Application and Formal An... |
MM
1997
ACM
14 years 2 months ago
1997
ACM
We present the design and implementation of a new programming language for media-intensive applications called Flavor (Formal Language for Audio-Visual Object Representation). It ...
DOCENG
2011
ACM
12 years 10 months ago
2011
ACM
In this paper, we explore different ways to publish multimedia documents on the web. We propose a solution that takes advantage of the new multimedia features of web standards, n...
ISOLA
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. The complexity of today's embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever poss...
SAFECOMP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
FMCAD
2007
Springer
14 years 2 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...