Sciweavers

37 search results - page 5 / 8
» Decision Reuse in an Interactive Model Transformation
Sort
View
SG
2005
Springer
14 years 29 days ago
Multi-level Interaction in Parametric Design
Parametric design systems model a design as a constrained collection of schemata. Designers work in such systems at two levels: definition of schemata and constraints; and search w...
Robert Aish, Robert Woodbury
ECMDAFA
2006
Springer
137views Hardware» more  ECMDAFA 2006»
13 years 11 months ago
Harvesting Software Systems for MDA-Based Reengineering
Abstract. In this paper we report on a feasibility study in reengineering legacy systems towards a model-driven architecture (MDA). Steps in our approach consist of (1) parsing the...
Thijs Reus, Hans Geers, Arie van Deursen
IEEEPACT
2009
IEEE
14 years 2 months ago
Polyhedral-Model Guided Loop-Nest Auto-Vectorization
Abstract—Optimizing compilers apply numerous interdependent optimizations, leading to the notoriously difficult phase-ordering problem — that of deciding which transformations...
Konrad Trifunovic, Dorit Nuzman, Albert Cohen, Aya...
JUCS
2010
118views more  JUCS 2010»
13 years 2 months ago
Merging Strategies for Authoring QoE-based Adaptive Hypermedia
This paper describes recent work on strategy merger development in the authoring process of adaptive hypermedia. The goal of a merging strategy is to break a complex adaptation dec...
Joshua Scotton, Sabine Moebs, Jennifer McManis, Al...
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
14 years 1 months ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong