Sciweavers

1119 search results - page 129 / 224
» Computing in the Presence of Timing Failures
Sort
View
173
Voted
ICFP
2006
ACM
16 years 7 months ago
Static typing for a faulty lambda calculus
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorr...
David Walker, Lester W. Mackey, Jay Ligatti, Georg...
212
Voted
FOCS
1994
IEEE
15 years 11 months ago
The Load, Capacity and Availability of Quorum Systems
A quorum system is a collection of sets (quorums) every two of which intersect. Quorum systems have been used for many applications in the area of distributed systems, including mu...
Moni Naor, Avishai Wool
183
Voted
ICPR
2002
IEEE
16 years 8 months ago
Efficient Tracking of Regular Patterns on Non-Rigid Geometry
We introduce a real-time robust tracking procedure for a regular pattern marked on a flexible moving surface such as cloth. Our system is capable of maintaining the tracked grid s...
Igor Guskov
212
Voted
STOC
2006
ACM
141views Algorithms» more  STOC 2006»
16 years 7 months ago
Zero-knowledge against quantum attacks
It is proved that several interactive proof systems are zero-knowledge against general quantum attacks. This includes the Goldreich?Micali?Wigderson classical zero-knowledge proto...
John Watrous
162
Voted
ICCD
2005
IEEE
224views Hardware» more  ICCD 2005»
16 years 4 months ago
Algorithmic and Architectural Design Methodology for Particle Filters in Hardware
In this paper we present algorithmic and architectural methodology for building Particle Filters in hardware. Particle filtering is a new paradigm for filtering in presence of n...
Aswin C. Sankaranarayanan, Rama Chellappa, Ankur S...