Thematische Bibliographien / Atomicita

Inhaltsverzeichnis

  1. Zeitschriftenartikel
  2. Dissertationen
  3. Bücher
  4. Buchteile
  5. Konferenzberichte
  6. Berichte der Organisationen

Auswahl der wissenschaftlichen Literatur zum Thema „Atomicita“

Autor: Grafiati
Veröffentlicht am 28. Juni 2021
Zuletzt aktualisiert am 1. Februar 2022

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Atomicita" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Zeitschriftenartikel zum Thema "Atomicita"

1

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
2

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

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

Chen, Qi Chang, Zhan Fang Chen, Zhuang Liu, Xin Feng, Zhen Gang Jiang, Li Qiang Wang, Hong Yi Ma, Ping Guo und 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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
4

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

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
6

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
7

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

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

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

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
10

Flanagan, Cormac, und Shaz Qadeer. „Types for atomicity“. ACM SIGPLAN Notices 38, Nr. 3 (18.03.2003): 1–12. http://dx.doi.org/10.1145/640136.604176.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Mehr Quellen

Dissertationen zum Thema "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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
3

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
7

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Mehr Quellen

Bücher zum Thema "Atomicita"

1

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

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

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

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

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

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

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

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

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

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

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

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

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

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

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

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

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

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Mehr Quellen

Buchteile zum Thema "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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Farzan, Azadeh, und P. Madhusudan. „Causal Atomicity“. In Computer Aided Verification, 315–28. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11817963_30.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen

Konferenzberichte zum Thema "Atomicita"

1

Flanagan, Cormac, und 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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Flanagan, Cormac, Stephen N. Freund und 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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

Jin, Guoliang, Linhai Song, Wei Zhang, Shan Lu und 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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Al-Houmaily, Yousef J., und 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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Flanagan, Cormac, Stephen N. Freund und 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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Lu, Kai, Wenzhe Zhang und 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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Banach, Richard, Czeslaw Jeske, Anthony Hall und 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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Ros, Alberto, und 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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen

Berichte der Organisationen zum Thema "Atomicita"

1

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

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

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

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Die Auswahlen zum Thema "Atomicita" für konkrete Quellenarten können Sie auch interessieren:
Zeitschriftenartikel Dissertationen Bücher
Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!

Zur Bibliographie