Sciweavers

10790 search results - page 119 / 2158
» Using feature models to automate model transformations
Sort
View
ASPDAC
2005
ACM
125views Hardware» more  ASPDAC 2005»
15 years 10 months ago
A formalism for functionality preserving system level transformations
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...
Samar Abdi, Daniel Gajski
DAC
2003
ACM
16 years 5 months ago
Accurate timing analysis by modeling caches, speculation and their interaction
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
Xianfeng Li, Tulika Mitra, Abhik Roychoudhury
CICLING
2010
Springer
15 years 11 months ago
GEMS: Generative Modeling for Evaluation of Summaries
Automated evaluation is crucial in the context of automated text summaries, as is the case with evaluation of any of the language technologies. In this paper we present a Generativ...
Rahul Katragadda
SMI
2006
IEEE
144views Image Analysis» more  SMI 2006»
15 years 10 months ago
Robust Alignment of Multi-view Range Data to CAD Model
Surface matching is a common task in computer graphics and computer vision. In this paper, we introduce a novel algorithm that aligns scanned point-based surfaces to the related 3...
Xinju Li, Igor Guskov, Jacob Barhak
MOMPES
2008
IEEE
15 years 11 months ago
Separation of Distributed Real-Time Embedded Concerns with Theme/UML
Model-driven engineering (MDE) addresses platform complexity issues by abstracting platformindependent models for subsequent transformation to platform-specific models. This faci...
Cormac Driver, Vinny Cahill, Siobhán Clarke