Sciweavers

42507 search results - page 319 / 8502
» On the analysis of
Sort
View
CC
2004
Springer
110views System Software» more  CC 2004»
16 years 8 days ago
The Limits of Alias Analysis for Scalar Optimizations
In theory, increasing alias analysis precision should improve compiler optimizations on C programs. This paper compares alias analysis algorithms on scalar optimizations, including...
Rezaul Alam Chowdhury, Peter Djeu, Brendon Cahoon,...
ER
2004
Springer
167views Database» more  ER 2004»
16 years 8 days ago
A CASE Tool for Geographic Database Design Supporting Analysis Patterns
: This paper describes the development of an open source CASE tool, the ArgoCASEGEO, and its modular architecture. The ArgoCASEGEO allows the geographic database modelling based on...
Jugurta Lisboa Filho, Victor de Freitas Sodr&eacut...
SAS
2004
Springer
136views Formal Methods» more  SAS 2004»
16 years 7 days ago
Constraint-Based Linear-Relations Analysis
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
DATE
2003
IEEE
116views Hardware» more  DATE 2003»
16 years 5 days ago
Statistical Timing Analysis Using Bounds
The growing impact of within-die process variation has created the need for statistical timing analysis, where gate delays are modeled as random variables. Statistical timing anal...
Aseem Agarwal, David Blaauw, Vladimir Zolotov, Sar...
ICDAR
2003
IEEE
16 years 5 days ago
Graph Grammar Based Analysis System of Complex Table Form Document
Structure analysis of table form document is important because printed documents and also electronical documents only provide geometrical layout and lexical information explicitly...
Akira Amano, Naoki Asada