200 search results - page 3 / 40 » Tyrolean Termination Tool |
ENTCS
2007
13 years 6 months ago
2007
Context-sensitive rewriting (CSR) is a restriction of rewriting which forbids reductions on selected arguments of functions. Proving termination of CSR is an interesting problem w...
TPHOL
2007
IEEE
14 years 16 days ago
2007
IEEE
Terminator is a static analysis tool developed by Microsoft Research for proving termination of Windows device drivers written in C. This proof pearl describes a formalization in h...
CALCO
2009
Springer
14 years 25 days ago
2009
Springer
MAM
2002
13 years 5 months ago
2002
DSP software development has been tied down by extreme computational requirements. Furthermore, the DSP development tools available today are less advanced than in other embedded ...
WSC
2008
13 years 8 months ago
2008
Hinterland terminals enable the transshipment of containers between various modes of transport and play a significant role in intermodal freight transportation. In this paper we p...