9 search results - page 1 / 2 » hvc 2007 |
HVC
2007
Springer
13 years 10 months ago
2007
Springer
HVC
2007
Springer
13 years 10 months ago
2007
Springer
MVA
2007
13 years 5 months ago
2007
In this paper, we propose Generalized Horizon View Camera system. It can able to improve a degree of freedom of Horizon View Camera (HVC) while keeping characteristics of previous...
HVC
2007
Springer
13 years 10 months ago
2007
Springer
The paper presents a new approach to formal verification of generic (i.e. parametrised) hardware designs specified in VHDL. The proposed approach is based on a translation of suc...
HVC
2007
Springer
13 years 10 months ago
2007
Springer
Modern hardware designs are typically based on multiple clocks. While a singly-clocked hardware design is easily described in standard temporal logics, describing a multiply-clocke...