Sciweavers

760 search results - page 95 / 152
» Pedestrian Detection: A Benchmark
Sort
View
DATE
2005
IEEE
169views Hardware» more  DATE 2005»
15 years 11 months ago
Activity Packing in FPGAs for Leakage Power Reduction
In this paper, two packing algorithms for the detection of activity profiles in MTCMOS-based FPGA structures are proposed for leakage power mitigation. The first algorithm is a ...
Hassan Hassan, Mohab Anis, Antoine El Daher, Moham...
DFT
2005
IEEE
64views VLSI» more  DFT 2005»
15 years 11 months ago
Implementation of Concurrent Checking Circuits by Independent Sub-circuits
The present paper proposes a new method for detecting arbitrary faults in a functional circuit when the set of codewords is limited and known in advance. The method is based on im...
Vladimir Ostrovsky, Ilya Levin
SAINT
2005
IEEE
15 years 11 months ago
A Scalable Multi-Replication Framework for Data Grid
Existing replica services on the Grid we know to date assumes point-to-point communication and file transfer protocol. As such, when hundreds to thousands of hosts on the Grid ac...
Shin'ichiro Takizawa, Yasuhito Takamiya, Hidemoto ...
SPIN
2005
Springer
15 years 11 months ago
Symbolic Model Checking for Asynchronous Boolean Programs
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
Byron Cook, Daniel Kroening, Natasha Sharygina
CSCLP
2004
Springer
15 years 11 months ago
Better Propagation for Non-preemptive Single-Resource Constraint Problems
Abstract. Overload checking, forbidden regions, edge finding, and notfirst/not-last detection are well-known propagation rules to prune the start times of activities which have t...
Armin Wolf