4187 search results - page 118 / 838 » A Taxonomy of Model Transformation |
134
click to vote
ICCAD
1992
IEEE
15 years 8 months ago
1992
IEEE
High-level synthesis (HLS) requires more designer interaction to better meet the needs of experienced designers. However, attempts to create a highly interactive synthesis process...
137
click to vote
EMNLP
2008
15 years 5 months ago
2008
String transformation, which maps a source string s into its desirable form t , is related to various applications including stemming, lemmatization, and spelling correction. The ...
95
Voted
ECIS
2001
15 years 5 months ago
2001
Despite their potential to reshape business radically, information systems (IS) and information technology (IT) can be key inhibitors of industry transformation. In the automotive...
134
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
130
Voted
ICECCS
2000
IEEE
15 years 8 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...