In the Japan/East Sea, energetic high-frequency large-scale barotropic motions are shown to lead to large aliasing errors in satellite altimetry observations. The combined aliasing from several neighboring and crossing tracks produces artificial mesoscale signals in altimeter-mapped products, significantly changing the map interpretation. The alias can be well suppressed by subtracting the larg...

The fast generalized Fourier transform algorithm is extended to twodimensional data cases. The algorithm provides a fast and nonredundant alternative for the simultaneous time-frequency and spacewavenumber analysis of the data with time-space dependencies. The transform decomposes the data based on the local slope information, and therefore making it possible to extract weight function based on...

A program analysis may compute spurious information for a program with pointer variables, when the analysis uses alias information provided by efficient flow-insensitive alias analysis algorithms, because the program analysis cannot distinguish the alias relations that hold in a procedure when the procedure is invoked at a specific callsite. This paper presents a technique that determines wheth...

Alias analysis, which determines whether two expressions in a program may reference to the same object, has many potential applications in program construction and verification. We have developed a theory for alias analysis, the “alias calculus”, implemented its application to an object-oriented language, and integrated the result into a modern IDE. The calculus has a higher level of precision ...

This paper presents the Abductive LogIc Agent System (ALIAS, for short), a multi-agent architecture based on cooperating intelligent logic agents. Agents in ALIAS are grouped into bunches; each bunch represents an agora where agents together discuss about common arguments. ALIAS agents can ramble from bunch to bunch at runtime, thus collecting information (i.e. agent's experience) derived from ...

Alias analysis has been an interesting research topic in verification and optimization of programs. The undecidability of determining whether two expressions in a program may reference to the same object is the main source of the challenges raised in alias analysis. In this paper we propose an extension of a previously introduced alias calculus based on program expressions, to the setting of un...

Two issues concerning alias-free, parallel, quadrature mirror filter (QMF) banks are addressed in this correspondence. First, a property concerning alias-free analysis/synthesis systems is established; second, a scheme is proposed, by which a synthesis bank can be modified in order to take care of aliasing errors caused by linear channel-distortion in a simple manner. Applications of the stated...

Members of the F-box protein (Fbp) family are characterized by an approximately 40 amino acid F-box motif. SCF complexes (formed by Skp1, cullin, and one of many Fbps) act as protein-ubiquitin ligases that control the G(1)/S transition of the eukaryotic cell cycle. The substrate specificity of SCF complexes is determined by the presence of different Fbp subunits that recruit specific substrates...

This paper addresses the following question: Do scalable control-flow-insensitive pointer analyses provide the level of precision required to make them useful in compiler optimizations? We first describe alias frequency, a metric that measures the ability of a pointer analysis to determine that pairs of memory accesses in C programs cannot be aliases. We believe that this kind of information is...