1231 search results - page 157 / 247 » A Model Transformation Approach for Design Pattern Evolution... |
210
click to vote
VL
2010
IEEE
15 years 2 months ago
2010
IEEE
Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, d...
130
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
DIn this paper 1 , we propose a shape-based variational framework to curve evolution for the segmentation of tongue contours from MRI mid-sagittal images. In particular, we first...
117
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...
152
click to vote
CASES
2010
ACM
15 years 1 months ago
2010
ACM
Approximate arithmetic is a promising, new approach to lowenergy designs while tackling reliability issues. We present a method to optimally distribute a given energy budget among...
159
click to vote
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...