Academic literature on the topic 'SUMMARY EXECUTIONS'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'SUMMARY EXECUTIONS.'
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 "SUMMARY EXECUTIONS"
Weissbrodt, David. "The Three “Theme” Special Rapporteurs of the UN Commission on Human Rights." American Journal of International Law 80, no. 3 (July 1986): 685–99. http://dx.doi.org/10.2307/2201794.
Full textRodley, Nigel S. "United Nations Action Procedures against "Disappearances," Summary or Arbitrary Executions, and Torture." Human Rights Quarterly 8, no. 4 (November 1986): 700. http://dx.doi.org/10.2307/762199.
Full textO'Brien, Paul. "Summary Executions in Italy During the First World War: Findings and Implications." Modern Italy 11, no. 3 (November 2006): 353–59. http://dx.doi.org/10.1080/13532940600937368.
Full textGomes Júnior, Paulo César de Carvalho. "The anti-juridicidity and the incoherence of Summary no. 345 of the STJ." CONTRIBUCIONES A LAS CIENCIAS SOCIALES 17, no. 2 (February 14, 2024): e5050. http://dx.doi.org/10.55905/revconv.17n.2-074.
Full textLee, Soohyun, Jeremy Johnson, Carl Vitzthum, Koray Kırlı, Burak H. Alver, and Peter J. Park. "Tibanna: software for scalable execution of portable pipelines on the cloud." Bioinformatics 35, no. 21 (May 11, 2019): 4424–26. http://dx.doi.org/10.1093/bioinformatics/btz379.
Full textRuffa, Chiara. "Societal beliefs about the use of force in Israël, Italy and France." Tocqueville Review 35, no. 2 (January 2014): 101–17. http://dx.doi.org/10.3138/ttr.35.2.101.
Full textBodo, Bela. "The White Terror in Hungary, 1919–1921: The Social Worlds of Paramilitary Groups." Austrian History Yearbook 42 (April 2011): 133–63. http://dx.doi.org/10.1017/s0067237811000099.
Full textInkinen, Virpi, Mikko Häyrinen, and Vesa Linnamo. "Technical and tactical analysis of women’s volleyball." Biomedical Human Kinetics 5, no. 1 (November 9, 2013): 43–50. http://dx.doi.org/10.2478/bhk-2013-0007.
Full textBartocci, E., M. R. Di Berardini, E. Merelli, and L. Vito. "UBioLab: a web-LABoratory for Ubiquitous in-silico experiments." Journal of Integrative Bioinformatics 9, no. 1 (March 1, 2012): 12–31. http://dx.doi.org/10.1515/jib-2012-192.
Full textGlassheim, Eagle. "National Mythologies and Ethnic Cleansing: The Expulsion of Czechoslovak Germans in 1945." Central European History 33, no. 4 (December 2000): 463–86. http://dx.doi.org/10.1163/156916100746428.
Full textDissertations / Theses on the topic "SUMMARY EXECUTIONS"
Guo, Shengjian. "Efficient Symbolic Execution of Concurrent Software." Diss., Virginia Tech, 2019. http://hdl.handle.net/10919/89223.
Full textDoctor of Philosophy
Software testing is a technique that runs software as a black-box on computer hardware multiple times, with different inputs per run, to test if the software behavior conforms to the designed functionality by developers. Nowadays, programmers have been increasingly developing multithreaded and multitasking software, e.g., web browser and web server, to utilize the highly efficient multiprocessor hardware. This approach significantly improves the software performance since a large computing job can now decompose to a set of small jobs which can then distribute to concurrently running threads (tasks). However, testing multithreaded (multitask) software is extremely challenging. The most critical problem is the inherent non-determinism. Typically, executing sequential software with the same input data always results in the same output. However, running a multithreaded (multitask) software multiple times, even under the same input data, may yield different output in each run. The root reason is that concurrent threads (tasks) may interleave their running progress at any time; thus the internal software execution order may be altered unexpectedly, causing runtime errors. Meanwhile, finding such faults is difficult, since the number of all possible interleavings can be exponentially growing in the number of concurrent thread (task) operations. This dissertation proposes four methods to test multithreaded/multitask software efficiently. The first method summarizes the already-tested program behaviors to avoid future testing runs that cannot lead to new faults. The second method only tests program behaviors that are impacted by program changes. The third method tests multitask Programmable Logic Controller (PLC) programs by excluding infeasible testing runs w.r.t the PLC semantics. The last method tests non-functional program properties by systematic concurrency analysis. This dissertation evaluates these methods upon a diverse set of benchmarks. The experimental results show that the proposed methods significantly outperform state-of-the-art techniques for concurrent software analysis.
Guo, Weiting. "The speed of justice : summary execution and legal culture in Qing dynasty China, 1644-1912." Thesis, University of British Columbia, 2016. http://hdl.handle.net/2429/58373.
Full textArts, Faculty of
Asian Studies, Department of
Graduate
Books on the topic "SUMMARY EXECUTIONS"
Rights, United Nations Centre for Human. Summary or arbitrary executions. New York: Centre for Human Rights, United Nations, 1990.
Find full textUnited Nations Centre for Human Rights. Extrajudicial, summary or arbitrary executions. New York: Centre for Human Rights, United Nations, 1997.
Find full textUnited Nations Centre for Human Rights. Extrajudicial, summary or arbitrary executions. Geneva: United Nations, 1997.
Find full textUnited Nations. Centre for Human Rights., ed. Extrajudicial, summary or arbitrary executions. Geneva: United Nations Centre for Human Rights, 1997.
Find full textMarcato, Antônio Carlos. O processo monitório brasileiro. São Paulo, SP: Malheiros Editores, 1998.
Find full textSchneider, Roman. Der Mahnbescheid und seine Vollstreckung. 3rd ed. Stuttgart: R. Boorberg, 1993.
Find full textJiménez, Carlos Manuel Martín. Teoría y práctica del proceso monitorio: Comentarios y formularios. 2nd ed. Valladolid: Lex Nova, 2013.
Find full textDanāṣūrī, ʻIzz al-Dīn. al- Qaḍāʼ al-mustaʻjal wa-qaḍāʼ al-tanfīdh: Fī ḍawʼ al-fiqh wa-al-qaḍāʼ. [Cairo]: Nādī al-Quḍāh, 1986.
Find full textʻĪd, Ilyās Abū. Namādhij daʻāwá al-tanfīdh wa-al-qaḍāʼ al-mustaʻjal: Istiḥḍār, laʼiḥah jawabīyah, mudhakkīrah, mushkilah tanfidhīyah, iʻtirāḍ maʻa taʻlīq ʻalá aḥkām. [Beirut]: I. Abū ʻĪd, 1992.
Find full textUnited Nations. Special Rapporteur on Extrajudicial, Summary, or Arbitrary Executions. Evidence of extrajudicial, summary, or arbitrary executions in Africa. The Gambia, West Africa: African Centre for Democracy and Human Rights Studies, 1994.
Find full textBook chapters on the topic "SUMMARY EXECUTIONS"
Vasudevan, Amit, Jonathan M. McCune, and James Newsome. "Summary." In Trustworthy Execution on Mobile Devices, 59. New York, NY: Springer New York, 2013. http://dx.doi.org/10.1007/978-1-4614-8190-4_8.
Full textKretschmar, Thomas, and Andreas Hamburger. "Summary and prospects." In Psychodynamic Coaching and Supervision for Executives, 121–22. London: Routledge, 2021. http://dx.doi.org/10.4324/9781003169673-7.
Full textLokuciejewski, Paul, and Peter Marwedel. "Summary and Future Work." In Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems, 229–34. Dordrecht: Springer Netherlands, 2011. http://dx.doi.org/10.1007/978-90-481-9929-7_8.
Full textTidball-Binz, Morris. "The value and need for incorporating a psychosocial approach to forensic case-work in cases of extrajudicial, summary or arbitrary executions, including those who do not survive enforced and involuntary disappearances 1." In Psychoanalytic, Psychosocial, and Human Rights Perspectives on Enforced Disappearance, 96–112. London: Routledge, 2023. http://dx.doi.org/10.4324/9781003312642-9.
Full textМалярчук, Любов Сергіївна. "Глава 14. Оскарження рішень, дій або бездіяльності виконавців та посадових осіб органів державної виконавчої служби до суду цивільної юрисдикції." In Серія «Процесуальні науки», 479–507. Київ, Україна: Видавництво "Алерта", 2023. http://dx.doi.org/10.59835/978-617-566-770-5-3-14.
Full textWägemann, Peter. "Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems." In Ernst Denert Award for Software Engineering 2020, 227–47. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-83128-8_11.
Full textKeidel, Sven, Dominik Helm, Tobias Roth, and Mira Mezini. "A Modular Soundness Theory for the Blackboard Analysis Architecture." In Programming Languages and Systems, 361–90. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57267-8_14.
Full textSchoen, Adam, Gautam Saripalli, Seyedali Hosseinirad, Parva Kumar Sharma, Anmol Kajla, Inderjit Singh Yadav, and Vijay Tiwari. "Genome Sequences from Diploids and Wild Relatives of Wheat for Comparative Genomics and Alien Introgressions." In Compendium of Plant Genomes, 241–63. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-38294-9_12.
Full textFrank, Stephen P. "Unofficial Justice and Community in Rural Russia, 1856–1914." In Global Lynching and Collective Violence. University of Illinois Press, 2017. http://dx.doi.org/10.5622/illinois/9780252041389.003.0003.
Full text"Appendix 1 Case List of Lynchings and Summary Executions." In Lynching in the West, 205–28. Duke University Press, 2020. http://dx.doi.org/10.1515/9780822388241-010.
Full textConference papers on the topic "SUMMARY EXECUTIONS"
Yi, Qiuping, Junye Wen, and Guowei Yang. "Summary-guided incremental symbolic execution." In ICSE '20: 42nd International Conference on Software Engineering. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3377812.3390895.
Full textPaul, Avik, and Rajeev Kumar. "Precise dynamic slicing using execution-summary." In the 2007 ACM symposium. New York, New York, USA: ACM Press, 2007. http://dx.doi.org/10.1145/1244002.1244288.
Full textHönig, Wolfgang, T. K. Satish Kumar, Liron Cohen, Hang Ma, Hong Xu, Nora Ayanian, and Sven Koenig. "Summary: Multi-Agent Path Finding with Kinematic Constraints." In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/684.
Full textKnight, Kelly J., Joel Peltier, and Jon M. Berkoe. "V&V Application on Private and U. S. Government Projects." In ASME 2009 Fluids Engineering Division Summer Meeting. ASMEDC, 2009. http://dx.doi.org/10.1115/fedsm2009-78142.
Full textCaprio, Joseph L., Patricia Jacobs, and Clifford Whitcomb. "An Investigation into Execution Delays During Naval Vessels’ Availabilities." In SNAME Maritime Convention. SNAME, 2012. http://dx.doi.org/10.5957/smc-2012-p20.
Full textRyndin, Maksim. "Deterministic Replay of Program Execution Based on Valgrind Framework." In Spring/Summer Young Researchers' Colloquium on Software Engineering. Institute for System Programming of the Russian Academy of Sciences, 2012. http://dx.doi.org/10.15514/syrcose-2012-6-26.
Full textKing, Gregory W., and Carl W. Luchies. "The Role of Knee Extensor Strength in Balance-Restoring Step Initiation and Execution." In ASME 2008 Summer Bioengineering Conference. American Society of Mechanical Engineers, 2008. http://dx.doi.org/10.1115/sbc2008-192961.
Full textMalafeyev, Oleg, Nadezhda Redinskikh, Irina Zaitseva, Elena Rubtsova, Irina Bogolyubova, and Elena Ostapenko. "Optimal Sequence of Financial Projects Execution." In 2023 5th International Conference on Control Systems, Mathematical Modeling, Automation and Energy Efficiency (SUMMA). IEEE, 2023. http://dx.doi.org/10.1109/summa60232.2023.10349675.
Full textKhalifa, H. Ezzat, and Mustafa Koz. "Numerical Investigation of the Freezing of a Phase Change Material in a Thermal Storage Device With an Embedded Evaporator." In ASME 2016 Heat Transfer Summer Conference collocated with the ASME 2016 Fluids Engineering Division Summer Meeting and the ASME 2016 14th International Conference on Nanochannels, Microchannels, and Minichannels. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/ht2016-7409.
Full textLaw, Chung Teck, Engku Ali Aminulhakim Engku M. Shukri, Sukhveender Singh Sukhdev Singh, Sarah, Suet Hoey Lim, and Abdul Aziz Muhamad. "Penta Source 3D Marine Acquisition in the Sarawak Basin, Malaysia." In International Petroleum Technology Conference. IPTC, 2022. http://dx.doi.org/10.2523/iptc-21887-ea.
Full textReports on the topic "SUMMARY EXECUTIONS"
P.C. Hildebrandt. Summary of Differences in Approach to Executing the NGNP Project. Office of Scientific and Technical Information (OSTI), August 2010. http://dx.doi.org/10.2172/991884.
Full textREEP, I. E. Hanford Site Environment Safety and Health (ES and H) FY 1999 and FY 2000 Execution Commitment Summary. Office of Scientific and Technical Information (OSTI), December 1999. http://dx.doi.org/10.2172/798798.
Full textSiefman, D., J. Norris, C. Percher, and D. Heinrichs. IER-580 CED-3b: Experiment Execution Summary for the Pulsed-Neutron Die-Away Experiments (PNDA) with H2O. Office of Scientific and Technical Information (OSTI), March 2024. http://dx.doi.org/10.2172/2335564.
Full textREEP, I. E. Richland Operations (DOE-RL) Environmental Safety Health (ES and H) FY 2000 and FY 2001 Execution Commitment Summary. Office of Scientific and Technical Information (OSTI), December 2000. http://dx.doi.org/10.2172/805621.
Full textSiefman, D., W. Zywiec, R. Araj, C. Percher, and D. Heinrichs. IER-501 CED-3b: Experiment Execution Summary for the Pulsed-Neutron Die-¬Away Experimental Testbed for Thermal Scattering Law Benchmarks (PNDA). Office of Scientific and Technical Information (OSTI), September 2022. http://dx.doi.org/10.2172/1959674.
Full textSiefman, Daniel, William Zywiec, Ruby Araj, Catherine Percher, and David Heinrichs. IER-501 CED-3b: Experiment Execution Summary for the Pulsed-Neutron Die-Away Experimental Testbed for Thermal Scattering Law Benchmarks (PNDA). Office of Scientific and Technical Information (OSTI), September 2022. http://dx.doi.org/10.2172/1906118.
Full textDeal, Jennifer, Kristin Cullen, Sarah Stawiski, William Gentry, and Marian Ruderman. World Leadership Survey Biannual Report on Employee Commitment and Engagement 2013–2014. Center for Creative Leadership, 2015. http://dx.doi.org/10.35613/ccl.2015.2048.
Full textTeranishi, Keita, Keita Teranishi, and Robert L. Clay. FY18 ASC CSSE L2 Milestone 6362: Local Failure Local Recovery (LFLR) Resiliency for Asynchronous Many Task (AMT) Programming and Execution Models: Executive Summary. Office of Scientific and Technical Information (OSTI), September 2018. http://dx.doi.org/10.2172/1493835.
Full textAbdolmaleki, Kourosh, and Andrew Rawlinson. PR-453-134504-R02 Pipeline On-Bottom Stability Software Upgrade Milestone II. Chantilly, Virginia: Pipeline Research Council International, Inc. (PRCI), July 2016. http://dx.doi.org/10.55274/r0010868.
Full textTeranishi, Keita, Keita Teranishi, and Robert L. Clay. FY18 ASC P&EM L2 Milestone 6362: Local Failure Local Recovery (LFLR) Resiliency for Asynchronous Many Task (AMT) Programming and Execution Models: Executive Summary. Office of Scientific and Technical Information (OSTI), September 2018. http://dx.doi.org/10.2172/1475107.
Full text