483 search results - page 40 / 97 » Model driven code checking |
WSKS
2009
Springer
14 years 14 days ago
2009
Springer
Model-Driven Development (MDD) has encouraged the use of automated software tools that facilitate the development process from modelling to coding. User Interfaces (UI), as a signi...
ADAEUROPE
2007
Springer
14 years 2 months ago
2007
Springer
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
We study codes on graphs combined with an iterative message passing algorithm for quantization. Specifically, we consider the binary erasure quantization (BEQ) problem which is th...
TCOM
2010
13 years 2 months ago
2010
In order to provide a concise time-varying SISO channel model, the principle of maximum entropy is applied to scattering function derivation. The resulting model is driven by few p...
ASPDAC
2001
ACM
13 years 11 months ago
2001
ACM
ct,. In this paper we study the delay associated with transmission of data through busses. Previous work in this area has presented models for delay assuming a distributed wire mqd...