5608 search results - page 808 / 1122 » Structure description tools |
157
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
147
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
It has been shown that Binary Decision Diagram (BDD) based logic synthesis enjoys faster runtime than the classic logic synthesis systems based on Sum of Product (SOP) form. Howev...
181
click to vote
EKAW
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Qualitative reasoning uses a limited set of relevant distinctions of the domain to allow a flexible way of representing and reasoning about it. This work presents a conce...
180
click to vote
CISS
2008
IEEE
15 years 8 months ago
2008
IEEE
Inference of the network structure (e.g., routing topology) and dynamics (e.g., traffic matrices, link performance) is an important component in many network design and management ...
165
click to vote
COMPGEOM
2008
ACM
15 years 8 months ago
2008
ACM
A web application is presented to compute, plot, and interactively explore planar arrangements induced by algebraic plane curves of arbitrary degree. It produces accurate curve pl...