Search Sciweavers | Sciweavers

31387 search results - page 63 / 6278

» Abstracting abstract machines

109

click to vote

ICPR
2004
IEEE

106views computer vision» more ICPR 2004»

Optimal Inference for Hierarchical Skeleton Abstraction

16 years 6 months ago

Download www.cs.toronto.edu

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

claim paper

Read More »

123

Voted

DAC
1999
ACM

120views Computer Architecture» more DAC 1999»

Verifying Large-Scale Multiprocessors Using an Abstract Verification Environment

16 years 6 months ago

Download web.mac.com

Dennis Abts, Mike Roberts

claim paper

Read More »

228

click to vote

POPL
2007
ACM

102views Programming Languages» more POPL 2007»

Secure implementations of typed channel abstractions

16 years 5 months ago

Download www.dsi.unive.it

Michele Bugliesi, Marco Giunti

claim paper

Read More »

219

click to vote

POPL
2004
ACM

110views Programming Languages» more POPL 2004»

An abstract interpretation-based framework for software watermarking

16 years 5 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

213

click to vote

POPL
2002
ACM

103views Programming Languages» more POPL 2002»

Lazy abstraction

16 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers