Sciweavers

6155 search results - page 307 / 1231
» A language for multiple models of computation
Sort
View
ISORC
2000
IEEE
15 years 11 months ago
Structural and Behavioral Decomposition in Object Oriented Models
The decomposition of large systems into parts is a general principle of software design. Even more, in the scope of distributed systems a partition of the whole system into distri...
Joachim Fischer, Eckhardt Holz, Birger Møll...
ERSHOV
2006
Springer
15 years 8 months ago
On the Usage of Concrete Syntax in Model Transformation Rules
Graph transformations are one of the best known approaches for defining transformations in model-based software development. They are defined over the abstract syntax of source and...
Thomas Baar, Jon Whittle
DAC
2010
ACM
15 years 7 months ago
Toward efficient large-scale performance modeling of integrated circuits via multi-mode/multi-corner sparse regression
In this paper, we propose a novel multi-mode/multi-corner sparse regression (MSR) algorithm to build large-scale performance models of integrated circuits at multiple working mode...
Wangyang Zhang, Tsung-Hao Chen, Ming Yuan Ting, Xi...
AFL
2011
98views more  AFL 2011»
14 years 6 months ago
Accepting Networks of Evolutionary Processors with Subregular Filters
In this paper, we propose a new variant of Accepting Networks of Evolutionary Processors, in which the operations can be applied only arbitrarily to the words, while the filters ...
Florin Manea, Bianca Truthe
CP
2005
Springer
16 years 7 days ago
Towards the Systematic Generation of Channelling Constraints
Abstract. The automatic modelling tool Conjure generates CSP models from problem specifications. The generated models may contain multiple alternative (redundant) representations ...
Bernadette Martínez Hernández, Alan ...