ΠΠΎΠ΄Π΅Π»ΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅, ΡΠ±ΠΎΡ ΠΈ Π°Π½Π°Π»ΠΈΠ· ΠΊΠΎΠ»ΠΈΡΠ΅ΡΡΠ²Π΅Π½Π½ΡΡ Ρ Π°ΡΠ°ΠΊΡΠ΅ΡΠΈΡΡΠΈΠΊ ΡΡΠ½ΠΊΡΠΈΠΎΠ½ΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΡΠ°ΡΠΏΡΠ΅Π΄Π΅Π»Π΅Π½Π½ΡΡ ΡΠ°Π·Π½ΠΎΡΠΎΠ΄Π½ΡΡ Π°ΠΏΠΏΠ°ΡΠ°ΡΠ½ΠΎ-ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠ½ΡΡ ΠΊΠΎΠΌΠΏΠ»Π΅ΠΊΡΠΎΠ²
ΠΡΠΎΡΠΈΠ»ΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ ΡΠ²Π»ΡΠ΅ΡΡΡ Π²Π°ΠΆΠ½ΡΠΌ Π°ΡΠΏΠ΅ΠΊΡΠΎΠΌ ΠΊΠΎΠ½ΡΡΠΎΠ»ΠΈΡΡΠ΅ΠΌΠΎΠ³ΠΎ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΡ ΡΠ»ΠΎΠΆΠ½ΡΡ ΡΠΈΡΡΠ΅ΠΌ. Π Π΅Π°Π»ΠΈΠ·ΠΎΠ²Π°Π½Π½ΡΠΉ Π² ΡΠ°ΠΌΠΊΠ°Ρ ΠΈΠ½ΡΡΡΡΠΌΠ΅Π½ΡΠ°Π»ΡΠ½ΠΎΠ³ΠΎ ΠΊΠΎΠΌΠΏΠ»Π΅ΠΊΡΠ° Π‘ΠΠ ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ ΠΏΡΠΎΡΠΈΠ»ΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΠΏΠΎΠ·Π²ΠΎΠ»ΡΠ΅Ρ ΡΡΡΠ΅ΠΊΡΠΈΠ²Π½ΠΎ ΠΎΡΡΡΠ΅ΡΡΠ²Π»ΡΡΡ Π½Π°ΡΡΡΠΎΠΉΠΊΡ ΠΏΡΠΈΠ»ΠΎΠΆΠ΅Π½ΠΈΠΉ Π΄Π»Ρ ΠΌΠ°ΠΊΡΠΈΠΌΠ°Π»ΡΠ½ΠΎΠ³ΠΎ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°Π½ΠΈΡ Π°ΠΏΠΏΠ°ΡΠ°ΡΠ½ΡΡ ΠΈ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠ½ΡΡ ΡΠ΅ΡΡΡΡΠΎΠ² ΡΠ΅Π»Π΅Π²ΠΎΠΉ ΡΠΈΡΡΠ΅ΠΌΡ. ΠΠ½ΡΠ΅Π³ΡΠ°ΡΠΈΡ ΠΏΡΠΎΡΠΈΠ»ΠΈΡΠΎΠ²Π°Π½ΠΈΡ Ρ Π΄ΡΡΠ³ΠΈΠΌΠΈ ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½ΡΠ°ΠΌΠΈ ΠΈΠ½ΡΡΡΡΠΌΠ΅Π½ΡΠ°Π»ΡΠ½ΠΎΠ³ΠΎ ΠΊΠΎΠΌΠΏΠ»Π΅ΠΊΡΠ°, ΡΠ°ΠΊΠΈΠΌΠΈ ΠΊΠ°ΠΊ ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ… Π§ΠΈΡΠ°ΡΡ Π΅ΡΡ >
Π‘ΠΏΠΈΡΠΎΠΊ Π»ΠΈΡΠ΅ΡΠ°ΡΡΡΡ
- ΠΡΡΠΊΠΎΠ²Π° Π. Π., ΠΠ°Π»Π°ΡΠ΅Π½ΠΊΠΎ Π. Π., ΠΠ°Π»ΠΈΠ½ΠΎΠ²ΡΠΊΠΈΠΉ Π. Π‘., Π¨ΠΌΡΡΠ΅Π² Π. Π. ΠΠ΄Π°ΠΏΡΠΈΠ²Π½Π°Ρ ΠΊΠΎΠΌΠΏΠΈΠ»ΡΡΠΈΡ Π½Π° ΠΎΡΠ½ΠΎΠ²Π΅ Π΄Π°Π½Π½ΡΡ ΠΏΡΠΎΡΠΈΠ»ΠΈΡΠΎΠ²Π°Π½ΠΈΡ // ΠΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΎΠ½Π½Π°Ρ Π±Π΅Π·ΠΎΠΏΠ°ΡΠ½ΠΎΡΡΡ. Π’Π΅Ρ Π½ΠΎΠ»ΠΎΠ³ΠΈΠΈ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ / ΠΠΎΠ΄ ΡΠ΅Π΄. ΠΠ΅ΡΠ΅Π»ΠΈΠ½Π°. — Π.: ΠΠΠΠ‘Π Π ΠΠ, 2007. — Π‘. 109−124.
- ΠΡΡΠΊΠΎΠ²Π° Π. Π., ΠΠ°Π»Π°ΡΠ΅Π½ΠΊΠΎ Π. Π., ΠΠ°Π»ΠΈΠ½ΠΎΠ²ΡΠΊΠΈΠΉ Π. Π‘., Π¨ΠΌΡΡΠ΅Π² Π. Π. ΠΠ΄Π°ΠΏΡΠΈΠ²Π½Π°Ρ ΠΊΠΎΠΌΠΏΠΈΠ»ΡΡΠΈΡ Π½Π° ΠΎΡΠ½ΠΎΠ²Π΅ Π΄Π°Π½Π½ΡΡ ΠΏΡΠΎΡΠΈΠ»ΠΈΡΠΎΠ²Π°Π½ΠΈΡ // ΠΡΠΎΠ³ΡΠ°ΠΌΠΌΠ½ΡΠ΅ ΠΏΡΠΎΠ΄ΡΠΊΡΡ ΠΈ ΡΠΈΡΡΠ΅ΠΌΡ. — 2007. — № 3. — Π‘. 5−8.
- ΠΡΡΠΊΠΎΠ²Π° Π. Π., Π¨ΠΌΡΡΠ΅Π² Π. Π. ΠΈ Π΄Ρ. ΠΠΏΠΈΡΠ°Π½ΠΈΠ΅ ΠΎΡΠ»Π°Π΄ΠΎΡΠ½ΠΎΠ³ΠΎ ΠΊΠΎΠΌΠΏΠ»Π΅ΠΊΡΠ° Π‘ΠΠ // ΠΠ½ΡΡΡΡΠΌΠ΅Π½ΡΠ°Π»ΡΠ½ΡΠ΅ ΡΡΠ΅Π΄ΡΡΠ²Π° ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ / ΠΠΎΠ΄ ΡΠ΅Π΄. ΠΠ΅ΡΠ΅Π»ΠΈΠ½Π°. Π.: ΠΠΠΠ‘Π Π ΠΠ, 2006. — Π‘. 4−50.
- ΠΠ°Π»Π°ΡΠ΅Π½ΠΊΠΎ Π. Π., ΠΠΎΡΡΡΡ ΠΈΠ½ Π. Π., ΠΠ°Π»ΠΈΠ½ΠΎΠ²ΡΠΊΠΈΠΉ Π. Π‘., Π¨ΠΌΡΡΠ΅Π² Π. Π. ΠΠΎΠ΄Π΅Π»ΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ ΠΈ Π²Π΅ΡΠΈΡΠΈΠΊΠ°ΡΠΈΡ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌ ΠΊΠ°ΠΊ ΡΠ»Π΅ΠΌΠ΅Π½Ρ ΠΊΠΎΠ½ΡΡΠΎΠ»ΠΈΡΡΠ΅ΠΌΠΎΠ³ΠΎ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΡ // ΠΡΠΎΠ³ΡΠ°ΠΌΠΌΠ½ΡΠ΅ ΠΏΡΠΎΠ΄ΡΠΊΡΡ ΠΈ ΡΠΈΡΡΠ΅ΠΌΡ. — 2008. — № 4. — Π‘. 14−17.
- ΠΠΎΠ΄ΡΠ½ΠΎΠ² Π. Π. ΠΈ Π΄Ρ. ΠΠ²Π΅Π΄Π΅Π½ΠΈΠ΅ Π² ΠΎΡ2000 // ΠΠΎΠΏΡΠΎΡΡ ΠΊΠΈΠ±Π΅ΡΠ½Π΅ΡΠΈΠΊΠΈ / ΠΠΎΠ΄ ΡΠ΅Π΄. ΠΠ΅ΡΠ΅Π»ΠΈΠ½Π°. — Π.: ΠΠΠΠ‘Π Π ΠΠ, 1999.
- ΠΠ ΠΠΎΡΡΠ½Π΄-Π.— Π‘Π΅ΠΌΠ΅ΠΉΡΡΠ²ΠΎ ΠΠΠ Π΄Π»Ρ ΡΠΏΠ΅ΡΠΈΠ°Π»ΠΈΠ·ΠΈΡΠΎΠ²Π°Π½Π½ΡΡ ΠΏΡΠΈΠΌΠ΅Π½Π΅Π½ΠΈΠΉ, 1997.
- ΠΠΎΡΡΡΡ ΠΈΠ½ Π. Π. ΠΡΠ³Π°Π½ΠΈΠ·Π°ΡΠΈΡ ΠΊΠΎΠ½ΡΡΠΎΠ»ΠΈΡΡΠ΅ΠΌΠΎΠ³ΠΎ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΡ Π΄Π»Ρ ΡΠ°Π·Π½ΠΎΡΠΎΠ΄Π½ΡΡ ΡΠ°ΡΠΏΡΠ΅Π΄Π΅Π»Π΅Π½Π½ΡΡ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠ½ΠΎ-Π°ΠΏΠΏΠ°ΡΠ°ΡΠ½ΡΡ ΠΊΠΎΠΌΠΏΠ»Π΅ΠΊΡΠΎΠ²: Ph.D.thesis / ΠΠ°ΡΡΠ½ΠΎ-ΠΈΡΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΡΠΊΠΈΠΉ ΠΈΠ½ΡΡΠΈΡΡΡ ΡΠΈΡΡΠ΅ΠΌΠ½ΡΡ ΠΈΡΡΠ»Π΅Π΄ΠΎΠ²Π°Π½ΠΈΠΉ. — 2006.
- ΠΠΎΡΡΡΡ ΠΈΠ½ Π. Π., ΠΠ°Π»ΠΈΠ½ΠΎΠ²ΡΠΊΠΈΠΉ Π. Π‘., Π¨ΠΌΡΡΠ΅Π² Π. Π. ΠΡΠ³Π°Π½ΠΈΠ·Π°ΡΠΈΡ ΠΏΡΠΎΡΠΈΠ»ΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΡΠ»ΠΎΠΆΠ½ΡΡ ΡΠΈΡΡΠ΅ΠΌ Π² ΡΡΠ»ΠΎΠ²ΠΈΡΡ Π΄Π΅ΡΠΈΡΠΈΡΠ° ΡΠ΅ΡΡΡΡΠΎΠ² // ΠΡΠΎΠ³ΡΠ°ΠΌΠΌΠ½ΡΠ΅ ΠΏΡΠΎΠ΄ΡΠΊΡΡ ΠΈ ΡΠΈΡΡΠ΅ΠΌΡ. — 2008. — № 4. — Π‘. 17−20.
- Π¨ΠΌΡΡΠ΅Π² Π. Π. Π€ΠΎΡΠΌΠ°Π»ΡΠ½Π°Ρ ΠΌΠΎΠ΄Π΅Π»Ρ ΠΊΠΎΠ½ΡΡΠΎΠ»ΠΈΡΡΠ΅ΠΌΠΎΠ³ΠΎ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΡ // Π’Π΅Ρ Π½ΠΎΠ»ΠΎΠ³ΠΈΠΈ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ. Π£ΡΠ΅ΡΠ½ΡΠ΅ ΡΠΈΡΡΠ΅ΠΌΡ. ΠΡΡΠΎΠ½ΠΎΡΠΌΠΈΡΠΎΠ²Π°Π½-Π½ΡΠ΅ ΡΠΈΡΡΠ΅ΠΌΡ / ΠΠΎΠ΄ ΡΠ΅Π΄. ΠΠ΅ΡΠ΅Π»ΠΈΠ½Π°. — Π.: ΠΠΠΠ‘Π Π ΠΠ, 2008. — Π‘. 141 148.
- Anand Π., Kim J.,, Lee I. Code generation from hybrid systems models for distributed embedded systems // ISORC. — 2005. — Pp. 28−36.
- Baudm P., Filliatre J.-C., Marche G. et al— ASCL: ANSI/ISO Π‘ Specification Language, 2008.
- Auguston M., Jeffery C., Underwood S. A framework for automatic debugging // Automated Software Engineering. — 2002. — Pp. 217−222.
- Auguston M., Jeffery C., Underwood S. A monitoring language for run time and post-mortem behavior analysis and visualization // AADEBUG. — 2003.
- Benini S. L., Micheli G. D., Hans M. Source code optimization and profiling of energy consumption in embedded systems //In International Symposium on System Synthesis. — 2000. — Pp. 193−198.
- Beyer D., Henzinger T. A., Jhala R., Majumdar R. Checking Memory Safety with BLAST // FASE'05. — 2005. Pp. 2−18.
- Beyer D., Henzinger Π’., Jhala R., Majumdar R. The Software Model Checker BLAST: Applications to Software Engineering // Int. Journal on Software Tools for Technology Transfer2007.— no. 9(5−6).— Pp. 505 525.
- Binkley D. Source code analysis: A road map // Future of Software Engineering (FOSE). — 2007. — Pp. 104−119.
- Boldo S., Filliatre J.-G. Formal verification of floating-point programs // CF. 2008.
- Boronat A., Meseguer J. An Algebraic Semantics for MOF // FASE. — 2008.
- Brunst H., Knupfer A. — Open Trace Format API Specification. Version 1.1. — http://www.paratools.com/otf/specification.pdf.
- Burger R. G., Dybvig R. K. An infrastructure for profile-driven dynamic recompilation // In ICCL'98, the IEEE Computer Society International Conference on Computer Languages. — IEEE, 1998.— Pp. 240−251.
- Carloni L., Benedetto M. D. D., Pinto A., Sangiovanni-Vincentelli A. — Modeling Techniques, Programming Languages, Design Toolsets and Interchange Formats for Hybrid Systems, 2004.
- Chaki S., Clarke E., Sharygina N. Sinha N. Dynamic component substi-tutability analysis //In Proc. of Conf. on Formal Methods.— Springer Verlag, 2005.-Pp. 512−528.
- Chanda A., Cox A. L., Zwaenepoel W. Whodunit: transactional profiling for multi-tier applications // SIGOPS Oper. Syst. Rev. — 2007. — Vol. 41, no. 3. Pp. 17−30.
- Chang P., Mahlke S., Hwu W. Using profile information to assist classic code optimizations I j Software: Practice and Experience. — 1991. — December. — no. 21(12). — Pp. 1301−1321.
- Chen F., Rosu G. MOP: Reliable Software Development using Abstract Aspects: Tech. rep.: Dept. of Computer Science, University of Illinois, 2006.
- Chen W. Y. et al. Profile-assisted instruction scheduling // International Journal of Parallel Programming. — 1994. — Vol. 22, no. 2. — Pp. 151−181
- Compositional quantitative reasoning / K. Chatterjee, L. de Alfaro, M. Faella et al. // ACM. 2007.
- Cox J., Howel D., Conte T. Commercializing Profile-Driven Optimization // Proceedings of the 28th Annual Hawaii lntemotional Conference on System Sciences. — 1995.
- Dauphin P. Combining functional and performance debugging of parallel and distributed systems based on model-driven monitoring //In 2nd Eu-romicro Workshop on Parallel and Distributed Processing. — IEEE Computer Society Press, 1994. — Pp. 463−470.
- Efficient Verification of Sequential and Concurrent Π‘ Programs / S. Chaki, E. Clarke, A. Groce et al. // Formal Methods in System Design. — 2004.— Vol. 25, no. 2−3. — Pp. 129−166.
- End-user tools for application performance analysis using hardware counters / K. London, J. Dongarra, M. S. et al. // International Conference on Parallel and Distributed Computing Systems. — 2001.
- Espinoza H., Servat D., Gerard S. Leveraging Analysis-Aided Design Decision Knowledge in UML-Based Development of Embedded Systems // SHARK. — 2008.— Pp. 55−62.
- Experiences and lessons learned with a portable interface to hardware performance counters / J. Dongarra, K. London, S. Moore et al. // IPDPS 2003.— 2003.
- Filliatre J.-C- Verification of nun-functional programs using interpretations in type theory // J. Functional Programming. — 2003.— Vol. 13, no. 4.— Pp. 709−745.
- Filliatre J.-C., Marche C. The Why/Krakatoa/Caduceus Platform for Deductive Program Verification // OOPSLA. — 2004.
- GCC: the GNU Compiler Collection. —http://gcc.gnu.org.
- Gherbi A., Khendek F. Timed-automata Semantics and Analysis of UML/SPT Models with Concurrency // Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing. — 2007. — Pp. 412−419.
- GNU binutils home page, — http://www.gnu.org/software/bmutils/binutils.html.
- Gunter R. Profile driven loop transformations // GCC Developers Summit Procedings. — Ottawa, Ontario, Canada: 2006.— June.
- Gu G. P., Petriu D. C. From UML to LQN by XML algebra-based model transformations // Proceedings of the 5th international workshop on Software and performance. — 2005. — Pp. 99 110.
- Hammond K., Ferdinand C., Heckmann R. Towards formally verifiable resource bounds for real-time embedded systems // SIGBED Rev. — 2006. — Vol. 3, no. 4. Pp. 27−36.
- Havelund Π. Run-Time Verification of Π‘ Programs // 1st Int. TEST-COM/FATES Conference on Testing of Communicating Systems (TEST-COM) and Formal Approaches to Testing of Software (FATES). — 2008.
- Havelund K., Wyk E. V. Aspect-Oriented Monitoring of Π‘ Programs // EUROMICRO’tM. 2008.
- Heath M. Π’., Malony A. D., Rover D. T. Parallel performance visualization: From practice to theory // IEEE Parallel Distrib. Technol. —1995. — Vol. 3, no. 4. — Pp. 44−60.
- Henzinger T. A., Alur R. Logics and models of real time // Real Time: Theory in Practice, Lecture Notes in Computer Science.— 1992.— Vol. 600.
- Henzinger T. A., Horowitz Π., Majumdar R., Wong-toi H. Beyond HYTECH: Hybrid systems analysis using interval numerical methods // in HSCC. Springer, 2000. — Pp. 130−144.
- Henzinger T. A., Sifakis J. The embedded systems design challenge // 14th International Symposium on Formal Methods (FM). — 2006. — Pp. 1−15.
- Henzinger Π’., Kirsch C., Sanvido M., Pree W. From control models to real-time code using Giotto // IEEE Control Systems Magazine. — 2003.— Vol. 23(1).-Pp. 50−64.
- Herzinger Π’., R. Jhalla, R. Majumdar, G.Sutre. Lazy abstraction, principles of programming languages // ACM. — 2002. — Pp. 58−70.
- Hoare C. A. R. An axiomatic basis for computer programming // Communications of ACM.— 1969. — Vol. 12(10).—Pp. 576−583.
- Hoskins D. S., Colbourn C. J., Montgomery D. C. Software performance testing using covering arrays // WOSP. — 2005.
- Hubicka J. Profile driven optimizations in gcc // GCC Developers Summit Procedings. — Ottawa, Ontario, Canada: 2005. — June.
- Jantsch A., Sander I. Models of computation and languages for embedded system design // IEE Proceedings on Computers and Digital Techniques. — 2005. Pp. 114−129.
- Jayaputera J., Poernomo I., Schmidt H. Runtime Verification of Timing and Probabilistic Properties using WMI and .NET // EUROMICRO'04. -2004.
- Jejjry T Russell M. F. J. Scenario-based software characterization as a contingency to traditional program profiling // CASES. — 2002.
- JML: notations and tools supporting detailed design in Java / G. T. Leavens, K. Rustan, M. Leino et al. // OOPSLA. — 2000. — Pp. 105−106.
- Jones J., Harrold M. Empirical evaluation of the tarantula automatic fault-localization technique // Proc. of the 20th IEEE/ACM International Conference on Automated Software Engineering.— 2005.
- JozefH. Extending Hoare logic to Real-Time // Formal aspects of computing. — 1995.
- Kistler Π’., Franz M. Continuous program optimization: A case study // ACM Transactions on Programming Languages and Systems.— 2003.— July. Vol. 25, no. 4. — Pp. 500−548.
- Lamport L. The temporal logic of actions // ACM Transactions on Programming Languages and Systems. — 1994. — Vol. 16(3). — Pp. 872−923.
- Lattner C. LLVM: An Infrastructure for Multi-Stage Optimization: Ph.D. thesis / University of Illinois at Urbana-Champaign. — 2002.
- Lavagno L., Sangiovanni-vincentelli A., Sentovich E. Models of computation for embedded system design //in NATO ASI Proc. on System Synthesis. — Kluwer Academic Publishers, 1998. — Pp. 45−102.
- Liu Z., Joseph M. Real-Time and Fault-Tolerant Systems. Specification, verification, refinement and scheduling. — UUNU/IIST, 2005.
- Maier-Komor T.} von Bulow A., Farber G. MetaC and its Use for Automated Source Code Instrumentation of Π‘ Programs for Real-Time Analysis // Euromicro Conference on Real-Time Systems. — 2003.
- Malony A. D., Helm B. R. A theory and architecture for automating performance diagnosis // Future Gener. Comput. Syst.— 2001.— Vol. 18, no. 1.—Pp. 189−200.
- Malony A. D., Shende S. The TAU Parallel Performance System // International Journal of High Performance Computing Applications. — 2006. — Vol. 20, no. 2.- Pp. 287−311.
- Management O. — UML Profile for Schedulabibity, Performance and Time Specification, 2005.
- Manna Z., Pnueli A. The Temporal Logic of Reactive and Concurrent Systems: Specification. — Springer-Verlag, 1991.
- Modular Verification of Software Components in Π‘ // Transactions on Soft-ware Engineering (TSE).— 2004. — Vol. 30, no. 6. — Pp. 388−402.
- Monate Π., Signoles J. Slicing for Security of Code // Trust '08: Proceedings of the 1st international conference on Trusted Computing and Trust ini Information Technologies. — Berlin, Heidelberg: Springer-Verlag, 2008.— Pp. 133−142.
- Moseley P., Debray S., Andrews G. Checking program profiles // Third IEEE International Workshop of Source Code Analysis and Manipulation. — 2003.
- Nicolau A. Run-time disambiguation: coping with statically unpredictable dependencies // ieeetc. — 1989. — May. — Vol. 38. — Pp. 663−678.
- Object Management Group: Meta Object Facility (MOF) 2.0 Core Specification:. — http://www.omg.org/docs/formal/06−01−01.pdf.85. oprofile home page. — http://oprofile.sourceforge.net.
- PAPI User’s Guide.—http://icl.cs.utk.edu/projects/papi.
- Parallel Tools Consortium. — http://www.ptools.org.
- Performance technology for parallel and distributed component software: Research articles / A. Malony, S. Shende, N. Trebon et al. // Concurr. Comput.: Pract. Exper. — 2005. — Vol. 17, no. 2−4. — Pp. 117−141.
- Pnueli A. The temporal logic of programs // 18th Annual Symposium on Foundations of Computer Science. — 1977. — Pp. 46−57.
- Profiling tools for hardware/software partitioning of embedded applications // LCTES. — 2003.91. iSchneider F. Π., Bloom Π., Marzullo K. Putting time into proof outlines // Real-Time: Theory in Practice. — 1992. — Pp. 618−639.
- Smith C. The evolution of software performance engineering: A survey // IEEE. — 1986.
- Smith C., Williams L. QSEM: Quantitative Scalability Evaluation Method // IEEE. — 2005.
- Spear W., Malony A. D., Morris A., Shende S. Integrating TAU With Eclipse: A Performance Analysis System in an Integrated Development Environment // High Performance Computing and Communications.— 2006.- Pp. 230−239.
- System level performance analysis the SymTA/S approach / R. Henia, A. Hamann, M. Jersak et al. // Computers and Digital Techniques, IEE. — 2005. — Vol. 152. — Pp. 148 — 166.
- The Coq Proof Assistant. — http://coq.inria.fr.
- The Frama-C framework for analysis of Π‘ code. — http://frama-c.cea.fr/.
- Truong H.-L., Fahringer T. Self-managing sensor-based middleware for performance monitoring and data integration in grids //19 IEEE International Parallel and Distributed Processing Symposium (IPDPS 2005). — IEEE, 2005.
- Truong H.-L., Fahringer T. Soft computing approach to performance analysis of parallel and distributed programs // Euro-Par 2005 Parallel Processing. — 2005. — Pp. 50−60.
- Valgrind home page. — http://valgrind.org.
- Vetter J. S., Worley P. H. Asserting performance expectations // Super-computing '02: Proceedings of the 2002 ACM/IEEE conference on Su-percomputing. — Los Alamitos, CA, USA: IEEE Computer Society Press, 2002.-Pp. 1−13.
- Weiss A. R. — Dhrystone Benchmark. White Paper, 2002. — October. — http://www.ebenchmarks.com.
- Woodside M., Franks G., Petriu D. C. The future of software performance engineering // FOSE '07: 2007 Future of Software Engineering.— Washington, DC, USA: IEEE Computer Society, 2007. — Pp. 171−187.
- Yi J., Woo H., Browne J. Π‘., ΠΠΎΠΊ A. K. Runtime Verification of Timing and Probabilistic Properties using WMI and .NET // IEEE Real-Time and Embedded Technology and Aplication Symposium. — 2008.