Sciweavers

4306 search results - page 512 / 862
» Timed Testing with TorX
Sort
View
ICCAD
2005
IEEE
110views Hardware» more  ICCAD 2005»
16 years 1 months ago
A hybrid linear equation solver and its application in quadratic placement
— This paper presents a new hybrid linear equation solver for quadratic placement. The new solver is a combination of stochastic solver and iterative solver: it is proven in this...
Haifeng Qian, Sachin S. Sapatnekar
FSE
2009
Springer
107views Cryptology» more  FSE 2009»
15 years 11 months ago
Multidimensional Extension of Matsui's Algorithm 2
Matsui’s one-dimensional Alg. 2 can be used for recovering bits of the last round key of a block cipher. In this paper a truly multidimensional extension of Alg. 2 based on estab...
Miia Hermelin, Joo Yeon Cho, Kaisa Nyberg
DATE
2009
IEEE
93views Hardware» more  DATE 2009»
15 years 11 months ago
DPR in high energy physics
The Active Buffer project is part of the CBM (compressed baryonic matter) experiment and takes advantage of the DPR (dynamic partial reconfiguration) technology, in which a dynam...
Wenxue Gao, Andreas Kugel, Reinhard Männer, N...
IJCNN
2007
IEEE
15 years 10 months ago
Faults Detection and Isolation Based On Neural Networks Applied to a Levels Control System
Abstract— Each time more grows the necessity of guaranteeing itself security and trustworthiness of the equipment during the execution of the industrials processes. Then, it is v...
Raphaela G. Fernandes, Diego R. Cabral Silva, Luiz...
IROS
2007
IEEE
180views Robotics» more  IROS 2007»
15 years 10 months ago
Detection of thrown objects in indoor and outdoor scenes
— We present a novel technique for the detection of hand-thrown objects in a video sequence. Our method runs in real-time and was designed to be used as a component in a deployed...
Evan Ribnick, Stefan Atev, Nikolaos Papanikolopoul...