Sciweavers

6306 search results - page 189 / 1262
» Space, Time, and the Use of Language
Sort
View
CSFW
1998
IEEE
15 years 2 months ago
Probabilistic Noninterference in a Concurrent Language
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...
Dennis M. Volpano, Geoffrey Smith
ISCA
2008
IEEE
105views Hardware» more  ISCA 2008»
15 years 5 months ago
Intra-disk Parallelism: An Idea Whose Time Has Come
Server storage systems use a large number of disks to achieve high performance, thereby consuming a significant amount of power. In this paper, we propose to significantly reduc...
Sriram Sankar, Sudhanva Gurumurthi, Mircea R. Stan
BLISS
2007
IEEE
15 years 5 months ago
Evolving the Face of a Criminal: How to Search a Face Space More Effectively
Witnesses and victims of serious crime are often required to construct a facial composite, a visual likeness of a suspect’s face. The traditional method is for them to select in...
Charlie D. Frowd, Vicki Bruce, Carol Gannon, Mark ...
CLUSTER
2007
IEEE
15 years 5 months ago
Non-collective parallel I/O for global address space programming models
— Achieving high performance for out-of-core applications typically involves explicit management of the movement of data between the disk and the physical memory. We are developi...
Sriram Krishnamoorthy, Juan Piernas, Vinod Tippara...
ICC
2007
IEEE
106views Communications» more  ICC 2007»
15 years 5 months ago
Differential Space-Frequency Modulation and 2D-Detection for MIMO-OFDM
Abstract— In this paper differential space–frequency modulation (DSFM) for transmission over multiple–input multiple– output channels using orthogonal frequency division mu...
Volker Pauli, Lutz H.-J. Lampe, Johannes Huber