Search Sciweavers | Sciweavers

5235 search results - page 76 / 1047

» Analysis of Multithreaded Programs

Voted

PLDI
2000
ACM

81views Programming Languages» more PLDI 2000»

Scalable context-sensitive flow analysis using instantiation constraints

15 years 6 months ago

Download www.cs.ucla.edu

Manuel Fähndrich, Jakob Rehof, Manuvir Das

claim paper

Read More »

105

Voted

PLDI
2000
ACM

136views Programming Languages» more PLDI 2000»

Compiler analysis of irregular memory accesses

15 years 6 months ago

Download polaris.cs.uiuc.edu

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

Yuan Lin, David A. Padua

claim paper

Read More »

112

click to vote

PLDI
2000
ACM

89views Programming Languages» more PLDI 2000»

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

15 years 6 months ago

Download people.csail.mit.edu

Radu Rugina, Martin C. Rinard

claim paper

Read More »

100

click to vote

TOOLS
1999
IEEE

96views Programming Languages» more TOOLS 1999»

Contracts: From Analysis to C++ Implementation

15 years 6 months ago

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

Reinhold Plösch, Josef Pichler

claim paper

Read More »

Voted

IFIP
1998
Springer

81views Programming Languages» more IFIP 1998»

An analysis of retransmission strategies for reliable multicast protocols

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers