Sciweavers

425 search results - page 33 / 85
» Requirements, specifications, and minimal refinement
Sort
View
DAC
2003
ACM
14 years 8 months ago
Instruction encoding synthesis for architecture exploration using hierarchical processor models
This paper presents a novel instruction encoding generation technique for use in architecture exploration for application specific processors. The underlying exploration methodolo...
Achim Nohl, Volker Greive, Gunnar Braun, Andreas H...
EDBTW
2010
Springer
13 years 11 months ago
Flexible Dataspace Management Through Model Management
The vision of dataspaces has been articulated as providing various of the benefits of classical data integration but with reduced up-front costs, which, combined with opportunitie...
Cornelia Hedeler, Khalid Belhajjame, Lu Mao, Norma...
MODELS
2010
Springer
13 years 5 months ago
transML: A Family of Languages to Model Model Transformations
Model transformation is one of the pillars of Model-Driven Engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity an...
Esther Guerra, Juan de Lara, Dimitrios S. Kolovos,...
SDM
2010
SIAM
128views Data Mining» more  SDM 2010»
13 years 9 months ago
Publishing Skewed Sensitive Microdata
A highly skewed microdata contains some sensitive attribute values that occur far more frequently than others. Such data violates the "eligibility condition" assumed by ...
Yabo Xu, Ke Wang, Ada Wai-Chee Fu, Raymond Chi-Win...
ICIP
2006
IEEE
14 years 9 months ago
Active Contour Segmentation with a Parametric Shape Prior: Link with the Shape Gradient
Active contours are adapted to image segmentation by energy minimization. The energies often exhibit local minima, requiring regularization. Such an a priori can be expressed as a...
Eric Debreuve, Michel Barlaud, Jean-Paul Marmorat,...