Literatura científica selecionada sobre o tema "SUMMARY EXECUTIONS"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Índice
Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "SUMMARY EXECUTIONS".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Artigos de revistas sobre o assunto "SUMMARY EXECUTIONS"
Weissbrodt, David. "The Three “Theme” Special Rapporteurs of the UN Commission on Human Rights". American Journal of International Law 80, n.º 3 (julho de 1986): 685–99. http://dx.doi.org/10.2307/2201794.
Texto completo da fonteRodley, Nigel S. "United Nations Action Procedures against "Disappearances," Summary or Arbitrary Executions, and Torture". Human Rights Quarterly 8, n.º 4 (novembro de 1986): 700. http://dx.doi.org/10.2307/762199.
Texto completo da fonteO'Brien, Paul. "Summary Executions in Italy During the First World War: Findings and Implications". Modern Italy 11, n.º 3 (novembro de 2006): 353–59. http://dx.doi.org/10.1080/13532940600937368.
Texto completo da fonteGomes 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 de fevereiro de 2024): e5050. http://dx.doi.org/10.55905/revconv.17n.2-074.
Texto completo da fonteLee, 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 de maio de 2019): 4424–26. http://dx.doi.org/10.1093/bioinformatics/btz379.
Texto completo da fonteRuffa, Chiara. "Societal beliefs about the use of force in Israël, Italy and France". Tocqueville Review 35, n.º 2 (janeiro de 2014): 101–17. http://dx.doi.org/10.3138/ttr.35.2.101.
Texto completo da fonteBodo, Bela. "The White Terror in Hungary, 1919–1921: The Social Worlds of Paramilitary Groups". Austrian History Yearbook 42 (abril de 2011): 133–63. http://dx.doi.org/10.1017/s0067237811000099.
Texto completo da fonteInkinen, Virpi, Mikko Häyrinen e Vesa Linnamo. "Technical and tactical analysis of women’s volleyball". Biomedical Human Kinetics 5, n.º 1 (9 de novembro de 2013): 43–50. http://dx.doi.org/10.2478/bhk-2013-0007.
Texto completo da fonteBartocci, 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 de março de 2012): 12–31. http://dx.doi.org/10.1515/jib-2012-192.
Texto completo da fonteGlassheim, Eagle. "National Mythologies and Ethnic Cleansing: The Expulsion of Czechoslovak Germans in 1945". Central European History 33, n.º 4 (dezembro de 2000): 463–86. http://dx.doi.org/10.1163/156916100746428.
Texto completo da fonteTeses / dissertações sobre o assunto "SUMMARY EXECUTIONS"
Guo, Shengjian. "Efficient Symbolic Execution of Concurrent Software". Diss., Virginia Tech, 2019. http://hdl.handle.net/10919/89223.
Texto completo da fonteDoctor 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.
Texto completo da fonteArts, Faculty of
Asian Studies, Department of
Graduate
Livros sobre o assunto "SUMMARY EXECUTIONS"
Rights, United Nations Centre for Human. Summary or arbitrary executions. New York: Centre for Human Rights, United Nations, 1990.
Encontre o texto completo da fonteUnited Nations Centre for Human Rights. Extrajudicial, summary or arbitrary executions. New York: Centre for Human Rights, United Nations, 1997.
Encontre o texto completo da fonteUnited Nations Centre for Human Rights. Extrajudicial, summary or arbitrary executions. Geneva: United Nations, 1997.
Encontre o texto completo da fonteUnited Nations. Centre for Human Rights., ed. Extrajudicial, summary or arbitrary executions. Geneva: United Nations Centre for Human Rights, 1997.
Encontre o texto completo da fonteMarcato, Antônio Carlos. O processo monitório brasileiro. São Paulo, SP: Malheiros Editores, 1998.
Encontre o texto completo da fonteSchneider, Roman. Der Mahnbescheid und seine Vollstreckung. 3a ed. Stuttgart: R. Boorberg, 1993.
Encontre o texto completo da fonteJiménez, Carlos Manuel Martín. Teoría y práctica del proceso monitorio: Comentarios y formularios. 2a ed. Valladolid: Lex Nova, 2013.
Encontre o texto completo da fonteDanāṣū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.
Encontre o texto completo da fonteʻĪ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.
Encontre o texto completo da fonteUnited 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.
Encontre o texto completo da fonteCapítulos de livros sobre o assunto "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.
Texto completo da fonteKretschmar, 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.
Texto completo da fonteLokuciejewski, 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.
Texto completo da fonteTidball-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.
Texto completo da fonteМалярчук, Любов Сергіївна. "Глава 14. Оскарження рішень, дій або бездіяльності виконавців та посадових осіб органів державної виконавчої служби до суду цивільної юрисдикції". In Серія «Процесуальні науки», 479–507. Київ, Україна: Видавництво "Алерта", 2023. http://dx.doi.org/10.59835/978-617-566-770-5-3-14.
Texto completo da fonteWä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.
Texto completo da fonteKeidel, 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.
Texto completo da fonteSchoen, 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.
Texto completo da fonteFrank, 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.
Texto completo da fonte"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.
Texto completo da fonteTrabalhos de conferências sobre o assunto "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.
Texto completo da fontePaul, 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.
Texto completo da fonteHö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.
Texto completo da fonteKnight, 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.
Texto completo da fonteCaprio, 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.
Texto completo da fonteRyndin, 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.
Texto completo da fonteKing, 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.
Texto completo da fonteMalafeyev, 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.
Texto completo da fonteKhalifa, 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.
Texto completo da fonteLaw, 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.
Texto completo da fonteRelatórios de organizações sobre o assunto "SUMMARY EXECUTIONS"
P.C. Hildebrandt. Summary of Differences in Approach to Executing the NGNP Project. Office of Scientific and Technical Information (OSTI), agosto de 2010. http://dx.doi.org/10.2172/991884.
Texto completo da fonteREEP, 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), dezembro de 1999. http://dx.doi.org/10.2172/798798.
Texto completo da fonteSiefman, 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), março de 2024. http://dx.doi.org/10.2172/2335564.
Texto completo da fonteREEP, 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), dezembro de 2000. http://dx.doi.org/10.2172/805621.
Texto completo da fonteSiefman, 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), setembro de 2022. http://dx.doi.org/10.2172/1959674.
Texto completo da fonteSiefman, 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), setembro de 2022. http://dx.doi.org/10.2172/1906118.
Texto completo da fonteDeal, 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.
Texto completo da fonteTeranishi, 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), setembro de 2018. http://dx.doi.org/10.2172/1493835.
Texto completo da fonteTeranishi, 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), setembro de 2018. http://dx.doi.org/10.2172/1475107.
Texto completo da fonteTeranishi, 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), setembro de 2018. http://dx.doi.org/10.2172/1475108.
Texto completo da fonte