Sciweavers

1256 search results - page 61 / 252
» Compositional Memory Systems for Data Intensive Applications
Sort
View
114
Voted
ESOP
2010
Springer
15 years 10 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
ALGORITHMICA
2007
118views more  ALGORITHMICA 2007»
15 years 21 days ago
External-Memory Algorithms for Processing Line Segments in Geographic Information Systems
d abstract) Lars Arge1 , Darren Erik Vengroff2 , and Jeffrey Scott Vitter3 1 BRICS† , Department of Computer Science, University of Aarhus, Aarhus, Denmark 2 Department of Comp...
Lars Arge, Darren Erik Vengroff, Jeffrey Scott Vit...
95
Voted
FCCM
1999
IEEE
146views VLSI» more  FCCM 1999»
15 years 4 months ago
Sepia: Scalable 3D Compositing Using PCI Pamette
We have implemented an image combining architecture that allows distributed rendering of a partitioned data set at interactive rates. The architecture achieves real-time frame rat...
Laurent Moll, Mark Shand, Alan Heirich
IPPS
2003
IEEE
15 years 5 months ago
A Compilation Framework for Distributed Memory Parallelization of Data Mining Algorithms
With the availability of large datasets in a variety of scientific and commercial domains, data mining has emerged as an important area within the last decade. Data mining techni...
Xiaogang Li, Ruoming Jin, Gagan Agrawal
127
Voted
ASPLOS
1996
ACM
15 years 4 months ago
An Integrated Compile-Time/Run-Time Software Distributed Shared Memory System
On a distributed memory machine, hand-coded message passing leads to the most efficient execution, but it is difficult to use. Parallelizing compilers can approach the performance...
Sandhya Dwarkadas, Alan L. Cox, Willy Zwaenepoel