Search Sciweavers | Sciweavers

31686 search results - page 128 / 6338

» Resource typing in Guru

click to vote

ICIP
2008
IEEE

124views Image Processing» more ICIP 2008»

Rate control for video coding with slice type dependencies

16 years 7 months ago

Download code.ucsd.edu

Athanasios Leontaris, Alexis M. Tourapis

claim paper

Read More »

231

click to vote

POPL
2007
ACM

102views Programming Languages» more POPL 2007»

Secure implementations of typed channel abstractions

16 years 6 months ago

Download www.dsi.unive.it

Michele Bugliesi, Marco Giunti

claim paper

Read More »

231

click to vote

POPL
2003
ACM

101views Programming Languages» more POPL 2003»

A type theory for memory allocation and data layout

16 years 6 months ago

Download www-2.cs.cmu.edu

Leaf Petersen, Robert Harper, Karl Crary, Frank Pf...

claim paper

Read More »

106

click to vote

ICFP
2003
ACM

91views Programming Languages» more ICFP 2003»

Meta-programming through typeful code representation

16 years 5 months ago

Download www.cs.bu.edu

Chiyan Chen, Hongwei Xi

claim paper

Read More »

108

click to vote

ICFP
2001
ACM

107views Programming Languages» more ICFP 2001»

Type-Based Hot Swapping of Running Modules

16 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers