3624 search results - page 268 / 725 » Abstract Algebraic Logic |
150
click to vote
CLEIEJ
2004
15 years 6 months ago
2004
ept of reconfigurable systems is almost always restricted to the abstract design level, in which configuration languages are used to manipulate software connections. In this paper...
284
click to vote
JUCS
2002
15 years 6 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
194
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...
162
click to vote
ISMVL
2007
IEEE
16 years 24 days ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
200
click to vote
LPNMR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and checkâ...