3624 search results - page 580 / 725 » Abstract Algebraic Logic |
188
click to vote
FOIKS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We extend the open answer set semantics for programs with generalized literals. Such extended programs (EPs) have interesting properties, e.g. the ability to express infi...
164
click to vote
EDO
2000
Springer
15 years 9 months ago
2000
Springer
Developing a distributed application is hard due to the complexity inherent to distributed communication. Moreover, distributed object communication technology is always changing,...
176
click to vote
FMCAD
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
177
click to vote
DAC
1995
ACM
15 years 9 months ago
1995
ACM
Abstract—With delays due to the physical interconnect dominating the overall logic path delays, circuit-level delay optimization must take interconnect effects into account. Inst...
150
click to vote
VL
1995
IEEE
15 years 9 months ago
1995
IEEE
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...