Sciweavers

2004 search results - page 307 / 401
» Interaction nets: programming language design and implementa...
Sort
View
ASPLOS
2008
ACM
15 years 7 months ago
Overshadow: a virtualization-based approach to retrofitting protection in commodity operating systems
Commodity operating systems entrusted with securing sensitive data are remarkably large and complex, and consequently, frequently prone to compromise. To address this limitation, ...
Xiaoxin Chen, Tal Garfinkel, E. Christopher Lewis,...
OTM
2005
Springer
15 years 10 months ago
Platform-Independent Object Migration in CORBA
Object mobility is the basis for highly dynamic distributed applications. This paper presents the design and implementation of mobile objects on the basis of the CORBA standard. Ou...
Rüdiger Kapitza, Holger Schmidt, Franz J. Hau...
SSDBM
2006
IEEE
153views Database» more  SSDBM 2006»
15 years 11 months ago
HDF5-FastQuery: Accelerating Complex Queries on HDF Datasets using Fast Bitmap Indices
Large scale scientific data is often stored in scientific data formats such as FITS, netCDF and HDF. These storage formats are of particular interest to the scientific user com...
Luke J. Gosink, John Shalf, Kurt Stockinger, Keshe...
121
Voted
ICSE
2008
IEEE-ACM
16 years 5 months ago
Source-level debugging with the whyline
The visualizations of the Whyline are presented, which focus on supporting the exploration a source code and how it executes. The visualization is concise, simple to navigate, and...
Andrew J. Ko, Brad A. Myers
CBSE
2010
Springer
15 years 8 months ago
Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
Gwenaël Delaval, Éric Rutten