1338 search results - page 87 / 268 » Consistent Code Generation from UML Models |
104
Voted
MMM
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents a rate control algorithm for the dominant discrete cosine transform (DCT) -based video coding. It is developed based on a more accurate rate-distortion (RD) mo...
129
Voted
FCCM
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper, we investigate a combination of two techniques — instruction coding and instruction re-ordering — for optimizing energy in embedded processor control. We presen...
145
Voted
RSP
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
133
Voted
ACMSE
2004
ACM
15 years 8 months ago
2004
ACM
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...
138
Voted
UML
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...