Relevant bibliographies by topics / Atomicita

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Atomicita'

Author: Grafiati
Published: 28 June 2021
Last updated: 29 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

Journal articles on the topic "Atomicita"

1

BELMAR, ANTONIO GARCA, and JOS RAMN BERTOMEU SNCHEZ. "ATOMS IN FRENCH CHEMISTRY TEXTBOOKS DURING THE FIRST HALF OF THE NINETEENTH CENTURY:." Nuncius 19, no. 1 (2004): 77–119. http://dx.doi.org/10.1163/182539104x00034.

Full text
Abstract:
Abstracttitle RIASSUNTO /title Gli ELMENS DE CHIMIE medicale di Mateu Orfila i Rotger (1787-1853) costituiscono una eccellente fonte storica per lo studio dell'ascesa e caduta della teoria atomica nella Francia della prima met dell'ottocento. Il libro fu ristampato otto volte fra il 1817 e il 1851; inoltre parecchie versioni ridotte furono pubblicate in inglese, spagnolo, tedesco, italiano e olandese. Vogliamo analizzare in primo luogo come la teoria atomica fu ricevuta dai libri di testo francesi appartenenti alle prime due decadi dell'ottocento. Gli atomi furono visti dagli autori francesi c
APA, Harvard, Vancouver, ISO, and other styles
2

Banach, Richard, Czesław Jeske, Anthony Hall, and Susan Stepney. "Atomicity failure and the retrenchment atomicity pattern." Formal Aspects of Computing 25, no. 3 (2011): 439–64. http://dx.doi.org/10.1007/s00165-011-0216-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Chen, Qi Chang, Zhan Fang Chen, Zhuang Liu, et al. "BAVC: Classifying Benign Atomicity Violations via Machine Learning." Advanced Materials Research 765-767 (September 2013): 1576–80. http://dx.doi.org/10.4028/www.scientific.net/amr.765-767.1576.

Full text
Abstract:
The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is caused by concurrent executions unexpectedly violating the atomicity of a certain code region, is one of the most common concurrency errors. However, atomicity violation bugs are hard to find using traditional testing and debugging techniques. In this paper, we investigate an approach based on machine learning techniques (specifically decision tree and support vector machine (SVM)) for classifying the benign atomicity violatio
APA, Harvard, Vancouver, ISO, and other styles
4

Ackema, Peter, and Ad Neeleman. "Syntactic Atomicity." Journal of Comparative Germanic Linguistics 6, no. 2 (2002): 93–128. http://dx.doi.org/10.1023/a:1023602928159.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Süli, Patrik P., Judit Knoll, and Zoltán Porkoláb. "Multithreading Atomicity." Acta Cybernetica 27, no. 2 (2025): 241–61. https://doi.org/10.14232/actacyb.311949.

Full text
Abstract:
Ensuring thread safety in applications is crucial for preventing subtle and challenging bugs in concurrent programming. This paper presents two algorithmic approaches to improve thread safety through static analysis and to demonstrate their benefits in real life, the authors also implemented them as two detectors in SpotBugs static analyzer. These checkers are designed to identify unsafe usages of shared resources and improper atomic operations in concurrent Java programming, aiming to mitigate common multithreading issues such as race conditions. By emphasizing consistent locking strategies a
APA, Harvard, Vancouver, ISO, and other styles
6

Giebas, Damian, and Rafał Wojszczyk. "Atomicity Violation in Multithreaded Applications and Its Detection in Static Code Analysis Process." Applied Sciences 10, no. 22 (2020): 8005. http://dx.doi.org/10.3390/app10228005.

Full text
Abstract:
This paper is a contribution to the field of research dealing with the parallel computing, which is used in multithreaded applications. The paper discusses the characteristics of atomicity violation in multithreaded applications and develops a new definition of atomicity violation based on previously defined relationships between operations, that can be used to atomicity violation detection. A method of detection of conflicts causing atomicity violation was also developed using the source code model of multithreaded applications that predicts errors in the software.
APA, Harvard, Vancouver, ISO, and other styles
7

Choi, Eu-teum, Tae-hyung Kim, Yong-Kee Jun, Seongjin Lee, and Mingyun Han. "On-the-Fly Repairing of Atomicity Violations in ARINC 653 Software." Applied Sciences 12, no. 4 (2022): 2014. http://dx.doi.org/10.3390/app12042014.

Full text
Abstract:
Airborne health management systems prevent functional failure caused by errors or faults in airborne software. The on-the-fly repairing of atomicity violations in ARINC 653 concurrent software is critical for guaranteeing the correctness of software execution. This paper introduces RAV (Repairing Atomicity Violation), which efficiently treats atomicity violations. RAV diagnoses an error on the fly by utilizing the training results of software and treats to control access to the shared variable of the thread where the error has occurred. The evaluation of RAV measured the time overhead by apply
APA, Harvard, Vancouver, ISO, and other styles
8

Scontras, Gregory, Kathryn Davidson, Amy Rose Deal, and Sarah E. Murray. "Who has more? The influence of linguistic form on quantity judgments." Proceedings of the Linguistic Society of America 2 (June 12, 2017): 41. http://dx.doi.org/10.3765/plsa.v2i0.4097.

Full text
Abstract:
Quantity judgment tasks have been increasingly used within and across languages as a diagnostic for noun semantics. Overwhelmingly, results show that notionally atomic nouns (Who has more cats?) are counted, while notionally non-atomic nouns (Who has more milk?) are measured by volume. There are two primary outliers to the strict atomicity-tracking pattern. First, some nouns, like furniture, show primarily cardinality-based results in some studies, indicating atomicity, but nevertheless show systematic non-cardinality judgments in other studies, with comparison based instead on value/utility.
APA, Harvard, Vancouver, ISO, and other styles
9

Flanagan, Cormac, Stephen N. Freund, Marina Lifshin, and Shaz Qadeer. "Types for atomicity." ACM Transactions on Programming Languages and Systems 30, no. 4 (2008): 1–53. http://dx.doi.org/10.1145/1377492.1377495.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Kearnes, Keith A. "Atomicity And Nilpotence." Canadian Journal of Mathematics 42, no. 2 (1990): 365–82. http://dx.doi.org/10.4153/cjm-1990-020-1.

Full text
Abstract:
There is a body of results for lattices known as “Decomposition Theory” which is aimed at proving certain existence and uniqueness theorems concerning irredundant representations of elements of a compactly generated lattice. The motivation for these results is certainly the quest for sufficient conditions on congruence lattices to insure irredundant subdirect representations of algebras. These theorems usually include some kind of modularity or distribut i v e hypothesis (for uniqueness) and some atomicity hypothesis (for existence); the precise details can be found in [3]. The atomicity condi
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Atomicita"

1

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 text
Abstract:
Nástroj Atomer je statický analyzátor založený na myšlence, že pokud jsou některé sekvence funkcí vícevláknového programu prováděny v některých bězích pod zámky, je pravděpodobně zamýšleno, že mají být vždy provedeny atomicky. Analyzátor Atomer se tudíž snaží takové sekvence hledat a poté zjišťovat, pro které z nich může být v některých jiných bězích programu porušena atomicita. Autor této diplomové práce ve své bakalářské práci navrhl a implementoval první verzi nástroje Atomer jako zásuvný modul aplikačního rámce Facebook Infer. V této diplomové práci je navržena nová a výrazně vylepšená ver
APA, Harvard, Vancouver, ISO, and other styles
2

Sifakis, 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 text
Abstract:
L'utilisation massive des plateformes multi-cœurs et multi-processeurs a pour effet de favoriser la programmation parallèle à mémoire partagée. Néanmoins, exploiter efficacement et de manière correcte le parallélisme sur ces plateformes reste un problème de recherche ouvert. De plus, leur modèle d'exécution sous-jacent, et notamment les modèles de mémoire "relâchés", posent de nouveaux défis pour les outils d'analyse statiques et dynamiques. Dans cette thèse nous abordons deux aspects importants dans le cadre de la programmation sur plateformes multi-cœurs et multi-processeurs: l'optimisation
APA, Harvard, Vancouver, ISO, and other styles
3

Wohlmuth, Kata. "Atomicity and distributive reference." Doctoral thesis, Universitat Pompeu Fabra, 2019. http://hdl.handle.net/10803/667116.

Full text
Abstract:
Mereological models are often used to account for distributive reference, which arises when the denotation of a linguistic expression holds of certain parts of the plurality to which it is applied. It is general praxis in the theory of distributivity to employ structural atoms, which are entities that lack proper parts, to represent the base entities of which pluralities are formed. This thesis offers a revision of the notion of atom used in the theory of distributivity and argues in favor of employing relative atoms, which are entities that are atomic only with respect to a certain property.
APA, Harvard, Vancouver, ISO, and other styles
4

Sousa, 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 text
Abstract:
Concurrent programming is a difficult and error-prone task because the programmer must reason about multiple threads of execution and their possible interleavings. A concurrent program must synchronize the concurrent accesses to shared memory regions, but this is not enough to prevent all anomalies that can arise in a concurrent setting. The programmer can misidentify the scope of the regions of code that need to be atomic, resulting in atomicity violations and failing to ensure the correct behavior of the program. Executing a sequence of atomic operations may lead to incorrect results when
APA, Harvard, Vancouver, ISO, and other styles
5

Hasenauer, Richard Erwin. "Almost Dedekind Domains and Atomicity." Diss., North Dakota State University, 2012. https://hdl.handle.net/10365/26692.

Full text
Abstract:
The objective of this dissertation was to determine the class of domains that are both almost Dedekind and atomic. To investigate this question we constructed a global object called the norm, and used it to determine properties that a domain must have to be both atomic and almost Dedekind. Additionally we use topological notions on the spectrum of a domain to determine atomicity. We state some theorems with regard to ACCP and class groups. The lemmas and theorems in this dissertation answer in part the objective. We conclude with a chapter of future study that aims to approach a complete answe
APA, Harvard, Vancouver, ISO, and other styles
6

Ye, Chunyang. "Atomicity analysis for service composition /." View abstract or full-text, 2008. http://library.ust.hk/cgi/db/thesis.pl?CSED%202008%20YE.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Trentham, Stacy Michelle. "Atomicity in Rings with Zero Divisors." Diss., North Dakota State University, 2011. https://hdl.handle.net/10365/28905.

Full text
Abstract:
In this dissertation, we examine atomicity in rings with zero divisions. We begin by examining the relationship between a ring’s level of atomicity and the highest level of irreducibility shared by the ring’s irreducible elements. Later, we chose one of the higher forms of atomicity and identify ways of building large classes of examples of rings that rise to this level of atomicity but no higher. Characteristics of the various types of irreducible elements will also be examined. Next, we extend our view to include polynomial extensions of rings with zero divisors. In particular, we focus on p
APA, Harvard, Vancouver, ISO, and other styles
8

Mohd, Nor Rizal. "ROBUST LOW ATOMICITY PEER-TO-PEER SYSTEMS." Kent State University / OhioLINK, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=kent1340903594.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Goodell, Brandon G. "Assessing Non-Atomicity in Groups of Divisibility." Thesis, Clemson University, 2017. http://pqdtopen.proquest.com/#viewpdf?dispub=10275474.

Full text
Abstract:
<p> An integral domain <i>D</i> is <i>atomic</i> if every non-zero non-unit is a product of irreducibles. More generally, <i>D </i> is <i>quasi-atomic</i> if every non-zero non-unit divides some product of atoms. Arbitrary integral domains, however, cannot be assumed to be quasi-atomic in general; factorization in a non-atomic <i> D</i> can be subtle. We outline a novel method of qualifying the quasi-atomicity of <i>D</i> by studying ascending filtrations of localizations of <i> D</i> and the associated groups of divisibility. This approach yields structure theorems, cochain complexes, and coh
APA, Harvard, Vancouver, ISO, and other styles
10

Bryant, 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 text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Atomicita"

1

Gavriluţ, Alina, Ioan Mercheş, and Maricel Agop. Atomicity through Fractal Measure Theory. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-29593-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Degl’Innocenti, Egidio Landi. Spettroscopia atomica e processi radiativi. Springer Milan, 2009. http://dx.doi.org/10.1007/978-88-470-1159-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

service), SpringerLink (Online, ed. Spettroscopia atomica e processi radiativi. Springer Milan, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Gavriluţ, Alina. Atomicity Through Fractal Measure Theory: Mathematical and Physical Fundamentals with Applications. Springer Nature Switzerland AG 2019, 2019.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Monzali, Luciano. Mario Toscano e la politica estera italiana nell'era atomica. Le lettere, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Morante, Elsa. Pro o contro la bomba atomica e altri scritti. Adelphi, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Santese, Angela. La pace atomica: Ronald Reagan e il movimento antinucleare, 1979-1987. Le Monnier, 2016.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

E, Kingston Arthur, ed. Recent studies in atomic and molecular processes. Plenum Press, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

ArthurE, Kingston, and Bates David Sir 1916-, eds. Recent advances in atomic and molecular processes. Plenum, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Cioc, Mark. Pax atomica: The nuclear defense debate in West Germany during the Adenauer era. Columbia University Press, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Atomicita"

1

Buhr, Peter A. "Atomicity*." In Understanding Control Flow. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-25703-7_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Weikum, Gerhard. "Atomicity." In Encyclopedia of Database Systems. Springer New York, 2016. http://dx.doi.org/10.1007/978-1-4899-7993-3_28-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Kao, Ming-Yang. "Atomicity." In Encyclopedia of Algorithms. Springer US, 2008. http://dx.doi.org/10.1007/978-0-387-30162-4_38.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Weikum, Gerhard. "Atomicity." In Encyclopedia of Database Systems. Springer US, 2009. http://dx.doi.org/10.1007/978-0-387-39940-9_28.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Weikum, Gerhard. "Atomicity." In Encyclopedia of Database Systems. Springer New York, 2018. http://dx.doi.org/10.1007/978-1-4614-8265-9_28.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Speegle, Greg. "Semantic Atomicity." In Encyclopedia of Database Systems. Springer New York, 2017. http://dx.doi.org/10.1007/978-1-4899-7993-3_720-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Speegle, Greg. "Semantic Atomicity." In Encyclopedia of Database Systems. Springer US, 2009. http://dx.doi.org/10.1007/978-0-387-39940-9_720.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Farzan, Azadeh, and P. Madhusudan. "Causal Atomicity." In Computer Aided Verification. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11817963_30.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Speegle, Greg. "Semantic Atomicity." In Encyclopedia of Database Systems. Springer New York, 2018. http://dx.doi.org/10.1007/978-1-4614-8265-9_720.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Scott, Michael L., and Trevor Brown. "Read-Mostly Atomicity." In Shared-Memory Synchronization. Springer International Publishing, 2024. http://dx.doi.org/10.1007/978-3-031-38684-8_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Atomicita"

1

Cai, Yuandi, Ru Cheng, Yifan Zhou, Shijie Zhang, Jiang Xiao, and Hai Jin. "Enabling Complete Atomicity for Cross-Chain Applications Through Layered State Commitments." In 2024 43rd International Symposium on Reliable Distributed Systems (SRDS). IEEE, 2024. https://doi.org/10.1109/srds64841.2024.00032.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Flanagan, Cormac, and Shaz Qadeer. "Types for atomicity." In the 2003 ACM SIGPLAN international workshop. ACM Press, 2003. http://dx.doi.org/10.1145/604174.604176.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Jin, Guoliang, Linhai Song, Wei Zhang, Shan Lu, and Ben Liblit. "Automated atomicity-violation fixing." In the 32nd ACM SIGPLAN conference. ACM Press, 2011. http://dx.doi.org/10.1145/1993498.1993544.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Flanagan, Cormac, Stephen N. Freund, and Shaz Qadeer. "Exploiting purity for atomicity." In the 2004 ACM SIGSOFT international symposium. ACM Press, 2004. http://dx.doi.org/10.1145/1007512.1007543.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Tygar, J. D. "Atomicity in electronic commerce." In the fifteenth annual ACM symposium. ACM Press, 1996. http://dx.doi.org/10.1145/248052.248054.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Flanagan, Cormac, Stephen N. Freund, and Marina Lifshin. "Type inference for atomicity." In the 2005 ACM SIGPLAN international workshop. ACM Press, 2005. http://dx.doi.org/10.1145/1040294.1040299.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Al-Houmaily, Yousef J., and Panos K. Chrysanthis. "Atomicity with incompatible presumptions." In the eighteenth ACM SIGMOD-SIGACT-SIGART symposium. ACM Press, 1999. http://dx.doi.org/10.1145/303976.304006.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Lu, Kai, Wenzhe Zhang, and Xu Zhou. "Strong Atomicity: An Efficient and Easy-to-Use Mechanism to Guarantee Atomicity." In 2012 International Conference on Computer Science and Service System (CSSS). IEEE, 2012. http://dx.doi.org/10.1109/csss.2012.146.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Shacham, Ohad, Eran Yahav, Guy Golan Gueta, et al. "Verifying atomicity via data independence." In the 2014 International Symposium. ACM Press, 2014. http://dx.doi.org/10.1145/2610384.2610402.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Liu, Peng, Julian Dolby, and Charles Zhang. "Finding incorrect compositions of atomicity." In the 2013 9th Joint Meeting. ACM Press, 2013. http://dx.doi.org/10.1145/2491411.2491435.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Atomicita"

1

Chockler, Gregory, Nancy Lynch, Sayan Mitra, and Joshua Tauber. Proving Atomicity: An Assertional Approach. Defense Technical Information Center, 2005. http://dx.doi.org/10.21236/ada466773.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Costich, Oliver, and Sushil Jajodia. Maintaining Multilevel Transaction Atomicity in MLS Database Systems with Kernelized Architecture. Defense Technical Information Center, 1993. http://dx.doi.org/10.21236/ada465420.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Atomicita' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography