Zeitschriftenartikel zum Thema „Programs analysis“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Zeitschriftenartikel für die Forschung zum Thema "Programs analysis" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Zeitschriftenartikel für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
Harris, William R., Sriram Sankaranarayanan, Franjo Ivančić und Aarti Gupta. „Program analysis via satisfiability modulo path programs“. ACM SIGPLAN Notices 45, Nr. 1 (02.01.2010): 71–82. http://dx.doi.org/10.1145/1707801.1706309.
Der volle Inhalt der QuelleSchwarzer, Ralf. „Meta-analysis programs“. Behavior Research Methods, Instruments, & Computers 20, Nr. 3 (Mai 1988): 338. http://dx.doi.org/10.3758/bf03203853.
Der volle Inhalt der QuelleKaziliūnas, Adolfas. „The Knowledge Management Process for Implementing Quality Improvement Programs“. Informacijos mokslai 62 (01.01.2012): 97–108. http://dx.doi.org/10.15388/im.2012.0.1580.
Der volle Inhalt der QuellePsarris, Kleanthis. „Program analysis techniques for transforming programs for parallel execution“. Parallel Computing 28, Nr. 3 (März 2002): 455–69. http://dx.doi.org/10.1016/s0167-8191(01)00132-6.
Der volle Inhalt der QuelleSun, Kwangwon, und Sukyoung Ryu. „Analysis of JavaScript Programs“. ACM Computing Surveys 50, Nr. 4 (08.11.2017): 1–34. http://dx.doi.org/10.1145/3106741.
Der volle Inhalt der QuelleChaudhuri, Swarat, Sumit Gulwani und Roberto Lublinerman. „Continuity analysis of programs“. ACM SIGPLAN Notices 45, Nr. 1 (02.01.2010): 57–70. http://dx.doi.org/10.1145/1707801.1706308.
Der volle Inhalt der QuelleBakar, Normi Sham Awang Abu. „The Analysis of Object-Oriented Metrics in C++ Programs“. Lecture Notes on Software Engineering 4, Nr. 1 (2016): 48–52. http://dx.doi.org/10.7763/lnse.2016.v4.222.
Der volle Inhalt der QuelleIwamoto, Seiichi. „Associative Dynamic Programs“. Journal of Mathematical Analysis and Applications 201, Nr. 1 (Juli 1996): 195–211. http://dx.doi.org/10.1006/jmaa.1996.0250.
Der volle Inhalt der QuelleHui, Deng, Liu Hui, Guo Ying und Zhang Baofeng. „Memory Allocation Vulnerability Analysis and Analysis Optimization for C Programs Based on Formal Methods“. Journal of Software 10, Nr. 9 (September 2015): 1079–85. http://dx.doi.org/10.17706//jsw.10.9.1079-1085.
Der volle Inhalt der QuellePérez-Bóveda, Astrid, und Concepción Yániz Álvarez de Eulate. „Programas de formación parental. Análisis comparativo // Parenting programs. Comparative analysis“. REOP - Revista Española de Orientación y Psicopedagogía 26, Nr. 2 (07.09.2015): 104. http://dx.doi.org/10.5944/reop.vol.26.num.2.2015.15231.
Der volle Inhalt der QuelleYounghee, Noh, und Jeon Hyeonok. „"Effect Analysis of Humanities Program: Mainly in Religious Culture Programs"“. Journal of Humanities and Social sciences 21 11, Nr. 5 (30.10.2020): 171–86. http://dx.doi.org/10.22143/hss21.11.5.13.
Der volle Inhalt der QuelleWiser, Ryan, Scott Olson, Lori Bird und Blair Swezey. „Utility Green Pricing Programs: A Statistical Analysis of Program Effectiveness“. Energy & Environment 16, Nr. 1 (Januar 2005): 47–68. http://dx.doi.org/10.1260/0958305053516172.
Der volle Inhalt der QuelleLarrea, Claudio Marcelo. „An analysis of accreditation standards for undergraduate programs in Argentina“. New Trends and Issues Proceedings on Humanities and Social Sciences 4, Nr. 1 (26.08.2017): 43–48. http://dx.doi.org/10.18844/prosoc.v4i1.2050.
Der volle Inhalt der QuellePonikvar, Nina, Marija Anderluh, Eva Strmljan Kreslin und Mojca Marc. „ECONOMIC EVALUATION OF PREVENTIVE HEALTHCARE: A COST BENEFIT ANALYSIS OF A PARENTING PROGRAM“. EURASIAN JOURNAL OF SOCIAL SCIENCES 9, Nr. 2 (2021): 89–97. http://dx.doi.org/10.15604/ejss.2021.09.02.003.
Der volle Inhalt der QuelleZHANG, Jian. „Sharp Static Analysis of Programs“. Chinese Journal of Computers 31, Nr. 9 (11.10.2009): 1549–53. http://dx.doi.org/10.3724/sp.j.1016.2008.01549.
Der volle Inhalt der QuelleGuzev, M. A., M. A. Knyazeva, I. I. Moskalev und E. Y. Nikitina. „Rank analysis of computer programs“. Dal'nevostochnyi Matematicheskii Zhurnal 20, Nr. 2 (25.11.2020): 155–63. http://dx.doi.org/10.47910/femj202017.
Der volle Inhalt der QuelleJhala, Ranjit, und Rupak Majumdar. „Interprocedural analysis of asynchronous programs“. ACM SIGPLAN Notices 42, Nr. 1 (17.01.2007): 339–50. http://dx.doi.org/10.1145/1190215.1190266.
Der volle Inhalt der QuelleLin, Man. „Timing Analysis of PL Programs“. IFAC Proceedings Volumes 32, Nr. 1 (Mai 1999): 203–8. http://dx.doi.org/10.1016/s1474-6670(17)39988-3.
Der volle Inhalt der QuellePainter, James E., und Becky Sabbert. „Two Internet Diet Analysis Programs“. Journal of Nutrition Education 33, Nr. 3 (Mai 2001): 173–74. http://dx.doi.org/10.1016/s1499-4046(06)60189-9.
Der volle Inhalt der QuelleIrizarry, Estelle. „Software Programs for Literary Analysis“. Hispania 72, Nr. 1 (März 1989): 214. http://dx.doi.org/10.2307/342719.
Der volle Inhalt der QuelleSendeckyj, GP, SS Wang, W. Steven Johnson, WW Stinchcomb, NJ Pagano, BD Snyder, JG Burns und VB Venkayya. „Composite Bolted Joints Analysis Programs“. Journal of Composites Technology and Research 12, Nr. 1 (1990): 41. http://dx.doi.org/10.1520/ctr10176j.
Der volle Inhalt der QuelleMorandi, Benjamin, Sebastian Nanz und Bertrand Meyer. „Performance analysis of SCOOP programs“. Journal of Systems and Software 85, Nr. 11 (November 2012): 2519–30. http://dx.doi.org/10.1016/j.jss.2012.05.076.
Der volle Inhalt der QuelleLin, Man. „Timing analysis of PL programs“. Control Engineering Practice 8, Nr. 6 (Juni 2000): 697–703. http://dx.doi.org/10.1016/s0967-0661(00)00022-8.
Der volle Inhalt der QuelleLancashire, Ian. „Concordance programs for literary analysis“. ACM SIGCUE Outlook 19, Nr. 1-2 (April 1986): 54–61. http://dx.doi.org/10.1145/951656.951663.
Der volle Inhalt der QuelleBouajjani, Ahmed, und Michael Emmi. „Analysis of Recursively Parallel Programs“. ACM Transactions on Programming Languages and Systems 35, Nr. 3 (November 2013): 1–49. http://dx.doi.org/10.1145/2518188.
Der volle Inhalt der QuelleSankaranarayanan, Sriram, Aleksandar Chakarov und Sumit Gulwani. „Static analysis for probabilistic programs“. ACM SIGPLAN Notices 48, Nr. 6 (23.06.2013): 447–58. http://dx.doi.org/10.1145/2499370.2462179.
Der volle Inhalt der QuelleAmey, P. N., und B. J. Dobbing. „Static analysis of Ravenscar programs“. ACM SIGAda Ada Letters XXIII, Nr. 4 (Dezember 2003): 58–64. http://dx.doi.org/10.1145/959221.959234.
Der volle Inhalt der QuelleDebray, Saumya K., und Nai-Wei Lin. „Cost analysis of logic programs“. ACM Transactions on Programming Languages and Systems 15, Nr. 5 (November 1993): 826–75. http://dx.doi.org/10.1145/161468.161472.
Der volle Inhalt der QuelleRugina, Radu, und Martin Rinard. „Pointer analysis for multithreaded programs“. ACM SIGPLAN Notices 34, Nr. 5 (Mai 1999): 77–90. http://dx.doi.org/10.1145/301631.301645.
Der volle Inhalt der QuelleLaski, Janusz, William Stanley und Jim Hurst. „Dependency analysis of Ada programs“. ACM SIGAda Ada Letters XVIII, Nr. 6 (November 1998): 263–75. http://dx.doi.org/10.1145/301687.289645.
Der volle Inhalt der QuelleArts, Thomas, und Lars-Åke Fredlund. „Trace analysis of Erlang programs“. ACM SIGPLAN Notices 37, Nr. 12 (Dezember 2002): 18–24. http://dx.doi.org/10.1145/636517.636524.
Der volle Inhalt der QuelleEhrenfried, Daniel H. „Static analysis of Ada programs“. ACM SIGAda Ada Letters XIV, Nr. 4 (Juli 1994): 28–35. http://dx.doi.org/10.1145/181476.181479.
Der volle Inhalt der QuelleAnjaneyulu, K. S. R. „Bug analysis of Pascal programs“. ACM SIGPLAN Notices 29, Nr. 4 (April 1994): 15–22. http://dx.doi.org/10.1145/181761.181762.
Der volle Inhalt der QuelleAltman, Erik, Matthew Arnold, Stephen Fink und Nick Mitchell. „Performance analysis of idle programs“. ACM SIGPLAN Notices 45, Nr. 10 (17.10.2010): 739–53. http://dx.doi.org/10.1145/1932682.1869519.
Der volle Inhalt der QuelleSimmons, Sharon, Dennis Edwards und Phil Kearns. „Communication Analysis of Distributed Programs“. Scientific Programming 14, Nr. 2 (2006): 151–70. http://dx.doi.org/10.1155/2006/763568.
Der volle Inhalt der QuelleBouajjani, Ahmed, und Michael Emmi. „Analysis of recursively parallel programs“. ACM SIGPLAN Notices 47, Nr. 1 (18.01.2012): 203–14. http://dx.doi.org/10.1145/2103621.2103681.
Der volle Inhalt der QuelleAxler, David M., und John R. Abercrombie. „Computer Programs for Literary Analysis“. Journal of American Folklore 99, Nr. 393 (Juli 1986): 360. http://dx.doi.org/10.2307/540836.
Der volle Inhalt der QuellePayet, Étienne, und Fausto Spoto. „Static analysis of Android programs“. Information and Software Technology 54, Nr. 11 (November 2012): 1192–201. http://dx.doi.org/10.1016/j.infsof.2012.05.003.
Der volle Inhalt der QuelleWeng, Min-Hsien, Mark Utting und Bernhard Pfahringer. „Bound Analysis for Whiley Programs“. Electronic Notes in Theoretical Computer Science 320 (Februar 2016): 53–67. http://dx.doi.org/10.1016/j.entcs.2016.01.005.
Der volle Inhalt der QuelleReichenbach, Christoph, Michael G. Burke, Igor Peshansky und Mukund Raghavachari. „Analysis of imperative XML programs“. Information Systems 34, Nr. 7 (November 2009): 624–42. http://dx.doi.org/10.1016/j.is.2009.03.013.
Der volle Inhalt der Quellevan den Berg, KG, und PM van den Broek. „Static analysis of functional programs“. Information and Software Technology 37, Nr. 4 (Januar 1995): 213–24. http://dx.doi.org/10.1016/0950-5849(95)90813-a.
Der volle Inhalt der QuelleShapiro, Alexander. „Asymptotic analysis of stochastic programs“. Annals of Operations Research 30, Nr. 1 (Dezember 1991): 169–86. http://dx.doi.org/10.1007/bf02204815.
Der volle Inhalt der QuelleRömisch, Werner, und Rüdiger Schultz. „Stability analysis for stochastic programs“. Annals of Operations Research 30, Nr. 1 (Dezember 1991): 241–66. http://dx.doi.org/10.1007/bf02204819.
Der volle Inhalt der QuelleLaneve, Cosimo, Michael Lienhardt, Ka I. Pun und Guillermo Román-Díez. „Time analysis of actor programs“. Journal of Logical and Algebraic Methods in Programming 105 (Juni 2019): 1–27. http://dx.doi.org/10.1016/j.jlamp.2019.02.007.
Der volle Inhalt der QuelleVeanes, Margus, und Jonathan Jacky. „Composing model programs for analysis“. Journal of Logic and Algebraic Programming 79, Nr. 7 (Oktober 2010): 467–82. http://dx.doi.org/10.1016/j.jlap.2010.07.004.
Der volle Inhalt der QuelleReif, John H., und Harry R. Lewis. „Efficient symbolic analysis of programs“. Journal of Computer and System Sciences 32, Nr. 3 (Juni 1986): 280–314. http://dx.doi.org/10.1016/0022-0000(86)90031-0.
Der volle Inhalt der QuelleOnai, Rikio, Hajime Shimizu, Kanae Masuda und Moritoshi Aso. „Analysis of sequential PROLOG programs“. Journal of Logic Programming 3, Nr. 2 (Juli 1986): 119–41. http://dx.doi.org/10.1016/0743-1066(86)90019-1.
Der volle Inhalt der QuelleHanus, Michael. „Analysis of residuating logic programs“. Journal of Logic Programming 24, Nr. 3 (September 1995): 219–45. http://dx.doi.org/10.1016/0743-1066(94)00105-f.
Der volle Inhalt der QuelleChoi, Haneul, Sueim Chung, Youngjin Choi, Hyeonji Kang, Jooyoung Jeon und Donghee Shin. „Analysis of Polar Education Programs“. Journal of the Korean earth science society 42, Nr. 1 (28.02.2021): 102–17. http://dx.doi.org/10.5467/jkess.2021.42.1.102.
Der volle Inhalt der QuelleCoulomb, Jean-Michel, Jerzy A. Filar und Witold Szczechla. „Asymptotic Analysis of Perturbed Mathematical Programs“. Journal of Mathematical Analysis and Applications 251, Nr. 1 (November 2000): 132–56. http://dx.doi.org/10.1006/jmaa.2000.7025.
Der volle Inhalt der Quelle