Log in

Relevant bibliographies by topics / Atomicita / Journal articles

To see the other types of publications on this topic, follow the link: Atomicita.

Journal articles 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 top 50 journal articles 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 journal articles on a wide variety of disciplines and organise your bibliography correctly.

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

11

Choi, Sea Hee, Tania Ionin, and Yeqiu Zhu. "L1 Korean and L1 Mandarin L2 English learners’ acquisition of the count/mass distinction in English." Second Language Research 34, no. 2 (July 28, 2017): 147–77. http://dx.doi.org/10.1177/0267658317717581.

Full text

Abstract:

This study investigates the second language (L2) acquisition of the English count/mass distinction by speakers of Korean and Mandarin Chinese, with a focus on the semantics of atomicity. It is hypothesized that L1-Korean and L1-Mandarin L2-English learners are influenced by atomicity in the use of the count/mass morphosyntax in English. This hypothesis is tested in two experiments, one comparing Korean and Mandarin speakers in their L2 (English) and the other investigating count/mass morphosyntax in native Korean and Mandarin Chinese. In both experiments, participants are tested on their suppliance of plural marking with count and mass NPs. The findings are fully consistent with the view of atomicity as a semantic universal: learners overuse plural marking with mass atomic nouns such as furniture more than with mass non-atomic nouns such as water. Even though plural marking is associated with atomicity in Korean but not in Mandarin, the same patterns are observed in L1-Korean and L1-Mandarin L2-English learners. We conclude that learners’ performance is not due to L1-transfer, but rather to the role of the semantic universal of atomicity in L2-acquisition.

APA, Harvard, Vancouver, ISO, and other styles

12

Carver, Andy, and Terry Halpin. "Atomicity and Semantic Normalization." International Journal of Information System Modeling and Design 1, no. 2 (April 2010): 23–39. http://dx.doi.org/10.4018/jismd.2010040102.

Full text

Abstract:

This paper contrasts two different approaches to designing relational databases that are free of redundancy. The Object-Role Modeling (ORM) approach captures semantics in terms of atomic (elementary or existential) fact types, before grouping the fact types into relation schemes. Normalization by decomposition instead focuses on “non0loss decomposition” to various, and progressively more refined, “normal forms”. Traditionally, non0loss decomposition of a relation requires decomposition into smaller relations that, upon natural join, yield the exact original population. Non-loss decomposition of a table scheme (or relation variable) requires that the decomposition of all possible populations of the relation scheme is reversible in this way. This paper shows that the dependency requirement for “all possible populations” is too restrictive for definitions of multi-valued and join dependencies over relation schemes. By exploiting ORM modeling heuristics, the authors offer new definitions of these data dependencies and non-loss decomposition, to enable these concepts to be addressed at a truly semantic level.

APA, Harvard, Vancouver, ISO, and other styles

13

Zedan, H. "Achieving atomicity in occam." Microprocessing and Microprogramming 23, no. 1-5 (March 1988): 261–65. http://dx.doi.org/10.1016/0165-6074(88)90366-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Jin, Guoliang, Linhai Song, Wei Zhang, Shan Lu, and Ben Liblit. "Automated atomicity-violation fixing." ACM SIGPLAN Notices 47, no. 6 (August 6, 2012): 389. http://dx.doi.org/10.1145/2345156.1993544.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Sere, K. "Procedures and atomicity refinement." Information Processing Letters 60, no. 2 (October 1996): 67–74. http://dx.doi.org/10.1016/s0020-0190(96)00142-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Tygar, J. D. "Atomicity in electronic commerce." netWorker 2, no. 2 (May 1998): 32–43. http://dx.doi.org/10.1145/280449.280458.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Theriault, Stephen. "Atomicity for Anick's spaces." Journal of Pure and Applied Algebra 219, no. 6 (June 2015): 2346–58. http://dx.doi.org/10.1016/j.jpaa.2014.09.003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Flanagan, Cormac, Stephen N. Freund, and Shaz Qadeer. "Exploiting purity for atomicity." ACM SIGSOFT Software Engineering Notes 29, no. 4 (July 2004): 221–31. http://dx.doi.org/10.1145/1013886.1007543.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Nesterenko, Mikhail, and Anish Arora. "Stabilization-Preserving Atomicity Refinement." Journal of Parallel and Distributed Computing 62, no. 5 (May 2002): 766–91. http://dx.doi.org/10.1006/jpdc.2001.1828.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Flanagan, C., S. N. Freund, and S. Qadeer. "Exploiting purity for atomicity." IEEE Transactions on Software Engineering 31, no. 4 (April 2005): 275–91. http://dx.doi.org/10.1109/tse.2005.47.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Jin, Guoliang, Linhai Song, Wei Zhang, Shan Lu, and Ben Liblit. "Automated atomicity-violation fixing." ACM SIGPLAN Notices 46, no. 6 (June 4, 2011): 389–400. http://dx.doi.org/10.1145/1993316.1993544.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Gyenis, Zalán, and Miklós Rédei. "Atomicity and Causal Completeness." Erkenntnis 79, S3 (February 23, 2013): 437–51. http://dx.doi.org/10.1007/s10670-013-9456-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Ziarek, Lukasz, Philip Schatz, and Suresh Jagannathan. "Modular Checkpointing for Atomicity." Electronic Notes in Theoretical Computer Science 174, no. 9 (June 2007): 85–115. http://dx.doi.org/10.1016/j.entcs.2007.04.008.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Anderson, James H., and Mohamed G. Gouda. "A criterion for atomicity." Formal Aspects of Computing 4, no. 3 (May 1992): 273–98. http://dx.doi.org/10.1007/bf01212305.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Golovashina, Oksana. "Event as Object: Towards a Flat-Event Theory." Sotsiologicheskoe Obozrenie / Russian Sociological Review 20, no. 1 (2021): 89–106. http://dx.doi.org/10.17323/1728-192x-2021-1-89-106.

Full text

Abstract:

In the article, the author offers an original version of the solution to the problem of the atomicity of social events. The relevance of the topic is due to the fact that it is indivisibility that makes it possible to distinguish an event from other social phenomena/processes. From the author’s point of view, the event must have a certain duration, which is atomic. As the first step, the author, relying on a wide range of sources that include the views of various theorists, considers the problem of the indivisibility of social events in the current theory of events. The author notes that logical-semantic interpretations of the indivisibility of events have become more widespread than the statement of ontological atomicity. Furthermore, the author dwells, in detail, on the interpretation of atomicity by observation. Analyzing the views of D. Davidson, A. F. Filippov, and others, the author proves that in the case of atomicity, by observation: (1) the criteria for this atomicity are rather blurred; (2) the event is a consequence not only of the observer’s figure, but also of his system of distinction and motives; (3) the complexity may be related to the spatial factor; and 4) the event itself is confused with the fact. The author also believes that limiting social events only to what is available to the human eye is not in line with modern trends. Additionally, the author shows the productivity of understanding the event as an object. In contrast to the participants in discussions aimed at distinguishing an event and an object, the author uses object conceptualization offered by object-oriented ontology. Events, which as objects are capable of change while retaining their indivisibility and stability, can be associated not only with the material but also with the ideal sphere, and have a system of distinctions. The proposed scheme allows us to assert the impossibility of negative events, gives a reason not only to talk about the atomicity of the event but to also emphasize the ontological foundations of this atomicity, and also offers the possibility of thinking about the social beyond the observed.

APA, Harvard, Vancouver, ISO, and other styles

26

Wang, Liqiang, and Scott D. Stoller. "Run-Time Analysis for Atomicity." Electronic Notes in Theoretical Computer Science 89, no. 2 (October 2003): 191–209. http://dx.doi.org/10.1016/s1571-0661(04)81049-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Jagannathan, Suresh, Vincent Laporte, Gustavo Petri, David Pichardie, and Jan Vitek. "Atomicity Refinement for Verified Compilation." ACM Transactions on Programming Languages and Systems 36, no. 2 (July 2014): 1–30. http://dx.doi.org/10.1145/2601339.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Hesselink, Wim H. "A challenge for atomicity verification." Science of Computer Programming 71, no. 1 (March 2008): 57–72. http://dx.doi.org/10.1016/j.scico.2008.01.001.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Mahmud, Zafer. "Unstable atomicity of ΩSpin(r)." Proceedings of the Royal Society of Edinburgh: Section A Mathematics 112, no. 1-2 (1989): 53–69. http://dx.doi.org/10.1017/s0308210500028171.

Full text

Abstract:

SynopsisWe determine the homomorphism induced, in Z2-cohomology, by a map f: ΩSpin(r) → ΩSpin(r). As a corollary we show that ΩSpin(r), r ≧ 9 is 2-atomic, where a space X is 2-atomic if any map f: X ≧X is either a mod 2 homotopy equivalence or f*: H*(X, Z2) → H*(X, Z2) is nilpotent.

APA, Harvard, Vancouver, ISO, and other styles

30

Fekete, Alan, Nancy Lynch, and William E. Weihl. "Hybrid atomicity for nested transactions." Theoretical Computer Science 149, no. 1 (September 1995): 151–78. http://dx.doi.org/10.1016/0304-3975(95)00029-v.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Kulkarni, Aditya, Yu David Liu, and Scott F. Smith. "Task types for pervasive atomicity." ACM SIGPLAN Notices 45, no. 10 (October 17, 2010): 671–90. http://dx.doi.org/10.1145/1932682.1869514.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Jagannathan, Suresh, Vincent Laporte, Gustavo Petri, David Pichardie, and Jan Vitek. "Atomicity refinement for verified compilation." ACM SIGPLAN Notices 49, no. 6 (June 5, 2014): 27. http://dx.doi.org/10.1145/2666356.2594346.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Maessen, Jan-Willem, and Arvind. "Store Atomicity for Transactional Memory." Electronic Notes in Theoretical Computer Science 174, no. 9 (June 2007): 117–37. http://dx.doi.org/10.1016/j.entcs.2007.04.009.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Hesselink, Wim H. "A criterion for atomicity revisited." Acta Informatica 44, no. 2 (April 11, 2007): 123–51. http://dx.doi.org/10.1007/s00236-007-0044-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Hesselink, Wim H. "An assertional criterion for atomicity." Acta Informatica 38, no. 5 (March 1, 2002): 343–66. http://dx.doi.org/10.1007/s002360200080.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Kulkarni, Sandeep S., Chase Bolen, John Oleszkiewicz, and Andrew Robinson. "Alternators in read/write atomicity." Information Processing Letters 93, no. 5 (March 2005): 207–15. http://dx.doi.org/10.1016/j.ipl.2004.11.009.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Kuzume, Akiyoshi, and Kimihisa Yamamoto. "Tin oxide subnanoparticles: a precisely-controlled synthesis, subnano-detection for their detailed characterisation and applications." Dalton Transactions 49, no. 39 (2020): 13512–18. http://dx.doi.org/10.1039/d0dt02186e.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Li, Xiao Min, Bing Liang, and Jian Ping Wang. "Analysis and Improvement of Mobile Payment Security Based on SET Protocol." Applied Mechanics and Materials 117-119 (October 2011): 615–18. http://dx.doi.org/10.4028/www.scientific.net/amm.117-119.615.

Full text

Abstract:

In order to improve the performance of SET protocol based on the original one, such as security and integrity of information, non-repudiation etc, a improved SET protocol is used in this paper. By introducing client wallet and server wallet, the improved SET protocol can rationally solve the conflicting decision analysis problem between the businesses and customers. The mobile payment based on the improved SET protocol has many features such as confidentiality, integrity, transaction atomicity and goods atomicity etc. Mobile payment based on SET protocol will be a very popular payment way in the future.

APA, Harvard, Vancouver, ISO, and other styles

39

Chu, Mei, Guang Nan Guo, Yong Gang Yun, Hong Yan Shi, and Jin Ping Liu. "A Web Service Transaction Coordination Framework Based on Compensation." Advanced Materials Research 433-440 (January 2012): 5183–87. http://dx.doi.org/10.4028/www.scientific.net/amr.433-440.5183.

Full text

Abstract:

The atomicity characteristic of traditional transaction processing makes entire transaction process to naught in case of specific event or error. To address problem of traditional transaction processing and combining with characteristics of Web service transaction processing, a Web service transaction coordination framework based on compensation was presented. The coordination algorithm and state transformation of long transaction were also provided. The framework mainly provides fault recovery of Web service to ensure atomicity of transaction and consistency of compensation. It permit participant submitting sub-transactions independently to deal with transaction fault with compensation, which can meet requirements of business transactions cross-enterprises.

APA, Harvard, Vancouver, ISO, and other styles

40

Gavriluţ, Gabriel, Alina Gavriluţ, and Maricel Agop. "Extended Minimal Atomicity through Nondifferentiability: A Mathematical-Physical Approach." Advances in Mathematical Physics 2019 (January 10, 2019): 1–16. http://dx.doi.org/10.1155/2019/8298691.

Full text

Abstract:

The mathematical concept of minimal atomicity is extended to fractal minimal atomicity, based on the nondifferentiability of the motion curves of physical system entities on a fractal manifold. For this purpose, firstly, different results concerning minimal atomicity from the mathematical procedure of the Quantum Measure Theory and also several physical implications are obtained. Further, an inverse method with respect to the common developments concerning the minimal atomicity concept has been used, showing that Quantum Mechanics is identified as a particular case of Fractal Mechanics at a given scale resolution. More precisely, for fractality through Markov type stochastic processes, i.e., fractalization through stochasticization, the standard Schrödinger equation is identified with the geodesics of a fractal space for motions of the physical system entities on nondifferentiable curves on fractal dimension two at Compton scale resolution. In the one-dimensional stationary case of the fractal Schrödinger type geodesics, a special symmetry induced by the homographic group in Barbilian’s form “makes possible the synchronicity” of all entities of a given physical system. The integral and differential properties of this group under the restriction of defining a parallelism of directions in Levi-Civita’s sense impose correspondences with the “dynamics” of the hyperbolic plane so that harmonic mappings between the ordinary flat space and the hyperbolic one generate (by means of a variational principle) a priori probabilities in Jaynes’ sense. The explicitation of such situation specifies the fact that the hydrodynamical variant of a Fractal Mechanics is more easily approached and, from this, the fact that Quantum Measure Theory can be a particular case of a possible Fractal Measure Theory.

APA, Harvard, Vancouver, ISO, and other styles

41

Fassi Fehri, Abdelkader. "Nominal classes, reference, and functional parameters, with particular reference to Arabic." Linguistic Variation Yearbook 2004 4 (December 31, 2004): 41–108. http://dx.doi.org/10.1075/livy.4.03feh.

Full text

Abstract:

DPs and BNs are used parametrically in Arabic (as well as in other languages) to express generic/existential contrasts, and mass/count oppositions. Unlike English and Romance, Arabic BNs behave like overt indefinites, give rise to bare singulars, and to numeral BNs, obviating scope or opacity distinctions between bare singulars, duals, or plurals. These numerous BN varieties are accounted for via various N-to-F computational processes, involving namely Numeral and Generic positions. Second, indefinite and definite generic types also make use of covert/overt D oppositions, yet they are subjected to a unifying treatment. Third, the mass/count dichotomy cannot provide an adequate base for a classificatory system. ‘Atomicity’ and ‘singulativity’ values are needed to characterize more appropriately Classifier and Number interactions in so-called ‘classifier’ and ‘number’ language types. ‘Inner’ atomicity (associated with Classifier) and ‘outer’ atomicity (provided by Number) can be properly identified, making it possible to avoid confusion of Classifier and Number contributions to structure and interpretation (e.g. the kind/generic confusion). Finally, the referential/quantificational split, usually expressed through the BN/DP opposition, finds its counterpart in proper noun (PN) and common noun distributions.

APA, Harvard, Vancouver, ISO, and other styles

42

Kwak, Eun-joo. "A Parallel between Countability and Atomicity." Journal of Universal Language 10, no. 1 (March 31, 2009): 113–37. http://dx.doi.org/10.22425/jul.2009.10.1.113.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Schuldt, Heiko, Gustavo Alonso, Catriel Beeri, and Hans-Jörg Schek. "Atomicity and isolation for transactional processes." ACM Transactions on Database Systems 27, no. 1 (March 2002): 63–116. http://dx.doi.org/10.1145/507234.507236.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Schneider, Florian T., Vijay Menon, Tatiana Shpeisman, and Ali-Reza Adl-Tabatabai. "Dynamic optimization for efficient strong atomicity." ACM SIGPLAN Notices 43, no. 10 (October 27, 2008): 181–94. http://dx.doi.org/10.1145/1449955.1449779.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Shi, Qingkai, Jeff Huang, Zhenyu Chen, and Baowen Xu. "Verifying Synchronization for Atomicity Violation Fixing." IEEE Transactions on Software Engineering 42, no. 3 (March 1, 2016): 280–96. http://dx.doi.org/10.1109/tse.2015.2477820.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Herlihy, Maurice. "Comparing how atomicity mechanisms support replication." ACM SIGOPS Operating Systems Review 20, no. 3 (July 1986): 31–39. http://dx.doi.org/10.1145/12476.12480.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Golan-Gueta, Guy, G. Ramalingam, Mooly Sagiv, and Eran Yahav. "Automatic scalable atomicity via semantic locking." ACM SIGPLAN Notices 50, no. 8 (December 18, 2015): 31–41. http://dx.doi.org/10.1145/2858788.2688511.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Golab, Wojciech, Xiaozhou Steve, Alejandro López-Ortiz, and Naomi Nishimura. "Computing $k$-Atomicity in Polynomial Time." SIAM Journal on Computing 47, no. 2 (January 2018): 420–55. http://dx.doi.org/10.1137/16m1056389.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Ungar, David, David Grove, and Hubertus Franke. "Dynamic atomicity: optimizing swift memory management." ACM SIGPLAN Notices 52, no. 11 (December 2017): 15–26. http://dx.doi.org/10.1145/3170472.3133843.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Arvind, Arvind, and Jan-Willem Maessen. "Memory Model = Instruction Reordering + Store Atomicity." ACM SIGARCH Computer Architecture News 34, no. 2 (May 2006): 29–40. http://dx.doi.org/10.1145/1150019.1136489.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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!