647 search results - page 23 / 130 » Generation of BDDs from hardware algorithm descriptions |
ASIACRYPT
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. GPUs offer a tremendous amount of computational bandwidth that was until now largely unusable for cryptographic computations due to a lack of integer arithmetic and user...
ICCV
2003
IEEE
14 years 9 months ago
2003
IEEE
Generating vehicle trajectories from video data is an important application of ITS (Intelligent Transportation Systems). We introduce a new tracking approach which uses model-base...
ROBOCUP
1999
Springer
14 years 3 days ago
1999
Springer
This paper briefly describes the design principles of the hardware and software of 5dpo-2000 team. An evolutive approach is presented as the robots are constantly being improved wi...
FPL
2001
Springer
14 years 10 days ago
2001
Springer
This paper presents the benefits of using a generic FPGA tool set developed at the university of Brest for programming virtual FPGA structures. From a high level FPGA description,...
ATVA
2009
Springer
13 years 12 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...