Sciweavers

790 search results - page 69 / 158
» Designated Confirmer Signatures
Sort
View
SIGMOD
1991
ACM
81views Database» more  SIGMOD 1991»
14 years 1 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
13 years 12 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
13 years 11 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
13 years 11 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
13 years 11 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...