643 search results - page 40 / 129 » tools 1998 |
110
Voted
FASE
1998
Springer
15 years 4 months ago
1998
Springer
A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual t...
118
Voted
PC
1998
15 years 4 days ago
1998
Current communications tools and libraries for high performance computing are designed for platforms and applications that exhibit relatively stable computational and communicatio...
110
click to vote
CORR
2010
Springer
15 years 18 days ago
2010
Springer
One of the difficulties in calculating the capacity of certain Poisson channels is that H(), the entropy of the Poisson distribution with mean , is not available in a simple form. ...
105
Voted
CADE
1998
Springer
15 years 4 months ago
1998
Springer
The CRIL multi-strategy platform for SAT includes a whole family of local search techniques and some of the best Davis and Putnam strategies for checking propositional satis abilit...
112
click to vote
TCAD
1998
15 years 4 days ago
1998
Most existing tools for the synthesisof asynchronouscircuits from Signal Transition Graphs (STGs) derive the reachability graph for the calculation of logic equations. This paper ...