Search Sciweavers | Sciweavers

31387 search results - page 19 / 6278

» Abstracts

click to vote

ENTCS
2010

98views more ENTCS 2010»

Static Analysis by Abstract Interpretation: A Mathematical Programming Approach

13 years 7 months ago

Download www.lix.polytechnique.fr

nalysis by abstract interpretation: a Mathematical Programming approach1 Eric Goubaulta,2 St

Eric Goubault, Stéphane Le Roux, Jeremy Lec...

claim paper

Read More »

click to vote

IJPP
2010

74views more IJPP 2010»

Semantic-Aware Automatic Parallelization of Modern Applications Using High-Level Abstractions

13 years 7 months ago

Download www.rosecompiler.org

ions Using High-Level Abstractions Chunhua Liao

Chunhua Liao, Daniel J. Quinlan, Jeremiah Willcock...

claim paper

Read More »

click to vote

ICPR
2004
IEEE

106views computer vision» more ICPR 2004»

Optimal Inference for Hierarchical Skeleton Abstraction

14 years 11 months ago

Download www.cs.toronto.edu

Alexandru Telea, Cristian Sminchisescu, Sven J. Di...

claim paper

Read More »

click to vote

DAC
1999
ACM

120views Computer Architecture» more DAC 1999»

Verifying Large-Scale Multiprocessors Using an Abstract Verification Environment

14 years 10 months ago

Download web.mac.com

Dennis Abts, Mike Roberts

claim paper

Read More »

click to vote

POPL
2007
ACM

102views Programming Languages» more POPL 2007»

Secure implementations of typed channel abstractions

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers