4814 search results - page 611 / 963 » Combining abstract interpreters |
164
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a novel tool flow combining rewriting logic with hardware synthesis. It enables the automated generation of synthesizable VHDL code from mathematical equations...
158
click to vote
FQAS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Research in Cooperative Query answering is triggered by the observation that users are often not able to correctly formulate queries to databases that return the intended...
182
click to vote
FSE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Grain [11] is a lightweight stream cipher submitted by M. Hell, T. Johansson, and W. Meier to the eSTREAM call for stream cipher proposals of the European project ECRYPT ...
150
click to vote
FSKD
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. It is difficult to understand a scene from visual information in uncertain real world. Since Bayesian network (BN) is known as good in this uncertainty, it has received s...
127
click to vote
EDO
2000
Springer
15 years 10 months ago
2000
Springer
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...