462 search results - page 81 / 93 » Symbolic Bounded Synthesis |
134
Voted
ISSAC
2007
Springer
15 years 9 months ago
2007
Springer
Algebraic randomization techniques can be applied to hybrid symbolic-numeric algorithms. Here we consider the problem of interpolating a sparse rational function from noisy values...
134
Voted
ISSAC
2007
Springer
15 years 9 months ago
2007
Springer
The black box algorithm for separating the numerator from the denominator of a multivariate rational function can be combined with sparse multivariate polynomial interpolation alg...
145
Voted
IEEECIT
2005
IEEE
15 years 9 months ago
2005
IEEE
We report on a case study in which SAL model checkers have been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion prope...
123
Voted
FSTTCS
2005
Springer
15 years 9 months ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
113
Voted
FSTTCS
2004
Springer
15 years 9 months ago
2004
Springer
d Abstract) Zhe Dang ¡£¢¤¢ , Oscar H. Ibarra ¥ , Pierluigi San Pietro ¦ , and Gaoyan Xie ¡ § School of Electrical Engineering and Computer Science Washington State Univers...