Littérature scientifique sur le sujet « SUMMARY EXECUTIONS »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Sommaire
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « SUMMARY EXECUTIONS ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "SUMMARY EXECUTIONS"
Weissbrodt, David. « The Three “Theme” Special Rapporteurs of the UN Commission on Human Rights ». American Journal of International Law 80, no 3 (juillet 1986) : 685–99. http://dx.doi.org/10.2307/2201794.
Texte intégralRodley, Nigel S. « United Nations Action Procedures against "Disappearances," Summary or Arbitrary Executions, and Torture ». Human Rights Quarterly 8, no 4 (novembre 1986) : 700. http://dx.doi.org/10.2307/762199.
Texte intégralO'Brien, Paul. « Summary Executions in Italy During the First World War : Findings and Implications ». Modern Italy 11, no 3 (novembre 2006) : 353–59. http://dx.doi.org/10.1080/13532940600937368.
Texte intégralGomes 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 (14 février 2024) : e5050. http://dx.doi.org/10.55905/revconv.17n.2-074.
Texte intégralLee, Soohyun, Jeremy Johnson, Carl Vitzthum, Koray Kırlı, Burak H. Alver et Peter J. Park. « Tibanna : software for scalable execution of portable pipelines on the cloud ». Bioinformatics 35, no 21 (11 mai 2019) : 4424–26. http://dx.doi.org/10.1093/bioinformatics/btz379.
Texte intégralRuffa, Chiara. « Societal beliefs about the use of force in Israël, Italy and France ». Tocqueville Review 35, no 2 (janvier 2014) : 101–17. http://dx.doi.org/10.3138/ttr.35.2.101.
Texte intégralBodo, Bela. « The White Terror in Hungary, 1919–1921 : The Social Worlds of Paramilitary Groups ». Austrian History Yearbook 42 (avril 2011) : 133–63. http://dx.doi.org/10.1017/s0067237811000099.
Texte intégralInkinen, Virpi, Mikko Häyrinen et Vesa Linnamo. « Technical and tactical analysis of women’s volleyball ». Biomedical Human Kinetics 5, no 1 (9 novembre 2013) : 43–50. http://dx.doi.org/10.2478/bhk-2013-0007.
Texte intégralBartocci, E., M. R. Di Berardini, E. Merelli et L. Vito. « UBioLab : a web-LABoratory for Ubiquitous in-silico experiments ». Journal of Integrative Bioinformatics 9, no 1 (1 mars 2012) : 12–31. http://dx.doi.org/10.1515/jib-2012-192.
Texte intégralGlassheim, Eagle. « National Mythologies and Ethnic Cleansing : The Expulsion of Czechoslovak Germans in 1945 ». Central European History 33, no 4 (décembre 2000) : 463–86. http://dx.doi.org/10.1163/156916100746428.
Texte intégralThèses sur le sujet "SUMMARY EXECUTIONS"
Guo, Shengjian. « Efficient Symbolic Execution of Concurrent Software ». Diss., Virginia Tech, 2019. http://hdl.handle.net/10919/89223.
Texte intégralDoctor 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.
Texte intégralArts, Faculty of
Asian Studies, Department of
Graduate
Livres sur le sujet "SUMMARY EXECUTIONS"
Rights, United Nations Centre for Human. Summary or arbitrary executions. New York : Centre for Human Rights, United Nations, 1990.
Trouver le texte intégralUnited Nations Centre for Human Rights. Extrajudicial, summary or arbitrary executions. New York : Centre for Human Rights, United Nations, 1997.
Trouver le texte intégralUnited Nations Centre for Human Rights. Extrajudicial, summary or arbitrary executions. Geneva : United Nations, 1997.
Trouver le texte intégralUnited Nations. Centre for Human Rights., dir. Extrajudicial, summary or arbitrary executions. Geneva : United Nations Centre for Human Rights, 1997.
Trouver le texte intégralMarcato, Antônio Carlos. O processo monitório brasileiro. São Paulo, SP : Malheiros Editores, 1998.
Trouver le texte intégralSchneider, Roman. Der Mahnbescheid und seine Vollstreckung. 3e éd. Stuttgart : R. Boorberg, 1993.
Trouver le texte intégralJiménez, Carlos Manuel Martín. Teoría y práctica del proceso monitorio : Comentarios y formularios. 2e éd. Valladolid : Lex Nova, 2013.
Trouver le texte intégralDanāṣū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.
Trouver le texte intégralʻĪ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.
Trouver le texte intégralUnited 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.
Trouver le texte intégralChapitres de livres sur le sujet "SUMMARY EXECUTIONS"
Vasudevan, Amit, Jonathan M. McCune et James Newsome. « Summary ». Dans 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.
Texte intégralKretschmar, Thomas, et Andreas Hamburger. « Summary and prospects ». Dans Psychodynamic Coaching and Supervision for Executives, 121–22. London : Routledge, 2021. http://dx.doi.org/10.4324/9781003169673-7.
Texte intégralLokuciejewski, Paul, et Peter Marwedel. « Summary and Future Work ». Dans 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.
Texte intégralTidball-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 ». Dans Psychoanalytic, Psychosocial, and Human Rights Perspectives on Enforced Disappearance, 96–112. London : Routledge, 2023. http://dx.doi.org/10.4324/9781003312642-9.
Texte intégralМалярчук, Любов Сергіївна. « Глава 14. Оскарження рішень, дій або бездіяльності виконавців та посадових осіб органів державної виконавчої служби до суду цивільної юрисдикції ». Dans Серія «Процесуальні науки», 479–507. Київ, Україна : Видавництво "Алерта", 2023. http://dx.doi.org/10.59835/978-617-566-770-5-3-14.
Texte intégralWägemann, Peter. « Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems ». Dans 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.
Texte intégralKeidel, Sven, Dominik Helm, Tobias Roth et Mira Mezini. « A Modular Soundness Theory for the Blackboard Analysis Architecture ». Dans Programming Languages and Systems, 361–90. Cham : Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57267-8_14.
Texte intégralSchoen, Adam, Gautam Saripalli, Seyedali Hosseinirad, Parva Kumar Sharma, Anmol Kajla, Inderjit Singh Yadav et Vijay Tiwari. « Genome Sequences from Diploids and Wild Relatives of Wheat for Comparative Genomics and Alien Introgressions ». Dans Compendium of Plant Genomes, 241–63. Cham : Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-38294-9_12.
Texte intégralFrank, Stephen P. « Unofficial Justice and Community in Rural Russia, 1856–1914 ». Dans Global Lynching and Collective Violence. University of Illinois Press, 2017. http://dx.doi.org/10.5622/illinois/9780252041389.003.0003.
Texte intégral« Appendix 1 Case List of Lynchings and Summary Executions ». Dans Lynching in the West, 205–28. Duke University Press, 2020. http://dx.doi.org/10.1515/9780822388241-010.
Texte intégralActes de conférences sur le sujet "SUMMARY EXECUTIONS"
Yi, Qiuping, Junye Wen et Guowei Yang. « Summary-guided incremental symbolic execution ». Dans ICSE '20 : 42nd International Conference on Software Engineering. New York, NY, USA : ACM, 2020. http://dx.doi.org/10.1145/3377812.3390895.
Texte intégralPaul, Avik, et Rajeev Kumar. « Precise dynamic slicing using execution-summary ». Dans the 2007 ACM symposium. New York, New York, USA : ACM Press, 2007. http://dx.doi.org/10.1145/1244002.1244288.
Texte intégralHönig, Wolfgang, T. K. Satish Kumar, Liron Cohen, Hang Ma, Hong Xu, Nora Ayanian et Sven Koenig. « Summary : Multi-Agent Path Finding with Kinematic Constraints ». Dans 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.
Texte intégralKnight, Kelly J., Joel Peltier et Jon M. Berkoe. « V&V Application on Private and U. S. Government Projects ». Dans ASME 2009 Fluids Engineering Division Summer Meeting. ASMEDC, 2009. http://dx.doi.org/10.1115/fedsm2009-78142.
Texte intégralCaprio, Joseph L., Patricia Jacobs et Clifford Whitcomb. « An Investigation into Execution Delays During Naval Vessels’ Availabilities ». Dans SNAME Maritime Convention. SNAME, 2012. http://dx.doi.org/10.5957/smc-2012-p20.
Texte intégralRyndin, Maksim. « Deterministic Replay of Program Execution Based on Valgrind Framework ». Dans 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.
Texte intégralKing, Gregory W., et Carl W. Luchies. « The Role of Knee Extensor Strength in Balance-Restoring Step Initiation and Execution ». Dans ASME 2008 Summer Bioengineering Conference. American Society of Mechanical Engineers, 2008. http://dx.doi.org/10.1115/sbc2008-192961.
Texte intégralMalafeyev, Oleg, Nadezhda Redinskikh, Irina Zaitseva, Elena Rubtsova, Irina Bogolyubova et Elena Ostapenko. « Optimal Sequence of Financial Projects Execution ». Dans 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.
Texte intégralKhalifa, H. Ezzat, et Mustafa Koz. « Numerical Investigation of the Freezing of a Phase Change Material in a Thermal Storage Device With an Embedded Evaporator ». Dans 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.
Texte intégralLaw, Chung Teck, Engku Ali Aminulhakim Engku M. Shukri, Sukhveender Singh Sukhdev Singh, Sarah, Suet Hoey Lim et Abdul Aziz Muhamad. « Penta Source 3D Marine Acquisition in the Sarawak Basin, Malaysia ». Dans International Petroleum Technology Conference. IPTC, 2022. http://dx.doi.org/10.2523/iptc-21887-ea.
Texte intégralRapports d'organisations sur le sujet "SUMMARY EXECUTIONS"
P.C. Hildebrandt. Summary of Differences in Approach to Executing the NGNP Project. Office of Scientific and Technical Information (OSTI), août 2010. http://dx.doi.org/10.2172/991884.
Texte intégralREEP, 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), décembre 1999. http://dx.doi.org/10.2172/798798.
Texte intégralSiefman, D., J. Norris, C. Percher et 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), mars 2024. http://dx.doi.org/10.2172/2335564.
Texte intégralREEP, 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), décembre 2000. http://dx.doi.org/10.2172/805621.
Texte intégralSiefman, D., W. Zywiec, R. Araj, C. Percher et 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), septembre 2022. http://dx.doi.org/10.2172/1959674.
Texte intégralSiefman, Daniel, William Zywiec, Ruby Araj, Catherine Percher et 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), septembre 2022. http://dx.doi.org/10.2172/1906118.
Texte intégralDeal, Jennifer, Kristin Cullen, Sarah Stawiski, William Gentry et 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.
Texte intégralTeranishi, Keita, Keita Teranishi et 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), septembre 2018. http://dx.doi.org/10.2172/1493835.
Texte intégralAbdolmaleki, Kourosh, et Andrew Rawlinson. PR-453-134504-R02 Pipeline On-Bottom Stability Software Upgrade Milestone II. Chantilly, Virginia : Pipeline Research Council International, Inc. (PRCI), juillet 2016. http://dx.doi.org/10.55274/r0010868.
Texte intégralTeranishi, Keita, Keita Teranishi et 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), septembre 2018. http://dx.doi.org/10.2172/1475107.
Texte intégral