1901 search results - page 158 / 381 » Predicting Program Properties from |
142
click to vote
POPL
2000
ACM
15 years 6 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
107
Voted
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
Visually extracted 2D and 3D information have their own advantages and disadvantages that complement each other. Therefore, it is important to be able to switch between the differ...
122
click to vote
IDC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract Multi-agent cooperation can in several cases be used in order to mitigate problems relating to task sharing within physical processes. In this paper we apply agent based s...
103
click to vote
FDL
2005
IEEE
15 years 8 months ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
130
click to vote
FSE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Algebraic attacks on stream ciphers apply (at least theoretically) to all LFSR-based stream ciphers that are clocked in a simple and/or easily predictable way. One intere...