3429 search results - page 397 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
127
click to vote
JUCS
2006
15 years 4 months ago
2006
: Design patterns have been developed to cope with the vast space of possible different designs within object-oriented systems. One of those classic patterns is the Visitor Pattern...
135
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...
135
click to vote
FROCOS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We propose a new class of tree automata, called tree automata with normalization (TAN). This framework extends equational tree automata, and improved the results of them:...
141
Voted
IJHPCA
2007
15 years 4 months ago
2007
We describe the rationale behind the design of key features of Titanium—an explicitly parallel dialect of JavaTM for high-performance scientific programming—and our experienc...
117
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we present a SoC design methodology joining the capabilities of UML and SystemC to operate at systemlevel. We present a UML 2.0 profile of the SystemC language expl...