Sciweavers

1824 search results - page 115 / 365
» interfaces 2006
Sort
View
AVI
2006
13 years 10 months ago
Browsing through 3D representations of unstructured picture collections: an empirical study
The paper presents a 3D interactive representation of fairly large picture collections which facilitates browsing through unstructured sets of icons or pictures. Implementation of...
Olivier Christmann, Noelle Carbonell
ISSTA
2006
ACM
14 years 3 months ago
Improving distributed memory applications testing by message perturbation
We present initial work on perturbation techniques that cause the manifestation of timing-related bugs in distributed memory Message Passing Interface (MPI)-based applications. Th...
Richard W. Vuduc, Martin Schulz, Daniel J. Quinlan...
MM
2006
ACM
117views Multimedia» more  MM 2006»
14 years 3 months ago
Interactive "immaterial" screen for performing arts
Various performing arts increasingly employ projection screens and other information displays as essential elements of the show. We present some possibilities and lessons learned ...
Ismo Rakkolainen, Tanju Erdem, Çigdem Erdem...
ERSA
2006
102views Hardware» more  ERSA 2006»
13 years 10 months ago
Process Isolation for Reconfigurable Hardware
One of the pillars of trust-worthy computing is process isolation, the ability to keep process data private from other processes running on the same device. While embedded operati...
Herwin Chan, Patrick Schaumont, Ingrid Verbauwhede
POPL
2006
ACM
14 years 9 months ago
Hybrid type checking
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
Cormac Flanagan