882 search results - page 19 / 177 » Improving the Efficiency of Workflow Analysis |
EURODAC
1995
IEEE
15 years 1 months ago
1995
IEEE
With VHDL models increasing their size, it becomes more important to assure the quality of these descriptions in order to improve simulation performances, to make project maintain...
ICDAR
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper presents part of a new DIA performance analysis framework aimed at Layout Analysis algorithm developers. A new region-representation scheme (an interval-based descripti...
ASPDAC
2006
ACM
15 years 1 months ago
2006
ACM
- We propose a framework to unify the process of false paths and multi-cycle paths in static timing analysis (STA). We use subgraphs attached with timing constraints to represent f...
APLAS
2008
ACM
14 years 11 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
In this paper we present the Infocious Web search engine [23]. Our goal in creating Infocious is to improve the way people find information on the Web by resolving ambiguities pre...