Attended a workshop yesterday on Composition and Evolution of Model Transformations at King's College, London organized by Kevin Lano and Steffen Zschaler. The presentations covered a wide range of topics including: composition of bidirectional model transformations; traceability issues in the composition of input-destructive model transformations; transformation reuse; composing ATL transformations; verification logics for transformations; visualization of transformation traces; the use of Java agents for model transformations; specifying transformations for model slicing; composition of UML-RSDS transformations. My presentation (and associated paper) was on model slicing:
Checking whether an ARM NEON register is zero
-
Your phone probably runs on 64-bit ARM processors. These processors are
ubiquitous: they power the Nintendo Switch, they power cloud servers at
both Amazon...
2 days ago
Posts
No comments:
Post a Comment