Sciweavers

414 search results - page 66 / 83
» General Purpose Computation on Graphics Hardware
Sort
View
DAC
2006
ACM
14 years 2 months ago
High-performance operating system controlled memory compression
This article describes a new software-based on-line memory compression algorithm for embedded systems and presents a method of adaptively managing the uncompressed and compressed ...
Lei Yang, Haris Lekatsas, Robert P. Dick
CAV
2007
Springer
121views Hardware» more  CAV 2007»
14 years 2 months ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
NOSSDAV
2005
Springer
14 years 1 months ago
Platform Overlays: enabling in-network stream processing in large-scale distributed applications
The purpose of this research is to explore the capabilities of future, multi-core heterogeneous systems, with specialized communication support, to be used as efficient and flex...
Ada Gavrilovska, Sanjay Kumar, Srikanth Sundaragop...
CCGRID
2011
IEEE
13 years 1 days ago
DHTbd: A Reliable Block-Based Storage System for High Performance Clusters
—Large, reliable and efficient storage systems are becoming increasingly important in enterprise environments. Our research in storage system design is oriented towards the expl...
George Parissis, George Xylomenos, Theodore K. Apo...
ICPR
2000
IEEE
14 years 9 months ago
A Quick 3D-2D Registration Method for a Wide-Range of Applications
Amethod for quick determination of the position and pose of a 3D free-form object with respect to its 2D projective image(s) is proposed. It is a precondition of the method that a...
Yasuyo Kita, Nobuyuki Kita, Dale L. Wilson, J. Ali...