3456 search results - page 76 / 692 » Algorithms for Interface Synthesis |
103
click to vote
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
109
click to vote
WACV
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper a range synthesis algorithm is proposed as an initial solution to the problem of 3D environment modeling from sparse data. We develop a statistical learning method f...
ICCAD
1992
IEEE
15 years 5 months ago
1992
IEEE
This paper presents a comprehensive timing model for behavioral-level specifications and algorithms for timing analysis in high-level synthesis. It is based on a timing network wh...
101
click to vote
ASPDAC
2005
ACM
15 years 3 months ago
2005
ACM
- We present fast algorithms to synthesize exact minimal reversible circuits for various types of gates and costs. By reducing reversible logic synthesis problems to group theory p...
145
click to vote
AEI
1999
15 years 1 months ago
1999
Design synthesis represents a highly complex task in the field of industrial design. The main difficulty in automating it is the definition of the design and performance spaces, i...