Sciweavers

140 search results - page 27 / 28
» On multiple-voltage high-level synthesis using algorithmic t...
Sort
View
ECMDAFA
2005
Springer
236views Hardware» more  ECMDAFA 2005»
13 years 11 months ago
Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
Sven Burmester, Holger Giese, Wilhelm Schäfer
STTT
2008
90views more  STTT 2008»
13 years 5 months ago
A uniform framework for weighted decision diagrams and its implementation
1 This papers introduces a generic framework for OBDD variants with weighted edges. It covers many boolean and multi-valued OBDD-variants that have been studied in the literature a...
Jörn Ossowski, Christel Baier
DAC
2009
ACM
14 years 6 months ago
Matching-based minimum-cost spare cell selection for design changes
Metal-only ECO realizes the last-minute design changes by revising the photomasks of metal layers only. This task is challenging because the pre-injected spare cells are limited b...
Iris Hui-Ru Jiang, Hua-Yu Chang, Liang-Gi Chang, H...
MIR
2004
ACM
189views Multimedia» more  MIR 2004»
13 years 11 months ago
Repeating pattern discovery and structure analysis from acoustic music data
Music and songs usually have repeating patterns and prominent structure. The automatic extraction of such repeating patterns and structure is useful for further music summarizatio...
Lie Lu, Muyuan Wang, HongJiang Zhang
RE
2004
Springer
13 years 11 months ago
Modeling and Composing Scenario-Based Requirements with Aspects
There has been significant recent interest, within the Aspect-Oriented Software Development (AOSD) community, in representing crosscutting concerns at various stages of the softwa...
João Araújo, Jon Whittle, Dae-Kyoo K...