1. ScholarBank@NUS
  2. 1. Staff
  3. Staff Publications
Please use this identifier to cite or link to this item: https://doi.org/10.1109/SYNASC.2007.15
DC FieldValue
dc.titleA tool for calculating exponential run-time properties
dc.contributor.authorAnderson, H.
dc.contributor.authorKhoo, S.-C.
dc.contributor.authorLiu, Y.
dc.date.accessioned2013-07-04T08:27:48Z
dc.date.available2013-07-04T08:27:48Z
dc.date.issued2007
dc.identifier.citationAnderson, H., Khoo, S.-C., Liu, Y. (2007). A tool for calculating exponential run-time properties. Proceedings - 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007 : 25-32. ScholarBank@NUS Repository. https://doi.org/10.1109/SYNASC.2007.15
dc.identifier.isbn0769530788
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/41449
dc.description.abstractAffine size-change analysis has been used for calculating precise polynomial bounds on the run times, and stack depths of affine size-change terminating programs. Such polynomial costs may be discovered by a characterization as a problem in quantifier elimination. In this paper we extend this work to cover a class of exponential cost programs. The tool described allows the calculation of run-time and stack-depth costs for some classes of exponential-cost programs, again by using quantifier elimination. The technique is automated, and uses the reduce computer algebra system. © 2008 IEEE.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1109/SYNASC.2007.15
dc.sourceScopus
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.doi10.1109/SYNASC.2007.15
dc.description.sourcetitleProceedings - 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007
dc.description.page25-32
dc.identifier.isiut000264583000005
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.