12745 search results - page 241 / 2549 » Automating test automation |
143
click to vote
CSL
1992
Springer
15 years 10 months ago
1992
Springer
ating Point Numbers (Abstract). In: Berichte aus Informatik
152
click to vote
KR
1992
Springer
15 years 10 months ago
1992
Springer
An algorithm is presented which eliminates second
150
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
This text gives an overview about my current research in timing analysis
158
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the