4820 search results - page 256 / 964 » Implementing Signatures for C |
136
Voted
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
This paper introduces the concept of programming with sketches, an approach for the rapid development of high-performance applications. This approach allows a programmer to write ...
202
Voted
Source Code
An amazing, accurate, and fast complete camera calibration toolbox in Matlab. The toolbox calibrates the stereo camera using one chess board that is oriented at different angles. T...
103
Voted
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
A real-timehigh-performanceand fault-tolerantFPGA-based hardware architecture for the processing of synthetic apertureradar (SAR) images has been developed for advanced spaceborner...
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
—This paper presents the design of a high-speed analog transversal equalizer for dispersion compensation in 10Gb/s fiber networks. We present design details of a seven tap transv...
115
Voted
AUSAI
2005
Springer
15 years 9 months ago
2005
Springer
We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. The riddle is then imple...