A method for developing software code and estimating processor execution time
作者： Michel Schellekens
DOI:
关键词: Software 、 Computer science 、 Code (cryptography) 、 Static analysis 、 Data structure 、 Computer hardware 、 Execution time 、 Digital processor 、 Real-time computing 、 Data processing system 、 Time value of money
摘要: A method (1) of developing software code for executing on a target digital processor uses memory in which it maintains data structures having elements, each the elements storing is represented by label, and at least some links between are created as being processed. The comprises step (3) writing with structure processing operations comply random preservation rules (2). static analysis timing tool automatically parses (4) developed (2) to identify all operations. It determines (7) from an operation possible input states that average time value execution processor, stores (9) said value. (8) output operation. repeats steps (7 8) next operation, using determined states. generates (11) total sum times stored (9).
lens.org 参考文章(3)
Lalita Jategaonkar Jagadeesan, Christopher Colby, Patrice Ismael Godefroid, Method for automatically closing open reactive systems ,(1998)
Philippe Flajolet, Bruno Salvy, Paul Zimmermann, Automatic average-case analysis of algorithms Theoretical Computer Science. ,vol. 79, pp. 37- 109 ,(1991) , 10.1016/0304-3975(91)90145-R
M. Schellekens, M. Boubekeur, J. Mc Enery, D. Hickey, Towards modular average-case timing in real-time languages: an application to real-time Java ACS'06 Proceedings of the 6th WSEAS international conference on Applied computer science. pp. 249- 254 ,(2006)