501 search results - page 66 / 101 » Diagram Techniques for Confluence |
111
click to vote
DATE
2000
IEEE
15 years 5 months ago
2000
IEEE
The classical solving approach for two-level logic minimisation reduces the problem to a special case of unate covering and attacks the latter with a (possibly limited) branch-and...
104
click to vote
EDO
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
130
click to vote
CAV
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Constrained random simulation is supported by constraint solvers integrated within simulators. These constraint solvers need to be fast and memory efficient to maintain s...
ASPDAC
2005
ACM
15 years 3 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...
122
click to vote
FORTE
2007
15 years 3 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...