Dissertations / Theses on the topic 'Atomicita'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Atomicita.'
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.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Harmim, Dominik. "Pokročilá statická analýza atomičnosti v paralelních programech v prostředí Facebook Infer." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2021. http://www.nusl.cz/ntk/nusl-445592.
Full textSifakis, Emmanuel. "Programmation efficace et sécurisé d'applications à mémoire partagée." Phd thesis, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00823054.
Full textWohlmuth, Kata. "Atomicity and distributive reference." Doctoral thesis, Universitat Pompeu Fabra, 2019. http://hdl.handle.net/10803/667116.
Full textYe, Chunyang. "Atomicity analysis for service composition /." View abstract or full-text, 2008. http://library.ust.hk/cgi/db/thesis.pl?CSED%202008%20YE.
Full textHasenauer, Richard Erwin. "Almost Dedekind Domains and Atomicity." Diss., North Dakota State University, 2012. https://hdl.handle.net/10365/26692.
Full textSousa, Diogo Miguel Gaspar de. "Preventing atomicity violations with contracts." Master's thesis, Faculdade de Ciências e Tecnologia, 2013. http://hdl.handle.net/10362/11471.
Full textTrentham, Stacy Michelle. "Atomicity in Rings with Zero Divisors." Diss., North Dakota State University, 2011. https://hdl.handle.net/10365/28905.
Full textLi, Hongjiang. "Classifying atomicity violation warnings using machine learning." Laramie, Wyo. : University of Wyoming, 2008. http://proquest.umi.com/pqdweb?did=1654502111&sid=1&Fmt=2&clientId=18949&RQT=309&VName=PQD.
Full textBryant, H. Victoria. "Modeling atomicity and isolation in workflow systems." Laramie, Wyo. : University of Wyoming, 2007. http://proquest.umi.com/pqdweb?did=1400971431&sid=1&Fmt=2&clientId=18949&RQT=309&VName=PQD.
Full textMohd, Nor Rizal. "ROBUST LOW ATOMICITY PEER-TO-PEER SYSTEMS." Kent State University / OhioLINK, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=kent1340903594.
Full textGoodell, Brandon G. "Assessing Non-Atomicity in Groups of Divisibility." Thesis, Clemson University, 2017. http://pqdtopen.proquest.com/#viewpdf?dispub=10275474.
Full textLo, Yuet Mei. "Business process atomicity analysis supporting late task property bindings /." View abstract or full-text, 2005. http://library.ust.hk/cgi/db/thesis.pl?COMP%202005%20LO.
Full textPierce, Kenneth George. "Enhancing the usability of rely-guarantee conditions for atomicity refinement." Thesis, University of Newcastle Upon Tyne, 2009. http://hdl.handle.net/10443/686.
Full textSalehi, Fathabadi Asieh. "An approach to atomicity decomposition in the Event-B formal method." Thesis, University of Southampton, 2012. https://eprints.soton.ac.uk/340357/.
Full textGheith, Ahmed M. "Support for multi-weight object, invocations and atomicity in real-time systems." Diss., Georgia Institute of Technology, 1990. http://hdl.handle.net/1853/8173.
Full textPuglia, Gianlucca Oliveira. "Exploring atomicity on memory mapped files based on non-volatile memory file systems." Pontif?cia Universidade Cat?lica do Rio Grande do Sul, 2017. http://tede2.pucrs.br/tede2/handle/tede/7768.
Full textObaid, Abdellatif. "A calculus of communicating systems with atomicity and recovery, for protocol specification and design." Thesis, University of Ottawa (Canada), 1991. http://hdl.handle.net/10393/7774.
Full textParreira, Daniel Luis Landeiroto. "Data-centric concurrency control on the java programming language." Master's thesis, Faculdade de Ciências e Tecnologia, 2013. http://hdl.handle.net/10362/10814.
Full textHaiduke, Roberto Luiz Andrade. "Investigação de energias de ionização e intensidades vibracionais (IV) utilizando o modelo potencial simples." [s.n.], 2003. http://repositorio.unicamp.br/jspui/handle/REPOSIP/249368.
Full textMotta, Luiz Frederico 1971. "Estudo teorico das relações estrutura-atividade biologica de uma serie de derivados de chalcona (1,3-difenil-2propen-1-ona) como agentes anti-plasmodium falciparum (agentes antimalaricos)." [s.n.], 2004. http://repositorio.unicamp.br/jspui/handle/REPOSIP/249727.
Full textJing, Guo Zhao. "Caracterização de amostras rugosas por microscopia de força atomica." [s.n.], 2003. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260318.
Full textMatoso, Erika 1973. "Determinação de contaminantes inorganicos em latex utilizando espectrometria atomica." [s.n.], 2009. http://repositorio.unicamp.br/jspui/handle/REPOSIP/249409.
Full textDi, Meco Lorenzo. "Teoria variazionale con alcune applicazioni in fisica atomica e nucleare." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2019. http://amslaurea.unibo.it/18374/.
Full textBraga, Adriana Franco Bueno. "Determinação de impurezas em silicio por espectroscopia de absorção atomica." [s.n.], 1993. http://repositorio.unicamp.br/jspui/handle/REPOSIP/265188.
Full textLetko, Zdeněk. "Dynamická detekce a léčení časově závislých chyb nad daty v prostředí Java." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2008. http://www.nusl.cz/ntk/nusl-235989.
Full textMadiraju, Sugandhi. "An Agent Based Transaction Manager for Multidatabase Systems." Digital Archive @ GSU, 2006. http://digitalarchive.gsu.edu/cs_theses/36.
Full textChang, Dahge Chiadin. "Caracterização da superficie do silicio poroso por microscopia de força atomica." [s.n.], 1995. http://repositorio.unicamp.br/jspui/handle/REPOSIP/261662.
Full textMelo, Marlene Rios. "Estrutura atomica e ligações quimicas : uma abordagem para o esino medio." [s.n.], 2002. http://repositorio.unicamp.br/jspui/handle/REPOSIP/249086.
Full textPark, Sang Min. "Effective fault localization techniques for concurrent software." Diss., Georgia Institute of Technology, 2014. http://hdl.handle.net/1853/53010.
Full textGiunchi, Francesco. "Misura delle proprietà meccaniche su scala nanometrica tramite microscopia a forza atomica." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/13096/.
Full textD'Emilio, Gianluca. "Applicazioni del metodo variazionale ad alcuni problemi di fisica atomica e nucleare." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2018. http://amslaurea.unibo.it/15411/.
Full textThomas-Wilhelm, Dakota J. "It's definitely atomic: the acquisition of atomicity & countability by speakers of Mandarin in an instructed second language acquisition context." Doctoral thesis, Universitat Autònoma de Barcelona, 2020. http://hdl.handle.net/10803/671666.
Full textMontero, Larisse. "Detecção por emissão atomica : comparação de celas de detecção utilizadas em analise cromatografica." [s.n.], 1996. http://repositorio.unicamp.br/jspui/handle/REPOSIP/249573.
Full textPortilla-Flores, Alberto. "Une approche à base de contrats pour la coordination fiable des services." Grenoble, 2010. http://www.theses.fr/2010GRENM068.
Full textCaproni, Daniel. "Analisi del raffreddamento evaporativo per la condensazione di Bose-Einstein di una miscela atomica." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2018. http://amslaurea.unibo.it/16363/.
Full textBoni, Alessandro. "Studio nanomorfologico di superficie tramite microscopia a forza atomica di grafite minerale e grafene." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2015. http://amslaurea.unibo.it/8612/.
Full textMoreira, Antonio Luciano Seabra. "Analise do processo de difusão atomica no estado solido em sistemas unidirecionais e radiais." [s.n.], 1991. http://repositorio.unicamp.br/jspui/handle/REPOSIP/265161.
Full textWindmoller, Claudia Carvalhinho. "Especiação de mercurio em solos contaminados por analise de termodessorção acoplada a absorção atomica." [s.n.], 1996. http://repositorio.unicamp.br/jspui/handle/REPOSIP/249637.
Full textBalbinot, Leoberto. "Mapas auto-organizaveis na classificação de dados em quimica analitica." [s.n.], 2003. http://repositorio.unicamp.br/jspui/handle/REPOSIP/249338.
Full textCandido, Lígia Colares. "Estratégias analíticas para determinação de elementos traço via espectrometria de absorção atômica de alta resolução com fonte contínua." reponame:Repositório Institucional da UFSC, 2015. https://repositorio.ufsc.br/xmlui/handle/123456789/156537.
Full textMatos, Geraldo Domingues. "Ampliação das potencialidades da espectrometria de absrorção atomica baseada em spray termico (TS-FF-AAS)." [s.n.], 2007. http://repositorio.unicamp.br/jspui/handle/REPOSIP/248583.
Full textPinsard, Thomas. "Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation." Thesis, Orléans, 2014. http://www.theses.fr/2014ORLE2075/document.
Full textFortunato, Felipe Manfroi. "Avaliação do método de adição de padrão interno em técnicas espectroscópicas /." Araraquara, 2017. http://hdl.handle.net/11449/149764.
Full textDias, Vera Maria da Costa. "Quantificação de baixos teores de selenio em alimentos por espectrometria de absorção atomica com atomização eletrotermica." [s.n.], 2002. http://repositorio.unicamp.br/jspui/handle/REPOSIP/248971.
Full textRossin, Ricardo. "Especiação de arsenio inorganico em aguas por espectrometria de absorção atomica acoplada com gerador de hidretos." [s.n.], 2005. http://repositorio.unicamp.br/jspui/handle/REPOSIP/287172.
Full textGONCALVES, JOSEMARY A. C. "Pesquisas propriedades e aplicacoes de detectores de faisca em problemas de fisica nuclear de energia atomica." reponame:Repositório Institucional do IPEN, 1993. http://repositorio.ipen.br:8080/xmlui/handle/123456789/10321.
Full textSouza, Alexandre Araújo de. "Cargas atomicas (um novo modelo) : implementação computacional e aplicações." [s.n.], 1994. http://repositorio.unicamp.br/jspui/handle/REPOSIP/248533.
Full textOliveira, Adriana Paiva de [UNESP]. "Determinação direta e simultânea de 'AL', 'AS', 'CU', 'FE', 'MN' e 'NI' em álcool etílico hidratado combustível por espectrometria de absorção atômica em forno de grafite." Universidade Estadual Paulista (UNESP), 2002. http://hdl.handle.net/11449/97873.
Full textRosini, Gioele. "Ottimizzazione numerica degli impulsi ottici in un interferometro atomico." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2021. http://amslaurea.unibo.it/23395/.
Full textMorais, Carla Pereira de. "Desenvolvimento de métodos para a determinação de macronutrientes em fertilizantes de biocarvão por LIBS /." Araraquara, 2017. http://hdl.handle.net/11449/149749.
Full text