Sciweavers

826 search results - page 118 / 166
» Designing for families
Sort
View
IPPS
2006
IEEE
15 years 3 months ago
Recent advances in checkpoint/recovery systems
Checkpoint and Recovery (CPR) systems have many uses in high-performance computing. Because of this, many developers have implemented it, by hand, into their applications. One of ...
Greg Bronevetsky, Rohit Fernandes, Daniel Marques,...
ISCA
2006
IEEE
121views Hardware» more  ISCA 2006»
15 years 3 months ago
Flexible Snooping: Adaptive Forwarding and Filtering of Snoops in Embedded-Ring Multiprocessors
A simple and low-cost approach to supporting snoopy cache coherence is to logically embed a unidirectional ring in the network of a multiprocessor, and use it to transfer snoop me...
Karin Strauss, Xiaowei Shen, Josep Torrellas
MM
2006
ACM
145views Multimedia» more  MM 2006»
15 years 3 months ago
Interactive mosaic generation for video navigation
Navigation through large multimedia collections that include videos and images still remains a hard problem. In this paper, we introduce a novel method to visualize and navigate t...
Kihwan Kim, Irfan A. Essa, Gregory D. Abowd
OZCHI
2006
ACM
15 years 3 months ago
iSocialize: investigating awareness cues for a mobile social awareness application
Emerging technologies increasingly provide opportunities for creating and maintaining social relations with people even though separated by time or distance. However, it is still ...
Berith L. Andersen, Martin L. Jørgensen, Ul...
PPOPP
2006
ACM
15 years 3 months ago
Proving correctness of highly-concurrent linearisable objects
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Mar...