3387 search results - page 393 / 678 » Automating the Metamodeling Process |
195
click to vote
HICSS
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
177
click to vote
LICS
2007
IEEE
16 years 27 days ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
180
click to vote
RTCSA
2007
IEEE
16 years 27 days ago
2007
IEEE
In this paper we explore the possibility of using commodity graphics processing units (GPUs) to speedup standard schedulability analysis algorithms. Our long-term goal is to explo...
179
click to vote
SCAM
2007
IEEE
16 years 27 days ago
2007
IEEE
This paper presents an implementation of the “form template method” refactoring. This transformation has not been automated yet, but has many similarities with other transform...
177
click to vote
SIES
2007
IEEE
16 years 27 days ago
2007
IEEE
— High level synthesis is one of the next major steps to improve the hw/sw co-design process. The advantages of high nthesis are two-fold. At first the level of abstraction is r...