Search Sciweavers | Sciweavers

10666 search results - page 67 / 2134

» Quantum programming languages

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 »

click to vote

PLDI
2000
ACM

79views Programming Languages» more PLDI 2000»

Transforming loops to recursion for multi-level memory hierarchies

15 years 6 months ago

Download www.cs.berkeley.edu

Qing Yi, Vikram S. Adve, Ken Kennedy

claim paper

Read More »

click to vote

POPL
2000
ACM

126views Programming Languages» more POPL 2000»

Anytime, Anywhere: Modal Logics for Mobile Ambients

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers