7167 search results - page 1097 / 1434 » A Technique for Invariant Generation |
209
click to vote
DEXA
2003
Springer
16 years 25 days ago
2003
Springer
Emerging applications using miniature electronic devices (e.g., tracking mobile objects using sensors) generate very large amounts of highly dynamic data that poses very high overh...
211
click to vote
EGH
2003
Springer
16 years 25 days ago
2003
Springer
The Fourier transform is a well known and widely used tool in many scientific and engineering fields. The Fourier transform is essential for many image processing techniques, in...
193
click to vote
FM
2003
Springer
16 years 25 days ago
2003
Springer
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
197
click to vote
FPGA
2003
ACM
16 years 25 days ago
2003
ACM
The routing channels of an FPGA consist of wire segments of various types providing the tradeoff between performance and routability. In the routing architectures of recently dev...
220
click to vote
GECCO
2003
Springer
16 years 25 days ago
2003
Springer
The rapid advances of genome-scale sequencing have brought out the necessity of developing new data processing techniques for enormous genomic data. Microarrays, for example, can g...