Sciweavers

1450 search results - page 87 / 290
» A New General Purpose Parallel Database System
Sort
View
CSFW
1995
IEEE
14 years 1 months ago
Composing and decomposing systems under security properties
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...
A. W. Roscoe, L. Wulf
CORR
2010
Springer
198views Education» more  CORR 2010»
13 years 10 months ago
Space and the Synchronic A-Ram
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
Alexander Victor Berka
SCFBM
2008
119views more  SCFBM 2008»
13 years 9 months ago
OSPACS: Ultrasound image management system
Background: Ultrasound scanning uses the medical imaging format, DICOM, for electronically storing the images and data associated with a particular scan. Large health care facilit...
Will Stott, Andy Ryan, Ian J. Jacobs, Usha Menon, ...
IPPS
2005
IEEE
14 years 3 months ago
Data Redistribution and Remote Method Invocation in Parallel Component Architectures
With the increasing availability of high-performance massively parallel computer systems, the prevalence of sophisticated scientific simulation has grown rapidly. The complexity ...
Felipe Bertrand, Randall Bramley, Alan Sussman, Da...
ICPPW
2000
IEEE
14 years 2 months ago
A Practical Realization of Parallel Disks
Several models of parallel disks are found in the literature. These models have been proposed to alleviate the I/O bottleneck arising in handling voluminous data. These models hav...
Sanguthevar Rajasekaran, Xiao-ming Jin