1269 search results - page 123 / 254 » Pi-Calculus in Logical Form |
107
click to vote
CSL
1999
Springer
15 years 5 months ago
1999
Springer
This paper describes a new data structure, difference decision diagrams (DDDs), for representing a Boolean logic over inequalities of the form ¡£¢¥¤§¦©¨ and ¡¢¥¤Â...
101
click to vote
WMCSA
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper describes an approach for enabling remote database access from heterogeneous thin clients. DataX is a proxy-based architecture that supports disconnected operation by r...
102
Voted
SIGGRAPH
2010
ACM
15 years 4 months ago
2010
ACM
We develop an accurate, unified treatment of elastica. Following the method of resultant-based formulation to its logical extreme, we derive a higher-order integration rule, or el...
99
Voted
CSR
2006
Springer
15 years 4 months ago
2006
Springer
We present a method to convert the construction of binary decision diagrams (BDDs) into extended resolution proofs. Besides in proof checking, proofs are fundamental to many applic...
FPL
2006
Springer
15 years 4 months ago
2006
Springer
Ripple-carry architectures are the norm in today's reconfigurable fabrics. They are simple, require minimal routing, and are easily formed across arbitrary cells in a fabric....