4772 search results - page 389 / 955 » An approach to interface synthesis |
198
click to vote
ICCAD
2004
IEEE
16 years 4 months ago
2004
IEEE
—In this paper, we present a new block budgeting algorithm which speeds up timing closure in timing driven hierarchical flows. After a brief description of the addressed flow, ...
206
click to vote
IUI
2004
ACM
16 years 1 months ago
2004
ACM
As computer applications become larger with every new version, there is a growing need to provide some way for users to manage the interface complexity. There are three different ...
206
Voted
WWW
2005
ACM
16 years 8 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
188
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
The aim of reflection synthesis of inserted objects is to generate reflections which would be seen by the same camera capturing the target scene and be reflected by the true refle...
196
click to vote
DAC
2001
ACM
16 years 8 months ago
2001
ACM
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...