2137 search results - page 311 / 428 » Proving Abstract Non-interference |
114
Voted
ROBIO
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— We address the problem of robotic real-time binaural hearing using a humanoid head. The sound detection ability for a previously proposed robotic 3D binaural sound loca...
107
click to vote
SEFM
2006
IEEE
15 years 8 months ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
142
Voted
ACMSE
2006
ACM
15 years 8 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
124
Voted
ASPDAC
2006
ACM
15 years 8 months ago
2006
ACM
Abstract—H.264/AVC is the latest video coding standard. It significantly outperforms the previous video coding standards, but the extraordinary huge computation complexity and m...
110
click to vote
SIGSOFT
2006
ACM
15 years 8 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...