Search Sciweavers | Sciweavers

31387 search results - page 63 / 6278

» Abstracting abstract machines

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 11 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

Download www.dsi.unive.it

Michele Bugliesi, Marco Giunti

claim paper

Read More »

click to vote

POPL
2004
ACM

110views Programming Languages» more POPL 2004»

An abstract interpretation-based framework for software watermarking

14 years 10 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

click to vote

POPL
2002
ACM

103views Programming Languages» more POPL 2002»

Lazy abstraction

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers