2374 search results - page 238 / 475 » Automatic Generation of Model Translations |
156
click to vote
CAE
2007
15 years 9 months ago
2007
This paper presents a model of cloth dyeing using the characteristics of the thread and weave pattern. The proposed dyeing model is based on Fick's second law that defines th...
182
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
177
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
145
click to vote
WSC
2001
15 years 8 months ago
2001
The paper presents a database-based method to reduce the development time and project lead-time for large discreteevent simulation models of entire factories. The database used to...
164
click to vote
SERP
2003
15 years 8 months ago
2003
Feature modeling is commonly used to capture the commonalities and variabilities of systems in a domain during Domain Analysis. The output of feature modeling will be some reusabl...