15777 search results - page 676 / 3156 » The Reformulation-Optimization Software Engine |
159
click to vote
AC
2003
Springer
16 years 4 days ago
2003
Springer
We address the problem of deciding uniformly for graphs or languages of a given class whether they are generated by unlabelled Place-Transition nets whose sets of reachable marking...
152
click to vote
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we take the concept of benchmarking as used extensively in computing and apply it to evaluating C++ fact extractors. We demonstrated the efficacy of this approach b...
154
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
se Analysis of Discrete Systems Based on Conditional Abstractions Felice Balarin Cadence Berkeley Laboratories