1329 search results - page 142 / 266 » Constraint-based model synthesis |
126
Voted
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
We propose a new model for image denoising which is a hybrid of the total variation model and the Laplacian mean-curvature model. An efficient numerical procedure to compute the h...
173
Voted
HCI
2009
15 years 2 months ago
2009
As the demand for domain- and formalism-specific visual modelling environments grows, the need to rapidly construct complex User Interfaces (UIs) increases. In this paper, we propo...
120
click to vote
SAMOS
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents a novel micro-architecture for high-performance and low-power DSPs. The underlying Synchronous Transfer Architecture (STA) fills the gap between SIMD-DSPs and ...
126
click to vote
CODES
1999
IEEE
15 years 9 months ago
1999
IEEE
We present an approach to process scheduling for synthesis of safety-critical distributed embedded systems. Our system model captures both the flow of data and that of control. Th...
100
Voted
IEAAIE
1999
Springer
15 years 8 months ago
1999
Springer
This paper introduces a new approach in the debugging of hardware designs. The design is given as a VHDL program and converted in a component connection model. The conversion is si...