Search Sciweavers | Sciweavers

4719 search results - page 11 / 944

» Newtonian program analysis

click to vote

PLDI
2000
ACM

81views Programming Languages» more PLDI 2000»

Scalable context-sensitive flow analysis using instantiation constraints

13 years 12 months ago

Download www.cs.ucla.edu

Manuel Fähndrich, Jakob Rehof, Manuvir Das

claim paper

Read More »

click to vote

PLDI
2000
ACM

136views Programming Languages» more PLDI 2000»

Compiler analysis of irregular memory accesses

13 years 12 months ago

Download polaris.cs.uiuc.edu

ÁÖÖ ÙÐ Ö ÖÖ Ý ×× × Ö ÖÖ Ý ×× × Û Ó× ÖÖ Ý ×Ù ¹ × Ö ÔØ× Ó ÒÓØ Ú ÐÓ× ¹ ÓÖÑ ÜÔÖ ×× ÓÒ× Ò Ø ÖÑ× Ó ÐÓÓÔ Ò ×º ÌÖ Ø Ó...

Yuan Lin, David A. Padua

claim paper

Read More »

click to vote

PLDI
2000
ACM

89views Programming Languages» more PLDI 2000»

Symbolic bounds analysis of pointers, array indices, and accessed memory regions

13 years 12 months ago

Download people.csail.mit.edu

Radu Rugina, Martin C. Rinard

claim paper

Read More »

click to vote

TOOLS
1999
IEEE

96views Programming Languages» more TOOLS 1999»

Contracts: From Analysis to C++ Implementation

13 years 11 months ago

Download www.swe.uni-linz.ac.at

Reinhold Plösch, Josef Pichler

claim paper

Read More »

click to vote

IFIP
1998
Springer

81views Programming Languages» more IFIP 1998»

An analysis of retransmission strategies for reliable multicast protocols

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers