MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Analysis of Pointer "Rotation"." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

78,408 documents found, showing 1 through 10. Next 10 →

ATOM

Experiments with Combined Analysis for Pointer Aliasing
by Sean Zhang, Barbara G. Ryder, William A. Landi — 1998 — In Proceedings of the ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
…Experiments with Combined Analysis for Pointer Aliasing Sean Zhang Barbara G. Ryder Department…
Cited by 19 (5 self) – Add To MetaCart

Automatic Analysis of Pointer Aliasing for Untyped Programs
by A. Venet — 1999 — Science of Computer Programming
…Automatic Analysis of Pointer Aliasing for Untyped Programs ? A. Venet 1 LIX, ' Ecole…
Cited by 11 (4 self) – Add To MetaCart

A Logic for Information Flow Analysis of Pointer Programs
by Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee, Torben Amtoft Sruthi B, Hakavi Anindya Banerjee — 2005
…Abstract A Logic for Information Flow Analysis of Pointer Programs Torben Amtoft Sruthi Bandhakavi…
Cited by 3 (0 self) – Add To MetaCart

Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions
by Radu Rugina, Martin Rinard — 2000 — PLDI 2000
…Abstract Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions…
Cited by 85 (13 self) – Add To MetaCart

Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting
by Alain Deutsch — 1994
…Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting Alain Deutsch INRIA Rocquencourt…
Cited by 189 (0 self) – Add To MetaCart

A Schema for Interprocedural Modification Side-Effect Analysis With Pointer Aliasing
by Barbara G. Ryder, William A. Landi, Philip A. Stocks, Sean Zhang, Rita Altucher — 2001 — In Proceedings of the SIGPLAN '93 Conference on Programming Language Design and Implementation
…A Schema for Interprocedural Modification Side-E#ect Analysis With Pointer Aliasing # Barbara G…
Cited by 112 (13 self) – Add To MetaCart

Semantic analysis of pointer aliasing, allocation and disposal in hoare logic
by Cristiano Calcagno — 2000 — In Proc. 2nd International Conference on Principles and Practice of Declarative Programming
…Semantic Analysis of Pointer Aliasing, Allocation and Disposal in Hoare Logic Cristiano Calcagno…
Cited by 18 (6 self) – Add To MetaCart

A Mathematical Cache Miss Analysis for Pointer Data Structures
by Hongli Zhang, Margaret Martonosi — 2001 — SIAM Conference on Parallel Processing for Scientific Computing
…A Mathematical Cache Miss Analysis for Pointer Data Structures Hongli Zhang and Margaret Martonosi…
Cited by 2 (0 self) – Add To MetaCart

Solar rotation
by P. Garaud, T. Rogers
…Solar rotation P. Garaud ∗ and T. Rogers † ∗ Department of Applied Mathematics and Statistics…
Add To MetaCart

Rotation Patterns In The
by Large-Scale Solar Corona, Mark Alan Weber, Mark Alan Weber, Dana W. Longcope, John C. Hermanson, Bruce R. Mcleod, Ph. D, Ph. D, Ph. D — 1999
… 2.1 SXR coronal synodic rotation periods : spectral analysis. . . . . . . . 19 2.2 Curve fits…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB