Letteratura scientifica selezionata sul tema "SUMMARY EXECUTIONS"
Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili
Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "SUMMARY EXECUTIONS".
Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.
Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.
Articoli di riviste sul tema "SUMMARY EXECUTIONS"
Weissbrodt, David. "The Three “Theme” Special Rapporteurs of the UN Commission on Human Rights". American Journal of International Law 80, n. 3 (luglio 1986): 685–99. http://dx.doi.org/10.2307/2201794.
Testo completoRodley, Nigel S. "United Nations Action Procedures against "Disappearances," Summary or Arbitrary Executions, and Torture". Human Rights Quarterly 8, n. 4 (novembre 1986): 700. http://dx.doi.org/10.2307/762199.
Testo completoO'Brien, Paul. "Summary Executions in Italy During the First World War: Findings and Implications". Modern Italy 11, n. 3 (novembre 2006): 353–59. http://dx.doi.org/10.1080/13532940600937368.
Testo completoGomes 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, n. 2 (14 febbraio 2024): e5050. http://dx.doi.org/10.55905/revconv.17n.2-074.
Testo completoLee, Soohyun, Jeremy Johnson, Carl Vitzthum, Koray Kırlı, Burak H. Alver e Peter J. Park. "Tibanna: software for scalable execution of portable pipelines on the cloud". Bioinformatics 35, n. 21 (11 maggio 2019): 4424–26. http://dx.doi.org/10.1093/bioinformatics/btz379.
Testo completoRuffa, Chiara. "Societal beliefs about the use of force in Israël, Italy and France". Tocqueville Review 35, n. 2 (gennaio 2014): 101–17. http://dx.doi.org/10.3138/ttr.35.2.101.
Testo completoBodo, Bela. "The White Terror in Hungary, 1919–1921: The Social Worlds of Paramilitary Groups". Austrian History Yearbook 42 (aprile 2011): 133–63. http://dx.doi.org/10.1017/s0067237811000099.
Testo completoInkinen, Virpi, Mikko Häyrinen e Vesa Linnamo. "Technical and tactical analysis of women’s volleyball". Biomedical Human Kinetics 5, n. 1 (9 novembre 2013): 43–50. http://dx.doi.org/10.2478/bhk-2013-0007.
Testo completoBartocci, E., M. R. Di Berardini, E. Merelli e L. Vito. "UBioLab: a web-LABoratory for Ubiquitous in-silico experiments". Journal of Integrative Bioinformatics 9, n. 1 (1 marzo 2012): 12–31. http://dx.doi.org/10.1515/jib-2012-192.
Testo completoGlassheim, Eagle. "National Mythologies and Ethnic Cleansing: The Expulsion of Czechoslovak Germans in 1945". Central European History 33, n. 4 (dicembre 2000): 463–86. http://dx.doi.org/10.1163/156916100746428.
Testo completoTesi sul tema "SUMMARY EXECUTIONS"
Guo, Shengjian. "Efficient Symbolic Execution of Concurrent Software". Diss., Virginia Tech, 2019. http://hdl.handle.net/10919/89223.
Testo completoDoctor 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.
Testo completoArts, Faculty of
Asian Studies, Department of
Graduate
Libri sul tema "SUMMARY EXECUTIONS"
Rights, United Nations Centre for Human. Summary or arbitrary executions. New York: Centre for Human Rights, United Nations, 1990.
Cerca il testo completoUnited Nations Centre for Human Rights. Extrajudicial, summary or arbitrary executions. New York: Centre for Human Rights, United Nations, 1997.
Cerca il testo completoUnited Nations Centre for Human Rights. Extrajudicial, summary or arbitrary executions. Geneva: United Nations, 1997.
Cerca il testo completoUnited Nations. Centre for Human Rights., a cura di. Extrajudicial, summary or arbitrary executions. Geneva: United Nations Centre for Human Rights, 1997.
Cerca il testo completoMarcato, Antônio Carlos. O processo monitório brasileiro. São Paulo, SP: Malheiros Editores, 1998.
Cerca il testo completoSchneider, Roman. Der Mahnbescheid und seine Vollstreckung. 3a ed. Stuttgart: R. Boorberg, 1993.
Cerca il testo completoJiménez, Carlos Manuel Martín. Teoría y práctica del proceso monitorio: Comentarios y formularios. 2a ed. Valladolid: Lex Nova, 2013.
Cerca il testo completoDanāṣū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.
Cerca il testo completoʻĪ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.
Cerca il testo completoUnited 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.
Cerca il testo completoCapitoli di libri sul tema "SUMMARY EXECUTIONS"
Vasudevan, Amit, Jonathan M. McCune e 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.
Testo completoKretschmar, Thomas, e 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.
Testo completoLokuciejewski, Paul, e 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.
Testo completoTidball-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.
Testo completoМалярчук, Любов Сергіївна. "Глава 14. Оскарження рішень, дій або бездіяльності виконавців та посадових осіб органів державної виконавчої служби до суду цивільної юрисдикції". In Серія «Процесуальні науки», 479–507. Київ, Україна: Видавництво "Алерта", 2023. http://dx.doi.org/10.59835/978-617-566-770-5-3-14.
Testo completoWä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.
Testo completoKeidel, Sven, Dominik Helm, Tobias Roth e 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.
Testo completoSchoen, Adam, Gautam Saripalli, Seyedali Hosseinirad, Parva Kumar Sharma, Anmol Kajla, Inderjit Singh Yadav e 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.
Testo completoFrank, 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.
Testo completo"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.
Testo completoAtti di convegni sul tema "SUMMARY EXECUTIONS"
Yi, Qiuping, Junye Wen e 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.
Testo completoPaul, Avik, e 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.
Testo completoHönig, Wolfgang, T. K. Satish Kumar, Liron Cohen, Hang Ma, Hong Xu, Nora Ayanian e 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.
Testo completoKnight, Kelly J., Joel Peltier e 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.
Testo completoCaprio, Joseph L., Patricia Jacobs e 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.
Testo completoRyndin, 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.
Testo completoKing, Gregory W., e 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.
Testo completoMalafeyev, Oleg, Nadezhda Redinskikh, Irina Zaitseva, Elena Rubtsova, Irina Bogolyubova e 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.
Testo completoKhalifa, H. Ezzat, e 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.
Testo completoLaw, Chung Teck, Engku Ali Aminulhakim Engku M. Shukri, Sukhveender Singh Sukhdev Singh, Sarah, Suet Hoey Lim e 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.
Testo completoRapporti di organizzazioni sul tema "SUMMARY EXECUTIONS"
P.C. Hildebrandt. Summary of Differences in Approach to Executing the NGNP Project. Office of Scientific and Technical Information (OSTI), agosto 2010. http://dx.doi.org/10.2172/991884.
Testo completoREEP, 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), dicembre 1999. http://dx.doi.org/10.2172/798798.
Testo completoSiefman, D., J. Norris, C. Percher e 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), marzo 2024. http://dx.doi.org/10.2172/2335564.
Testo completoREEP, 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), dicembre 2000. http://dx.doi.org/10.2172/805621.
Testo completoSiefman, D., W. Zywiec, R. Araj, C. Percher e 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), settembre 2022. http://dx.doi.org/10.2172/1959674.
Testo completoSiefman, Daniel, William Zywiec, Ruby Araj, Catherine Percher e 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), settembre 2022. http://dx.doi.org/10.2172/1906118.
Testo completoDeal, Jennifer, Kristin Cullen, Sarah Stawiski, William Gentry e 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.
Testo completoTeranishi, Keita, Keita Teranishi e 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), settembre 2018. http://dx.doi.org/10.2172/1493835.
Testo completoTeranishi, Keita, Keita Teranishi e 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), settembre 2018. http://dx.doi.org/10.2172/1475107.
Testo completoTeranishi, Keita, Keita Teranishi e 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), settembre 2018. http://dx.doi.org/10.2172/1475108.
Testo completo