Academic literature on the topic 'Programs analysis'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Programs analysis.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Programs analysis"

1

Schwarzer, Ralf. "Meta-analysis programs." Behavior Research Methods, Instruments, & Computers 20, no. 3 (1988): 338. http://dx.doi.org/10.3758/bf03203853.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Pérez-Bóveda, Astrid, and 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, no. 2 (2015): 104. http://dx.doi.org/10.5944/reop.vol.26.num.2.2015.15231.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Chaudhuri, Swarat, Sumit Gulwani, and Roberto Lublinerman. "Continuity analysis of programs." ACM SIGPLAN Notices 45, no. 1 (2010): 57–70. http://dx.doi.org/10.1145/1707801.1706308.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Sun, Kwangwon, and Sukyoung Ryu. "Analysis of JavaScript Programs." ACM Computing Surveys 50, no. 4 (2017): 1–34. http://dx.doi.org/10.1145/3106741.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Iwamoto, Seiichi. "Associative Dynamic Programs." Journal of Mathematical Analysis and Applications 201, no. 1 (1996): 195–211. http://dx.doi.org/10.1006/jmaa.1996.0250.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

ZHANG, Jian. "Sharp Static Analysis of Programs." Chinese Journal of Computers 31, no. 9 (2009): 1549–53. http://dx.doi.org/10.3724/sp.j.1016.2008.01549.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Choi, Haneul, Sueim Chung, Youngjin Choi, Hyeonji Kang, Jooyoung Jeon, and Donghee Shin. "Analysis of Polar Education Programs." Journal of the Korean earth science society 42, no. 1 (2021): 102–17. http://dx.doi.org/10.5467/jkess.2021.42.1.102.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Irizarry, Estelle. "Software Programs for Literary Analysis." Hispania 72, no. 1 (1989): 214. http://dx.doi.org/10.2307/342719.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Guzev, M. A., M. A. Knyazeva, I. I. Moskalev, and E. Y. Nikitina. "Rank analysis of computer programs." Dal'nevostochnyi Matematicheskii Zhurnal 20, no. 2 (2020): 155–63. http://dx.doi.org/10.47910/femj202017.

Full text
Abstract:
This paper describes the application of the rank analysis method for formal languages on the example of the source codes of programs in the Java language. When describing the technology for compiling frequency dictionaries, attention is focused on how the presence of anaphoric content in computer programs is taken into consideration. When discussing the results, it was noted that the structural components of programs for various purposes correspond to certain areas of the graph of the dependence of rank on the frequency of occurrence of a lexeme.
APA, Harvard, Vancouver, ISO, and other styles
10

Simmons, Sharon, Dennis Edwards, and Phil Kearns. "Communication Analysis of Distributed Programs." Scientific Programming 14, no. 2 (2006): 151–70. http://dx.doi.org/10.1155/2006/763568.

Full text
Abstract:
Capturing and examining the causal and concurrent relationships of a distributed system is essential to a wide range of distributed systems applications. Many approaches to gathering this information rely on trace files of executions. The information obtained through tracing is limited to those executions observed. We present a methodology that analyzes the source code of the distributed system. Our analysis considers each process's source code and produces a single comprehensive graph of the system's possible behaviors. The graph, termed the partial order graph (POG), uniquely represents each
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Programs analysis"

1

Nagulakonda, Vikram. "Assertion seeding development of program instrumentation through iterative formal analysis /." Morgantown, W. Va. : [West Virginia University Libraries], 1999. http://etd.wvu.edu/templates/showETD.cfm?recnum=1080.

Full text
Abstract:
Thesis (M.S.)--West Virginia University, 1999.<br>Title from document title page. Document formatted into pages; contains v, 80 p. : ill. Includes abstract. Includes bibliographical references (p. 33-35).
APA, Harvard, Vancouver, ISO, and other styles
2

Jakobsson, Filip. "Static Analysis for BSPlib Programs." Thesis, Orléans, 2019. http://www.theses.fr/2019ORLE2005.

Full text
Abstract:
La programmation parallèle consiste à utiliser des architectures à multiples unités de traitement, de manière à ce que le temps de calcul soit inversement proportionnel au nombre d’unités matérielles. Le modèle de BSP (Bulk Synchronous Parallel) permet de rendre le temps de calcul prévisible. BSPlib est une bibliothèque pour la programmation BSP en langage C. En BSPlib on entrelace des instructions de contrôle de la structure parallèle globale, et des instructions locales pour chaque unité de traitement. Cela permet des optimisations fines de la synchronisation, mais permet aussi l’écriture de
APA, Harvard, Vancouver, ISO, and other styles
3

Armstrong, Alasdair. "Formal analysis of concurrent programs." Thesis, University of Sheffield, 2015. http://etheses.whiterose.ac.uk/13089/.

Full text
Abstract:
In this thesis, extensions of Kleene algebras are used to develop algebras for rely-guarantee style reasoning about concurrent programs. In addition to these algebras, detailed denotational models are implemented in the interactive theorem prover Isabelle/HOL. Formal soundness proofs link the algebras to their models. This follows a general algebraic approach for developing correct by construction verification tools within Isabelle. In this approach, algebras provide inference rules and abstract principles for reasoning about the control flow of programs, while the concrete models provide laws
APA, Harvard, Vancouver, ISO, and other styles
4

Kim, Minjang. "Dynamic program analysis algorithms to assist parallelization." Diss., Georgia Institute of Technology, 2012. http://hdl.handle.net/1853/45758.

Full text
Abstract:
All market-leading processor vendors have started to pursue multicore processors as an alternative to high-frequency single-core processors for better energy and power efficiency. This transition to multicore processors no longer provides the free performance gain enabled by increased clock frequency for programmers. Parallelization of existing serial programs has become the most powerful approach to improving application performance. Not surprisingly, parallel programming is still extremely difficult for many programmers mainly because thinking in parallel is simply beyond the human perceptio
APA, Harvard, Vancouver, ISO, and other styles
5

Zhang, Connie. "Static Conflict Analysis of Transaction Programs." Thesis, University of Waterloo, 2000. http://hdl.handle.net/10012/1052.

Full text
Abstract:
Transaction programs are comprised of read and write operations issued against the database. In a shared database system, one transaction program conflicts with another if it reads or writes data that another transaction program has written. This thesis presents a semi-automatic technique for pairwise static conflict analysis of embedded transaction programs. The analysis predicts whether a given pair of programs will conflict when executed against the database. There are several potential applications of this technique, the most obvious being transaction concurrency control in systems
APA, Harvard, Vancouver, ISO, and other styles
6

Xu, HaiYing. "Dynamic purity analysis for Java programs." Thesis, McGill University, 2007. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=18481.

Full text
Abstract:
The pure methods in a program are those that exhibit functional or side effect free behaviour, a useful property of methods or code in the context of program optimization as well as program understanding. However, gathering purity data is not a trivial task, and existing purity investigations present primarily static results based on a compile-time analysis of program code. We perform a detailed examination of dynamic method purity in Java programs using a Java Virtual Machine (JVM) based analysis. We evaluate multiple purity definitions that range from strong to weak, consider purity forms
APA, Harvard, Vancouver, ISO, and other styles
7

Mitchell, Neil. "Transformation and analysis of functional programs." Thesis, University of York, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.495901.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Benton, Peter Nicholas. "Strictness analysis of lazy functional programs." Thesis, University of Cambridge, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.281891.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Abu, Hashish Nabil. "Mutation analysis of dynamically typed programs." Thesis, University of Hull, 2013. http://hydra.hull.ac.uk/resources/hull:8444.

Full text
Abstract:
The increasing use of dynamically typed programming languages brings a new challenge to software testing. In these languages, types are not checked at compile-time. Type errors must be found by testing and in general, programs written in these languages require additional testing compared to statically typed languages. Mutation analysis (or mutation testing) has been shown to be effective in testing statically (or strongly) typed programs. In statically typed programs, the type information is essential to ensure only type-correct mutants are generated. Mutation analysis has not so far been ful
APA, Harvard, Vancouver, ISO, and other styles
10

Hardwicke, Shannon Bragg. "An Analysis of Student Assistance Programs." Diss., Virginia Tech, 2006. http://hdl.handle.net/10919/27780.

Full text
Abstract:
The purpose of this study was to examine a sample of students who participated in a student assistance program in Southwest Virginia. Using existing data from a school system in Southwest Virginia, this sample was observed to measure changes in student academic performance. The sample was also examined to determine the extent to which they instituted positive behaviors such as school attendance and reduction of disciplinary actions taken. In addition, this study assessed differences in demographic characteristics among student participants. Also studied was the extent to which gender diffe
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Programs analysis"

1

Zahn, John J. FORTRAN programs for reliability analysis. U.S. Dept. of Agriculture, Forest Service, Forest Products Laboratory, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

D, Clay, Canada. Dept. of Fisheries and Oceans., and Gulf Fisheries Centre (Canada), eds. RVAN: Research Vessel ANalysis programs. Fisheries and Oceans, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Colt, Stephen. Childcare assistance programs: Caseload analysis. State of Alaska, Dept. of Community and Regional Affairs, Division of Community and Rural Development, Child Care Programs, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

1933-, Rosenthal Robert, ed. BASIC meta-analysis: Procedures and programs. L. Earlbaum Associates, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Educational Resources Information Center (U.S.), ed. Cross-program analysis: Links and commonalities among IASA programs. Northwest Regional Educational Laboratory, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

United States. Office of Child Support Enforcement., Center for Policy Research (Denver, Colo.), and Policy Studies Inc, eds. Child access and visitation programs: Participant outcomes : program analysis. Dept. of Health and Human Services, Administration for Children and Families, Office of Child Support Enforcement, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Lewis, Gordon H. Income transfer analysis. Urban Institute Press, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Massé, Robert P. KEY analysis system. U.S. Dept. of the Interior, U.S. Geological Survey, National Earthquake Information Center ; [Denver, Colo., 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Masse, Robert P. KEY analysis system. U.S. Dept. of the Interior, U.S. Geological Survey, National Earthquake Information Center ; [Denver, Colo., 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Massacutee, Robert P. KEY analysis system. U.S. Dept. of the Interior, U.S. Geological Survey, National Earthquake Information Center ; [Denver, Colo., 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Programs analysis"

1

Gayed, Ramez, and Amin Ghali. "Computer programs." In Structural Analysis Fundamentals. CRC Press, 2021. http://dx.doi.org/10.1201/9780429286858-20.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Bodik, Rastislav. "Algorithmic Program Synthesis with Partial Programs and Decision Procedures." In Static Analysis. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-03237-0_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Peralta, Julio C., John P. Gallagher, and Hüseyin Sağlam. "Analysis of Imperative Programs through Analysis of Constraint Logic Programs." In Static Analysis. Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-49727-7_15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Bouajjani, Ahmed, Michael Emmi, and Gennaro Parlato. "On Sequentializing Concurrent Programs." In Static Analysis. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-23702-7_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Suter, Philippe, Ali Sinan Köksal, and Viktor Kuncak. "Satisfiability Modulo Recursive Programs." In Static Analysis. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-23702-7_23.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Rinard, Martin. "Analysis of Multithreaded Programs." In Static Analysis. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-47764-0_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Andersen, Erling B. "Computer Programs." In The Statistical Analysis of Categorical Data. Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-78817-8_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Andersen, Erling B. "Computer programs." In The Statistical Analysis of Categorical Data. Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/978-3-642-97353-6_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Laski, Janusz, and William Stanley. "How to Prove a Program Correct: Iterative Programs." In Software Verification and Analysis. Springer London, 2009. http://dx.doi.org/10.1007/978-1-84882-240-5_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Hückelheim, Jan, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen Siegel, and Paul D. Hovland. "Verifying Properties of Differentiable Programs." In Static Analysis. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-99725-4_14.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Programs analysis"

1

Rollins, B. C., G. T. Quickel, J. A. Beavers, and T. A. Bubenik. "Failure Analysis in Integrity Management Programs." In CORROSION 2007. NACE International, 2007. https://doi.org/10.5006/c2007-07145.

Full text
Abstract:
Abstract Metallurgical analyses of pipeline failures are an integral part of good integrity management programs. Failure analyses are used not only in establishing the metallurgical causes of the failures, but also in identifying potential time dependent threats, establishing damage rates, and validating reassessment intervals. Analysis of un-failed pipe containing anomalies can be used to improve the sentencing and sizing of anomalies detected by in-line inspection. This paper provides several case histories in which metallurgical failure analyses were used to enhance integrity management pro
APA, Harvard, Vancouver, ISO, and other styles
2

Wofford, George N. "Engineering Economic Analysis for Alternative Cooling Tower Treatment Programs." In CORROSION 1994. NACE International, 1994. https://doi.org/10.5006/c1994-94473.

Full text
Abstract:
Abstract A standard method for evaluating the economics of proposed changes to a cooling tower water treatment program is presented. Mathematical comparisons of competing alternatives are calculated. This means that two or more mutually exclusive approaches, such as the total cost of two competitive chemical programs or a chemical program and stand-alone ozone treatment are compared. In addition, models are presented to evaluate the economics of employing auxiliary equipment such as pH controllers, filtration equipment, and softeners. The economic evaluation utilizes standard engineering calcu
APA, Harvard, Vancouver, ISO, and other styles
3

Harris, William R., Sriram Sankaranarayanan, Franjo Ivančić, and Aarti Gupta. "Program analysis via satisfiability modulo path programs." In the 37th annual ACM SIGPLAN-SIGACT symposium. ACM Press, 2010. http://dx.doi.org/10.1145/1706299.1706309.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

van Tonder, Rijnard, and Claire Le Goues. "Tailoring programs for static analysis via program transformation." In ICSE '20: 42nd International Conference on Software Engineering. ACM, 2020. http://dx.doi.org/10.1145/3377811.3380343.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Lu, Pingjing, Bao Li, Zhengbin Pang, Ying Zhang, and Shaogang Wang. "Combining Program Analysis and Empirical Search to Optimize Programs." In 2013 IEEE International Conference on High Performance Computing and Communications (HPCC) & 2013 IEEE International Conference on Embedded and Ubiquitous Computing (EUC). IEEE, 2013. http://dx.doi.org/10.1109/hpcc.and.euc.2013.272.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Schlichtkrull, Anders, Rene Rydhof Hansen, and Flemming Nielson. "Isabelle-verified correctness of Datalog programs for program analysis." In SAC '24: 39th ACM/SIGAPP Symposium on Applied Computing. ACM, 2024. http://dx.doi.org/10.1145/3605098.3636091.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Chaudhuri, Swarat, Sumit Gulwani, and Roberto Lublinerman. "Continuity analysis of programs." In the 37th annual ACM SIGPLAN-SIGACT symposium. ACM Press, 2010. http://dx.doi.org/10.1145/1706299.1706308.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Giffhorn, Dennis. "Chopping Concurrent Programs." In 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation. IEEE, 2009. http://dx.doi.org/10.1109/scam.2009.11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Tiedemann, K. "Using statistical analysis to mitigate risk in environmental programs." In RISK ANALYSIS 2008. WIT Press, 2008. http://dx.doi.org/10.2495/risk080261.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Quinlan, Dan. "Session details: Debugging MPD programs." In ISSTA07: International Symposium on Software Testing and Analysis. ACM, 2007. http://dx.doi.org/10.1145/3245808.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Programs analysis"

1

DEPARTMENT OF THE ARMY WASHINGTON DC. Army Programs: The Cost and Economic Analysis Program. Defense Technical Information Center, 1995. http://dx.doi.org/10.21236/ada402035.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Caldés, Natalia, John A. Maluccio, and David Coady. The Cost of Poverty Alleviation Transfer Programs: A Comparative Analysis of Three Programs in Latin America. Inter-American Development Bank, 2004. http://dx.doi.org/10.18235/0008719.

Full text
Abstract:
A common criticism of antipoverty programs is that the high share of administrative (nontransfer) costs substantially reduces their effectiveness. Yet there is surprisingly little rigorous empirical evidence on program costs. This study proposes and implements a replicable methodology for a comparative cost analysis of three similar poverty alleviation programs in Honduras, Mexico and Nicaragua, and assesses their cost efficiency. The findings underscore that any credible assessment of cost-efficiency requires a detailed analysis of program cost structures that goes well beyond simply providin
APA, Harvard, Vancouver, ISO, and other styles
3

Zahn, John J. Fortran programs for reliability analysis. U.S. Department of Agriculture, Forest Service, Forest Products Laboratory, 1992. http://dx.doi.org/10.2737/fpl-gtr-72.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Wiser, R., S. Olson, L. Bird, and B. Swezey. Utility Green Pricing Programs: A Statistical Analysis of Program Effectiveness. Office of Scientific and Technical Information (OSTI), 2004. http://dx.doi.org/10.2172/15006909.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Wiser, Ryan, Scott Olson, Lori Bird, and Blair Swezey. Utility green pricing programs: A statistical analysis of program effectiveness. Office of Scientific and Technical Information (OSTI), 2004. http://dx.doi.org/10.2172/821338.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Heintze, Nevin. Set Based Analysis of ML Programs. Defense Technical Information Center, 1993. http://dx.doi.org/10.21236/ada270597.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Whitten, Timothy C., Eric K. Green, William C. Rankin, and Joan P. Brannick. Impact Analysis for Research and Development Programs. Defense Technical Information Center, 1988. http://dx.doi.org/10.21236/ada203885.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Rozhkov, M., and K. Nakanishi. Computer programs for analysis of geophysical data. Office of Scientific and Technical Information (OSTI), 1994. http://dx.doi.org/10.2172/10193091.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Cummings, J. P., and D. P. Weygand. The new BNL partial wave analysis programs. Office of Scientific and Technical Information (OSTI), 1997. http://dx.doi.org/10.2172/525028.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Maddux, Gary A. Systems Engineering Analysis of AMCOM Programs(s). Defense Technical Information Center, 1999. http://dx.doi.org/10.21236/ada374425.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!