2585 search results - page 56 / 517 » Automating Coherent Logic |
LPAR
2001
Springer
14 years 2 months ago
2001
Springer
A simple model of dynamic databases is studied from a modal logic perspecitve. A state α of a database is an atomic update of a state β if at most one atomic statement is evaluat...
CADE
2005
Springer
14 years 10 months ago
2005
Springer
SIGSOFT
2000
ACM
14 years 2 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
EDOC
2002
IEEE
14 years 2 months ago
2002
IEEE
For the majority of front-end e-business systems, the assumption of a coherent and homogeneous set of interfaces is highly unrealistic. Problems start in the back-end, with system...
DAC
2001
ACM
14 years 10 months ago
2001
ACM
The interlock and forwarding logic is considered the tricky part of a fully-featured pipelined microprocessor and especially debugging these parts delays the hardware design proce...