Skip to main content
Although understanding of shape features in the context of shape matching and retrieval has made considerable progress in recent years, the case for partial and incomplete models in presence of pose variations still begs a robust and... more
    • by 
Recent advances in mesh deformations have been dominated by two techniques: one uses an intermediate structure like a cage which transfers the user intended moves to the mesh, the other lets the user to impart the moves to the mesh... more
    • by 
Data collection management is disclosed. A data collection configuration is obtained. The data collection configuration is translated into executable code in a language usable to collect data. Data is collected using the executable code.... more
    • by 
    • Video Streaming
Sociolinguistic studies suggest that a relationship exists between the gender of a speaker and the words she or he chooses in conversational speech and writing .
    • by 
    • by 
    •   2  
      Location-based mediaUser profile
Map-reduce framework has received a significant attention and is being used for programming both large-scale clusters and multi-core systems. While the high productivity aspect of map-reduce has been well accepted, it is not clear if the... more
    • by 
    •   4  
      Computer ScienceGrid ComputingData mining applicationData Intensive Computing
Graphics Processing Units (GPUs) are increasingly becoming part of HPC clusters. Nevertheless, cloud computing services and resource management frameworks targeting heterogeneous clusters including GPUs are still in their infancy.... more
    • by 
    •   6  
      Memory ManagementVirtual MemoryCluster ComputingLoad Balance
A trend that has materialized, and has given rise to much attention, is of the increasingly heterogeneous computing platforms. Presently, it has become very common for a desktop or a notebook computer to come equipped with both a... more
    • by 
    • Distributed Computing
In data-intensive computing, an important problem that has received relatively little attention is of transparent processing of data stored in remote data repositories. Interesting load balancing considerations arise for these scenarios.... more
    • by 
    •   5  
      Grid ComputingHigh Performance ComputingDistributed Data MiningLoad Balance
This paper examines energy management in a heterogeneous processor consisting of an integrated CPU-GPU for highperformance computing (HPC) applications. Energy management for HPC applications is challenged by their uncompromising... more
    • by 
    •   2  
      EngineeringHigh Performance Computing
Map-reduce has been a topic of much interest in the last 2-3 years. While it is well accepted that the map-reduce APIs enable significantly easier programming, the performance aspects of the use of map-reduce are less well understood.... more
    • by 
    •   4  
      Cluster ComputingComparative mappingData mining applicationAssociation Mining
A trend that has materialized, and has given rise to much attention, is of the increasingly heterogeneous computing platforms. Presently, it has become very common for a desktop or a notebook computer to come equipped with both a... more
    • by 
    •   5  
      Heterogeneous ComputingAutomatic code generationAutomatic Generation ControlDistributed Generators
The deluge of available data for analysis demands the need to scale the performance of data mining implementations. With the current architectural trends, one of the major challenges today is achieving programmability and performance for... more
    • by 
    •   7  
      Distributed Shared Memory SystemShared memoryData mining applicationData Intensive Computing
Heterogeneous computing nodes are becoming commonplace today, and recent trends strongly indicate that clusters, supercomputers, and cloud environments will increasingly host more heterogeneous resources, with some being massively... more
    • by 
Driven by the cost-effectiveness and the powerefficiency, GPUs are being increasingly used to accelerate computations in many domains. However, developing highly efficient GPU implementations requires a lot of expertise and effort. Thus,... more
    • by 
As power becomes an increasingly important design factor in high-end supercomputers, future systems will likely operate with power limitations significantly below their peak power specifications. These limitations will be enforced through... more
    • by 
    • Computer Science
We extend traditional techniques for sequential specification and verification to systems involving intrinsically concurrent activities. Our approach uses careful design of component specifications to encapsulate inherent concurrency, and... more
    • by  and +2
Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they rarely require a substantive mathematical deduction. A... more
    • by  and +3
    • Component-Based Software Engineering (CBSE)
A central objective of the verifying compiler grand challenge is to develop a push-button verifier that generates proofs of correctness in a syntax-driven fashion similar to the way an ordinary compiler generates machine code. The... more
    • by  and +2
    •   8  
      Software EngineeringComponent-Based Software Engineering (CBSE)Theorem ProvingSoftware Verification
A central objective of the verifying compiler grand challenge is to develop a push-button verifier that generates proofs of correctness in a syntax-driven fashion similar to the way an ordinary compiler generates machine code. The... more
    • by  and +4
    •   8  
      Software EngineeringComponent-Based Software Engineering (CBSE)Theorem ProvingSoftware Verification