2935 search results - page 469 / 587 » An Integrated Approach to High Integrity Software Verificati... |
167
click to vote
CASES
2010
ACM
15 years 4 months ago
2010
ACM
Wired embedded networks must include multicast authentication to prevent masquerade attacks within the network. However, unique constraints for these networks make most existing m...
262
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
Testing of database applications is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption. The problem of database applicatio...
259
click to vote
CVPR
2001
IEEE
16 years 8 months ago
2001
IEEE
This paper describes a machine learning approach for visual
object detection which is capable of processing images
extremely rapidly and achieving high detection rates. This
wor...
171
click to vote
ICIP
2006
IEEE
16 years 7 months ago
2006
IEEE
We present a method for real-time image based simulation of gaseous material such as fire and smoke. We model the kinematics of these phenomena by a mass-spring system, and their ...
127
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
The creation of an FPGA requires extensive transistor-level design. This is necessary for both the final design, and during architecture exploration, when many different logic and...