36320 search results - page 210 / 7264 » From Code to Models |
180
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
We have been investigating ways in which the performance of model elimination based systems can be improved and in this paper we present some of our results. Firstly, we have inve...
151
click to vote
MODELLIERUNG
2008
15 years 8 months ago
2008
Abstract: Model transformation is not only a crucial but also one of the most complicated aspects of model-driven software development (MDSD). An adequate transformation language i...
181
click to vote
MEMOCODE
2003
IEEE
15 years 11 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
171
click to vote
WIOPT
2006
IEEE
16 years 15 days ago
2006
IEEE
— This paper presents the first analytical model for ad hoc networks equipped with multiple-input multiple-output (MIMO) radios using space-time coding (STC) that considers the ...
196
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
Motion information scalability is an important requirement for a fully scalable video codec, especially in low bit rate or small resolution decoding scenarios. So far, several lay...