Sciweavers

462 search results - page 75 / 93
» Parallel algorithm for hardware implementation of inverse ha...
Sort
View
86
Voted
CASES
2008
ACM
14 years 11 months ago
Efficiency and scalability of barrier synchronization on NoC based many-core architectures
Interconnects based on Networks-on-Chip are an appealing solution to address future microprocessor designs where, very likely, hundreds of cores will be connected on a single chip...
Oreste Villa, Gianluca Palermo, Cristina Silvano
CAV
2010
Springer
194views Hardware» more  CAV 2010»
15 years 1 months ago
LTSmin: Distributed and Symbolic Reachability
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
Stefan Blom, Jaco van de Pol, Michael Weber
ASAP
2006
IEEE
109views Hardware» more  ASAP 2006»
15 years 3 months ago
Describing Quantum Circuits with Systolic Arrays
In the simulation of quantum circuits the matrices and vectors used to represent unitary operations and qubit states grow exponentially as the number of qubits increase. For insta...
Aasavari Bhave, Eurípides Montagne, Edgar G...
60
Voted
HPCC
2005
Springer
15 years 3 months ago
A New Parity Space Approach to Fault Detection for General Systems
This paper proposes a new parity space approach to a fault detection for general systems with noises, actuator faults and sensor faults. The proposed parity space approach could be...
Pyung Soo Kim, Eung Hyuk Lee
SSIAI
2002
IEEE
15 years 2 months ago
Geometry-Based Automatic Object Localization and 3-D Pose Detection
Given the image of a real-world scene and a polygonal 3-D model of a depicted object, its apparent size, image coordinates, and 3-D orientation are autonomously detected. Based on...
Marcus A. Magnor