395 search results - page 60 / 79 » Encoding Algorithms for Logic Synthesis |
130
click to vote
ICTAC
2010
Springer
15 years 7 days ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
123
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract-- We present a computational framework for automatic synthesis of a feedback control strategy for a piecewise affine (PWA) system from a specification given as a Linear Te...
148
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
161
click to vote
UAI
1997
15 years 3 months ago
1997
Bayesian networks provide a modeling language and associated inference algorithm for stochastic domains. They have been successfully applied in a variety of medium-scale applicati...
122
Voted
ICCAD
2002
IEEE
15 years 11 months ago
2002
IEEE
— One of the bottlenecks in the recent movement of hardware synthesis from behavioral C programs is the difficulty in reasoning about runtime pointer values at compile time. The...