694 search results - page 17 / 139 » Open Graphs and Computational Reasoning |
107
click to vote
DAC
2001
ACM
16 years 2 months ago
2001
ACM
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...
113
click to vote
SC
2000
ACM
15 years 5 months ago
2000
ACM
This paper investigates the performance implications of data placement in OpenMP programs running on modern ccNUMA multiprocessors. Data locality and minimization of the rate of r...
110
click to vote
SAC
2008
ACM
15 years 21 days ago
2008
ACM
Open MASs can be extremely dynamic due to heterogeneous agents that migrate among them to obtain resources or services not found locally. In order to prevent malicious actions and...
CHI
2009
ACM
16 years 1 months ago
2009
ACM
Some of the most interesting differences between Open Source Software (OSS) development and commercial colocated software development lie in the communication and collaboration pr...
125
Voted
TIME
2007
IEEE
15 years 7 months ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...