Search Sciweavers | Sciweavers

365 search results - page 11 / 73

» Types for Safe Locking

click to vote

OSDI
2006
ACM

119views Operating System» more OSDI 2006»

Type-Safe Disks

14 years 9 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 2 months ago

Download www.cs.uvm.edu

Christian Skalka

claim paper

Read More »

click to vote

SAC
2006
ACM

91views Applied Computing» more SAC 2006»

Introducing safe unknown types in Java-like languages

14 years 2 months ago

Download www.disi.unige.it

Giovanni Lagorio, Elena Zucca

claim paper

Read More »

click to vote

ECOOP
1999
Springer

142views Programming Languages» more ECOOP 1999»

Type-Safe Delegation for Run-Time Component Adaptation

14 years 1 months ago

Download javalab.cs.uni-bonn.de

Abstract. The aim of component technology is the replacement of large monolithic applications with sets of smaller software components, whose particular functionality and interoper...

Günter Kniesel

claim paper

Read More »

click to vote

ECOOPW
1999
Springer

90views Distributed And Parallel Com...» more ECOOPW 1999»

Type-Safe Execution of Mobile Agents in Anonymous Networks

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers