Sciweavers

790 search results - page 69 / 158
» Designated Confirmer Signatures
Sort
View
SIGMOD
1991
ACM
81views Database» more  SIGMOD 1991»
15 years 3 months ago
Multi-Disk B-trees
In this paper, Dept. of Computer Science, University of Waterloo Waterloo, Ontario, Canada, N2L 3G1 we consider how to exploit multiple disks to improve the performance of B-tree ...
Bernhard Seeger, Per-Åke Larson
EUROPAR
2008
Springer
15 years 1 months ago
Load-Balancing for a Block-Based Parallel Adaptive 4D Vlasov Solver
This work is devoted to the numerical resolution of the 4D Vlasov equation using an adaptive mesh of phase space. We previously proposed a parallel algorithm designed for distribut...
Olivier Hoenen, Eric Violard
FMCAD
2008
Springer
15 years 1 months ago
Recording Synthesis History for Sequential Verification
Performing synthesis and verification in isolation has two undesirable consequences: (1) verification runs the risk of becoming intractable, and (2) strong sequential optimization...
Alan Mishchenko, Robert K. Brayton
BCSHCI
2007
15 years 1 months ago
Head-shaped tangible interface for affective expression
A head shaped resin with several holes and equipped with a camera is used for facial expression synthesis through intuitive multiple finger contacts and gestures. The calibration ...
Christian Jacquemin
INTERACT
2007
15 years 1 months ago
Improving Users' Comprehension of Changes with Animation and Sound: An Empirical Assessment
Animation or sound is often used in user interfaces as an attempt to improve users' perception and comprehension of evolving situations and support them in decision-making. Ho...
Céline Schlienger, Stéphane Conversy...