Sciweavers

7124 search results - page 978 / 1425
» Programming Languages and Operating Systems
Sort
View
OSDI
1996
ACM
15 years 6 months ago
Dealing with Disaster: Surviving Misbehaved Kernel Extensions
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...
IFL
2003
Springer
144views Formal Methods» more  IFL 2003»
15 years 10 months ago
Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
Rafael Martínez, Ricardo Pena
PVLDB
2008
134views more  PVLDB 2008»
15 years 4 months ago
Evita raced: metacompilation for declarative networks
Declarative languages have recently been proposed for many new applications outside of traditional data management. Since these are relatively early research efforts, it is import...
Tyson Condie, David Chu, Joseph M. Hellerstein, Pe...
IFIP
2009
Springer
15 years 11 months ago
A Policy Model for Secure Information Flow
When a computer program requires legitimate access to confidential data, the question arises whether such a program may illegally reveal sensitive information. This paper proposes...
Adedayo Adetoye, Atta Badii
GPCE
2003
Springer
15 years 10 months ago
A Selective, Just-in-Time Aspect Weaver
Dynamic AOP (Aspect-Oriented Programming) is receiving growing interests in both the academia and the industry. Since it allows weaving aspects with a program at runtime, it is use...
Yoshiki Sato, Shigeru Chiba, Michiaki Tatsubori