1178 search results - page 97 / 236 » A Methodological Approach to Developing Model Transformation... |
121
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Due to computational intractability, large scale coordination algorithms are necessarily heuristic and hence require tuning for particular environments. In domains where character...
106
Voted
ASPDAC
2008
ACM
15 years 2 months ago
2008
ACM
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...
122
Voted
DAC
2007
ACM
15 years 5 months ago
2007
ACM
RLC circuits have been shown to be better formulated as second-order systems instead of first-order systems. The corresponding model order reduction techniques for secondorder sys...
ER
2004
Springer
15 years 7 months ago
2004
Springer
There exist several recent approaches that leverages the use of model transformations during software development. The existence erent kinds of models, at different levels of abst...
139
Voted
ICFEM
2010
Springer
15 years 7 days ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...