Sciweavers

5695 search results - page 333 / 1139
» Using Many Cameras as One
Sort
View
IPPS
2006
IEEE
16 years 25 days ago
Wire-speed total order
— Many distributed systems may be limited in their performance by the number of transactions they are able to support per unit of time. In order to achieve fault tolerance and to...
Tal Anker, Danny Dolev, G. Greenman, I. Shnaiderma...
WDAG
2005
Springer
108views Algorithms» more  WDAG 2005»
16 years 8 days ago
Optimistic Generic Broadcast
Atomic Broadcast, used for example in state machine replication, requires three communication steps. Optimistic Atomic Broadcast requires only two steps if all processes receive m...
Piotr Zielinski
ASPDAC
2004
ACM
87views Hardware» more  ASPDAC 2004»
16 years 7 days ago
ShatterPB: symmetry-breaking for pseudo-Boolean formulas
Many important tasks in circuit design and verification can be performed in practice via reductions to Boolean Satisfiability (SAT), making SAT a fundamental EDA problem. However ...
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Kare...
GW
2003
Springer
182views Biometrics» more  GW 2003»
16 years 7 hour ago
A Procedure for Developing Intuitive and Ergonomic Gesture Interfaces for HCI
Many disciplines of multimedia and communication go towards ubiquitous computing and hands free- or no-touch interaction with computers. Application domains in this direction invol...
Michael Nielsen, Moritz Störring, Thomas B. M...
UIST
1999
ACM
15 years 11 months ago
PeopleGarden: Creating Data Portraits for Users
Many on-line interaction environments have a large number of users. It is difficult for the participants, especially new ones, to form a clear mental image about those with whom t...
Rebecca Xiong, Judith S. Donath