Search Sciweavers | Sciweavers

303 search results - page 10 / 61

» Typing Safe Deallocation

click to vote

ECOOP
2000
Springer

130views Programming Languages» more ECOOP 2000»

Runtime Support for Type-Safe Dynamic Java Classes

13 years 11 months ago

Download www.cs.ucdavis.edu

Modern software must evolve in response to changing conditions. In the most widely used programming environments, code is static and cannot change at runtime. This poses problems ...

Scott Malabarba, Raju Pandey, Jeff Gragg, Earl T. ...

claim paper

Read More »

click to vote

CGF
2010

117views more CGF 2010»

SafeGI: Type Checking to Improve Correctness in Rendering System Implementation

13 years 7 months ago

Download www.cs.dartmouth.edu

Historically, rendering system development has been mainly focused on improving the numerical accuracy of the rendering algorithms and their runtime efficiency. In this paper, we ...

Jiawei Ou, Fabio Pellacini

claim paper

Read More »

click to vote

OSDI
2006
ACM

119views Operating System» more OSDI 2006»

Type-Safe Disks

14 years 7 months ago

Download home.gopalan.net

We present the notion of a type-safe disk (TSD). Unlike a traditional disk system, a TSD is aware of the pointer relationships between disk blocks that are imposed by higher layer...

Gopalan Sivathanu, Swaminathan Sundararaman, Erez ...

claim paper

Read More »

click to vote

PPDP
2007
Springer

116views Programming Languages» more PPDP 2007»

Type safe dynamic linking for JVM access control

14 years 1 months ago