Sciweavers

760 search results - page 95 / 152
» Pedestrian Detection: A Benchmark
Sort
View
DATE
2005
IEEE
169views Hardware» more  DATE 2005»
14 years 1 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»
14 years 1 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
14 years 1 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
14 years 1 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
14 years 1 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