Sciweavers

2290 search results - page 6 / 458

» Extensible Protected Types

80

OOPSLA
2007
Springer

81views Security Privacy» more OOPSLA 2007»

Variant path types for scalable extensibility

15 years 11 months ago

Variant path types for scalable extensibility

Download www.sato.kuis.kyoto-u.ac.jp

Atsushi Igarashi, Mirko Viroli

claim paper

Read More »

109

ADBIS
2001
Springer

82views Database» more ADBIS 2001»

Enhancing an Extensible Query Optimizer with Support for Multiple Equivalence Types

15 years 9 months ago

Enhancing an Extensible Query Optimizer with Support for Multiple Equivalence Types

Download timecenter.cs.aau.dk

Giedrius Slivinskas, Christian S. Jensen

claim paper

Read More »

146

Voted

TACAS
2000
Springer

109views Algorithms» more TACAS 2000»

An Extensible Type System for Component-Based Design

15 years 8 months ago

An Extensible Type System for Component-Based Design

Download www.eecs.berkeley.edu

Yuhong Xiong, Edward A. Lee

claim paper

Read More »

118

Voted

ENTCS
2006

125views more ENTCS 2006»

ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter

15 years 5 months ago

ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter

Download www.cs.tufts.edu

Norman Ramsey

claim paper

Read More »

141

OSDI
1996
ACM

137views Operating System» more OSDI 1996»

Dealing with Disaster: Surviving Misbehaved Kernel Extensions

15 years 6 months ago

Dealing with Disaster: Surviving Misbehaved Kernel Extensions

Download www.dogfish.org

Today's extensible operating systems allow applications to modify kernel behavior by providing mechanisms for application code to run in the kernel address space. The advanta...

Margo I. Seltzer, Yasuhiro Endo, Christopher Small...

claim paper

Read More »

« Prev « First page 6 / 458 Last » Next »