Sciweavers

2095 search results - page 64 / 419
» Improved pebbling bounds
Sort
View
ICCAD
2003
IEEE
119views Hardware» more  ICCAD 2003»
14 years 6 months ago
Analytical Bound for Unwanted Clock Skew due to Wire Width Variation
Under modern VLSI technology, process variations greatly affect circuit performance, especially clock skew which is very timing sensitive. Unwanted skew due to process variation f...
Anand Rajaram, Bing Lu, Wei Guo, Rabi N. Mahapatra...
HICSS
2009
IEEE
85views Biometrics» more  HICSS 2009»
14 years 4 months ago
Bounding the Size of k-Tuple Covers
Suppose there are n applications and n processors. A pair cover is a set S of one-to-one mappings (assignments) of the applications to the processors such that, for every pair (Ai...
Wolfgang W. Bein, Shahram Latifi, Linda Morales, I...
FSE
2007
Springer
105views Cryptology» more  FSE 2007»
14 years 4 months ago
New Bounds for PMAC, TMAC, and XCBC
We provide new security proofs for PMAC, TMAC, and XCBC message authentication modes. The previous security bounds for these modes were σ2 /2n , where n is the block size in bits ...
Kazuhiko Minematsu, Toshiyasu Matsushima
GLVLSI
2006
IEEE
95views VLSI» more  GLVLSI 2006»
14 years 4 months ago
Test generation using SAT-based bounded model checking for validation of pipelined processors
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
Heon-Mo Koo, Prabhat Mishra
ICRA
2006
IEEE
123views Robotics» more  ICRA 2006»
14 years 4 months ago
Bounding Uncertainty in EKF-SLAM: the Robocentric Local Approach
— This paper addresses the consistency issue of the Extended Kalman Filter approach to the simultaneous localization and mapping (EKF-SLAM) problem. Linearization of the inherent...
Ruben Martinez-Cantin, José A. Castellanos