Sciweavers

936 search results - page 119 / 188
» The Synthesis Problem of Netcharts
Sort
View
142
Voted
DAC
2006
ACM
16 years 4 months ago
Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
Xiushan Feng, Alan J. Hu
138
Voted
ICCAD
2002
IEEE
152views Hardware» more  ICCAD 2002»
16 years 10 days ago
Efficient instruction encoding for automatic instruction set design of configurable ASIPs
Application-specific instructions can significantly improve the performance, energy, and code size of configurable processors. A common approach used in the design of such instruc...
Jong-eun Lee, Kiyoung Choi, Nikil Dutt
CDC
2008
IEEE
103views Control Systems» more  CDC 2008»
15 years 10 months ago
Symbolic models for nonlinear control systems affected by disturbances
Abstract— Symbolic models are abstract descriptions of continuous systems in which symbols represent aggregates of continuous states. In the last few years there has been a growi...
Giordano Pola, Paulo Tabuada
81
Voted
ICASSP
2008
IEEE
15 years 10 months ago
Least-squares design of subsampled allpass transformed DFT filter-banks with LTI property
A new design approach for an allpass transformed analysis-synthesis filter-bank (AS FB) with subsampling is proposed, which can be used for adaptive subband processing with non-u...
Heinrich W. Löllmann, Guido Dartmann, Peter V...
131
Voted
ICRA
2008
IEEE
297views Robotics» more  ICRA 2008»
15 years 10 months ago
Fast 3D reconstruction of human shape and motion tracking by parallel fast level set method
— This paper presents a parallel algorithm of the Level Set Method named the Parallel Fast Level Set Method, and its application for real-time 3D reconstruction of human shape an...
Yumi Iwashita, Ryo Kurazume, Kenji Hara, Seiichi U...