51 search results - page 2 / 11 » cav 2009 |
100
Voted
CAV
2009
Springer
16 years 4 months ago
2009
Springer
84
Voted
CAV
2009
Springer
16 years 4 months ago
2009
Springer
101
Voted
CAV
2009
Springer
16 years 4 months ago
2009
Springer
97
Voted
CAV
2009
Springer
16 years 4 months ago
2009
Springer
101
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
The SPEED project addresses the problem of computing symbolic computational complexity bounds of procedures in terms of their inputs. We discuss some of the challenges that arise a...