241 search results - page 3 / 49 » Towards Safe Model Transformation for Constraint-driven Mode... |
110
click to vote
ISQED
2008
IEEE
15 years 6 months ago
2008
IEEE
The effects of random variations during the manufacturing process on devices can be simulated as a variation of transistor parameters. Device degradation, due to temperature or vo...
103
click to vote
ENTCS
2006
15 years 10 days ago
2006
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
143
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
129
click to vote
PLDI
2011
ACM
14 years 3 months ago
2011
ACM
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...
112
click to vote
ECBS
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...