2055 search results - page 288 / 411 » Generic Model Refactorings |
105
click to vote
JISBD
2003
15 years 3 months ago
2003
Separation of concerns is a fundamental software engineering principle that proposes the encapsulation of each matter of interest in a separate module. Software engineering develop...
115
Voted
EUROPAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Algorithmic Skeletons offer high-level abstractions for parallel programming based on recurrent parallelism patterns. Patterns can be combined and nested into more comple...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
131
Voted
CORR
2006
Springer
15 years 1 months ago
2006
Springer
The design of complex Systems-on-Chips implies to take into account communication and memory access constraints for the integration of dedicated hardware accelerator. In this paper...
107
Voted
ENTCS
2006
15 years 1 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...