Sciweavers

1632 search results - page 56 / 327
» On special numberings of hypergraphs
Sort
View
WADS
2007
Springer
184views Algorithms» more  WADS 2007»
16 years 12 days ago
A Pseudopolynomial Time O (log n )-Approximation Algorithm for Art Gallery Problems
In this paper, we give a O(log copt)-approximation algorithm for the point guard problem where copt is the optimal number of guards. Our algorithm runs in time polynomial in n, the...
Ajay Deshpande, Taejung Kim, Erik D. Demaine, Sanj...
ARITH
2005
IEEE
15 years 12 months ago
Synthesis of Saturating Counters Using Traditional and Non-Traditional Basic Counters
Saturating counters are a newly defined class of generalized parallel counters that provide the exact number of inputs which are equal to 1 only if this number is below a given t...
Zhaojun Wo, Israel Koren
VTS
1999
IEEE
83views Hardware» more  VTS 1999»
15 years 10 months ago
PADded Cache: A New Fault-Tolerance Technique for Cache Memories
This paper presents a new fault-tolerance technique for cache memories. Current fault-tolerance techniques for caches are limited either by the number of faults that can be tolera...
Philip P. Shirvani, Edward J. McCluskey
VISUALIZATION
1996
IEEE
15 years 10 months ago
Mesh Reduction with Error Control
In many cases the surfaces of geometric models consist of a large number of triangles. Several algorithms were developed to reduce the number of triangles required to approximate ...
Reinhard Klein, Gunther Liebich, Wolfgang Stra&szl...
CAV
2010
Springer
176views Hardware» more  CAV 2010»
15 years 8 months ago
Robustness in the Presence of Liveness
Systems ought to behave reasonably even in circumstances that are not anticipated in their specifications. We propose a definition of robustness for liveness specifications which p...
Roderick Bloem, Krishnendu Chatterjee, Karin Greim...