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: 1 February 2022

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 come strumenti pratici e non come novit teoriche. Vedremo come ci occorre nelle prime edizione dei libri di testo di Orfila e Thenard. Alla fine del 1820 nuovi metodi per il calcolo di pesi atomici furono introdotti nei libri di testo, insieme alle formule di Berzelius. Vedremo come la teoria atomica raggiunge il suo punto culminante nei libri di Orfila e Thenard tra le edizioni del 1827 e 1835. Per ultimo discuteremo perch Orfila cancell i pesi atomici della settima edizione del suo libro pubblicato nel 1843. Analizzeremo i suoi argomenti epistemologici, la sua visione della differenza fra atomi ed equivalenti, i suoi interessi per la chimica vegetale e animale e le costrizioni istituzionali (programmi ufficiali) per quello che si riferisce alla teoria atomica. Non si pu ridurre ad un solo motivo la reazione di Orfila rispetto alla teoria atomica nella decade del 1840. Lui scelse una posizione particolare fra le varie prese in quegli anni dagli autori francesi di libri di testo
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 (November 26, 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, Xin Feng, Zhen Gang Jiang, Li Qiang Wang, Hong Yi Ma, Ping Guo, and Hao Qian. "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 violations from the harmful ones. A benign atomicity violation is known not to affect the program's correctness even it happens. We formulate our problem as a supervised-learning problem and apply these two machine learning techniques to classify the atomicity violation report. Our experimental evaluation shows that the proposed method is effective in identifying the benign atomicity violation warnings.
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

Giebas, Damian, and Rafał Wojszczyk. "Atomicity Violation in Multithreaded Applications and Its Detection in Static Code Analysis Process." Applied Sciences 10, no. 22 (November 12, 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
6

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. Second, it has been reported that speakers of the Amazonian language Yudja favor cardinality-based quantity comparison for all nouns regardless of notional atomicity. In the current study, we show that both of these patterns arise in naïve English speakers in the absence of clear linguistic cues to atomicity, and suggest that the absence or mis-diagnosis of linguistic cues may be behind the reported outliers to atomicity-tracking.
APA, Harvard, Vancouver, ISO, and other styles
7

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

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

Boudol, G., and I. Castellani. "Concurrency and atomicity." Theoretical Computer Science 59, no. 1-2 (July 1988): 25–84. http://dx.doi.org/10.1016/0304-3975(88)90096-5.

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

Kearnes, Keith A. "Atomicity And Nilpotence." Canadian Journal of Mathematics 42, no. 2 (April 1, 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 condition is usually the hypothesis that the lattice in question is strongly atomic or at least atomic. Now, it is well-known that every algebra has a weakly atomic congruence lattice.
APA, Harvard, Vancouver, ISO, and other styles
10

Flanagan, Cormac, and Shaz Qadeer. "Types for atomicity." ACM SIGPLAN Notices 38, no. 3 (March 18, 2003): 1–12. http://dx.doi.org/10.1145/640136.604176.

Full text
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á verze analyzátoru Atomer. Cílem vylepšení je zvýšení jak škálovatelnosti, tak přesnosti. Kromě toho byla přidána podpora pro několik původně nepodporovaných programovacích vlastností (včetně např. možnosti analyzovat programy napsané v jazycích C++ a Java nebo podpory pro reentrantní zámky nebo stráže zámků, tzv. "lock guards"). Prostřednictvím řady experimentů (včetně experimentů s reálnými programy a reálnými chybami) se ukázalo, že nová verze nástroje Atomer je skutečně mnohem obecnější, přesnější a lépe škáluje.
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 de sections critiques implémentées selon l'approche pessimiste, et l'analyse dynamique de flots d'informations. Les sections critiques définissent un ensemble d'accès mémoire qui doivent être exécutées de façon atomique. Leur implémentation pessimiste repose sur l'acquisition et le relâchement de mécanismes de synchronisation, tels que les verrous, en début et en fin de sections critiques. Nous présentons un algorithme générique pour l'acquisition/relâchement des mécanismes de synchronisation, et nous définissons sur cet algorithme un ensemble de politiques particulier ayant pour objectif d'augmenter le parallélisme en réduisant le temps de possession des verrous par les différentes threads. Nous montrons alors la correction de ces politiques (respect de l'atomicité et absence de blocages), et nous validons expérimentalement leur intérêt. Le deuxième point abordé est l'analyse dynamique de flot d'information pour des exécutions parallèles. Dans ce type d'analyse, l'enjeu est de définir précisément l'ordre dans lequel les accès à des mémoires partagées peuvent avoir lieu à l'exécution. La plupart des travaux existant sur ce thème se basent sur une exécution sérialisée du programme cible. Ceci permet d'obtenir une sérialisation explicite des accès mémoire mais entraîne un surcoût en temps d'exécution et ignore l'effet des modèles mémoire relâchées. A contrario, la technique que nous proposons permet de prédire l'ensemble des sérialisations possibles vis-a-vis de ce modèle mémoire à partir d'une seule exécution parallèle ("runtime prediction"). Nous avons développé cette approche dans le cadre de l'analyse de teinte, qui est largement utilisée en détection de vulnérabilités. Pour améliorer la précision de cette analyse nous prenons également en compte la sémantique des primitives de synchronisation qui réduisent le nombre de sérialisations valides. Les travaux proposé ont été implémentés dans des outils prototype qui ont permit leur évaluation sur des exemples représentatifs.
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. With relative atoms, we can account for why atomic and nonatomic parts of a plurality can equally be involved in distributive reference, in accordance with newly obtained empirical evidence. We can also capture the unexpected ways in which Hungarian reduplicated numerals and reciprocal constructions interact.
Els models mereològics s’utilitzen sovint per explicar la referència distributiva, que apareix quan la denotació d’una expressió lingüística conté certes parts de la pluralitat a la qual s’aplica. El fet d’utilitzar àtoms estructurals, que són entitats sense parts pròpies, per representar les entitats bàsiques sobre les quals es formen les pluralitats és una pràctica habitual a la teoria de distributivitat. Aquesta tesi ofereix una revisió de la noció d’àtom utilitzada a la teoria de distributivitat i exposa arguments a favor de la utilització d’àtoms relatius, que són entitats atòmiques només en relació amb una propietat determinada. Gràcies als àtoms relatius podem explicar perquè les parts atòmiques i no atòmiques d’una pluralitat poden estar involucrades en la referència distributiva, segons proves empíriques obtingudes recentment. A més, podem reflectir les diferents maneres imprevistes amb què interactuen els numerals reduplicats i les construccions recíproques en hongarès.
APA, Harvard, Vancouver, ISO, and other styles
4

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
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 answer to the objective.
APA, Harvard, Vancouver, ISO, and other styles
6

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 these operations are co-related. In this case, the programmer may be required to enforce the sequential execution of those operations as a whole to avoid atomicity violations. This situation is specially common when the developer makes use of services from third-party packages or modules. This thesis proposes a methodology, based on the design by contract methodology, to specify which sequences of operations must be executed atomically. We developed an analysis that statically verifies that a client of a module is respecting its contract, allowing the programmer to identify the source of possible atomicity violations.
Fundação para a Ciência e Tecnologia - research project Synergy-VM(PTDC/EIA-EIA/113613/2009)
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 properties of the three forms of maximal common divisors and how a ring’s classification as an MCD, SMCD, or VSMCD ring affects its atomicity. To conclude, we identify some unsolved problems relating to the topics discussed in this dissertation.
APA, Harvard, Vancouver, ISO, and other styles
8

Li, 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 text
APA, Harvard, Vancouver, ISO, and other styles
9

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
10

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
More sources

Books on the topic "Atomicita"

1

Gavriluţ, Alina, Ioan Mercheş, and Maricel Agop. Atomicity through Fractal Measure Theory. Cham: 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

Pax atomica: Poems. New York: Ecco, 2004.

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

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

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

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

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

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

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

Antigone o Creonte: Etica e politica nell'era atomica. Roma: Riuniti, 1990.

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

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

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

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

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

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

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

Guido, Cosenza, and Sertorio Luigi 1933-, eds. La menzogna nucleare: Perché tornare all'energia atomica sarebbe gravemente rischioso e completamente inutile. Milano: Ponte alle Grazie, 2010.

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

Book chapters on the topic "Atomicita"

1

Weikum, Gerhard. "Atomicity." In Encyclopedia of Database Systems, 186–89. New York, NY: 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
2

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

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

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

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

Weikum, Gerhard. "Atomicity." In Encyclopedia of Database Systems, 1–4. New York, NY: 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
5

Buhr, Peter A. "Atomicity*." In Understanding Control Flow, 233–311. Cham: 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
6

Speegle, Greg. "Semantic Atomicity." In Encyclopedia of Database Systems, 3381–86. New York, NY: 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
7

Speegle, Greg. "Semantic Atomicity." In Encyclopedia of Database Systems, 2588–91. Boston, MA: 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, 315–28. Berlin, Heidelberg: 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, 1–6. New York, NY: 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
10

Lomet, David. "Transactions: From Local Atomicity to Atomicity in the Cloud." In Dependable and Historic Computing, 38–52. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24541-1_5.

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

Conference papers on the topic "Atomicita"

1

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

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

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

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

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

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

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

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

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

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. New York, New York, USA: ACM Press, 2005. http://dx.doi.org/10.1145/1040294.1040299.

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

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
8

Banach, Richard, Czeslaw Jeske, Anthony Hall, and Susan Stepney. "Retrenchment and the Atomicity Pattern." In Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007). IEEE, 2007. http://dx.doi.org/10.1109/sefm.2007.34.

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

Frank, L. "Atomicity implementation in mobile computing." In Proceedings. Tenth International Workshop on Database and Expert Systems Applications. DEXA 99. IEEE, 1999. http://dx.doi.org/10.1109/dexa.1999.795152.

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

Ros, Alberto, and Stefanos Kaxiras. "Speculative Enforcement of Store Atomicity." In 2020 53rd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO). IEEE, 2020. http://dx.doi.org/10.1109/micro50266.2020.00053.

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. Fort Belvoir, VA: Defense Technical Information Center, July 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. Fort Belvoir, VA: Defense Technical Information Center, January 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