Journal articles on the topic 'Atomicita'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
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.
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 textBanach, 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 textChen, 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 textAckema, 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 textSü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 textGiebas, 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 textChoi, 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 textScontras, 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 textFlanagan, 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 textKearnes, 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 textFlanagan, Cormac, and Shaz Qadeer. "Types for atomicity." ACM SIGPLAN Notices 38, no. 3 (2003): 1–12. http://dx.doi.org/10.1145/640136.604176.
Full textBoudol, G., and I. Castellani. "Concurrency and atomicity." Theoretical Computer Science 59, no. 1-2 (1988): 25–84. http://dx.doi.org/10.1016/0304-3975(88)90096-5.
Full textChoi, 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 (2017): 147–77. http://dx.doi.org/10.1177/0267658317717581.
Full textKienzle, Jörg. "On Atomicity and Software Development." JUCS - Journal of Universal Computer Science 11, no. (5) (2005): 687–702. https://doi.org/10.3217/jucs-011-05-0687.
Full textGolovashina, 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 textCarver, Andy, and Terry Halpin. "Atomicity and Semantic Normalization." International Journal of Information System Modeling and Design 1, no. 2 (2010): 23–39. http://dx.doi.org/10.4018/jismd.2010040102.
Full textFlanagan, C., S. N. Freund, and S. Qadeer. "Exploiting purity for atomicity." IEEE Transactions on Software Engineering 31, no. 4 (2005): 275–91. http://dx.doi.org/10.1109/tse.2005.47.
Full textJin, Guoliang, Linhai Song, Wei Zhang, Shan Lu, and Ben Liblit. "Automated atomicity-violation fixing." ACM SIGPLAN Notices 47, no. 6 (2012): 389. http://dx.doi.org/10.1145/2345156.1993544.
Full textJin, Guoliang, Linhai Song, Wei Zhang, Shan Lu, and Ben Liblit. "Automated atomicity-violation fixing." ACM SIGPLAN Notices 46, no. 6 (2011): 389–400. http://dx.doi.org/10.1145/1993316.1993544.
Full textTygar, J. D. "Atomicity in electronic commerce." netWorker 2, no. 2 (1998): 32–43. http://dx.doi.org/10.1145/280449.280458.
Full textGyenis, Zalán, and Miklós Rédei. "Atomicity and Causal Completeness." Erkenntnis 79, S3 (2013): 437–51. http://dx.doi.org/10.1007/s10670-013-9456-1.
Full textAnderson, James H., and Mohamed G. Gouda. "A criterion for atomicity." Formal Aspects of Computing 4, no. 3 (1992): 273–98. http://dx.doi.org/10.1007/bf01212305.
Full textFlanagan, Cormac, Stephen N. Freund, and Shaz Qadeer. "Exploiting purity for atomicity." ACM SIGSOFT Software Engineering Notes 29, no. 4 (2004): 221–31. http://dx.doi.org/10.1145/1013886.1007543.
Full textSere, K. "Procedures and atomicity refinement." Information Processing Letters 60, no. 2 (1996): 67–74. http://dx.doi.org/10.1016/s0020-0190(96)00142-1.
Full textTheriault, Stephen. "Atomicity for Anick's spaces." Journal of Pure and Applied Algebra 219, no. 6 (2015): 2346–58. http://dx.doi.org/10.1016/j.jpaa.2014.09.003.
Full textZedan, H. "Achieving atomicity in occam." Microprocessing and Microprogramming 23, no. 1-5 (1988): 261–65. http://dx.doi.org/10.1016/0165-6074(88)90366-3.
Full textZiarek, Lukasz, Philip Schatz, and Suresh Jagannathan. "Modular Checkpointing for Atomicity." Electronic Notes in Theoretical Computer Science 174, no. 9 (2007): 85–115. http://dx.doi.org/10.1016/j.entcs.2007.04.008.
Full textNesterenko, Mikhail, and Anish Arora. "Stabilization-Preserving Atomicity Refinement." Journal of Parallel and Distributed Computing 62, no. 5 (2002): 766–91. http://dx.doi.org/10.1006/jpdc.2001.1828.
Full textBurton, Jon, and Cliff Jones. "Investigating Atomicity and Observability." JUCS - Journal of Universal Computer Science 11, no. (5) (2005): 661–86. https://doi.org/10.3217/jucs-011-05-0661.
Full textJones, Cliff, David Lomet, Alexander Romanovsky, and Gerhard Weikum. "The Atomic Manifesto." JUCS - Journal of Universal Computer Science 11, no. (5) (2005): 636–50. https://doi.org/10.3217/jucs-011-05-0636.
Full textBüchi, Martin, and Emil Sekerinski. "A Foundation for Refining Concurrent Objects." Fundamenta Informaticae 44, no. 1-2 (2000): 25–61. https://doi.org/10.3233/fun-2000-441-202.
Full textColeman, Joey, Cliff Jones, and David Lomet. "Atomicity: A Unifying Concept in Computer Science." JUCS - Journal of Universal Computer Science 13, no. (8) (2007): 1042–46. https://doi.org/10.3217/jucs-013-08.
Full textJagannathan, 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 (2014): 1–30. http://dx.doi.org/10.1145/2601339.
Full textKulkarni, Aditya, Yu David Liu, and Scott F. Smith. "Task types for pervasive atomicity." ACM SIGPLAN Notices 45, no. 10 (2010): 671–90. http://dx.doi.org/10.1145/1932682.1869514.
Full textHesselink, Wim H. "A challenge for atomicity verification." Science of Computer Programming 71, no. 1 (2008): 57–72. http://dx.doi.org/10.1016/j.scico.2008.01.001.
Full textWang, Liqiang, and Scott D. Stoller. "Run-Time Analysis for Atomicity." Electronic Notes in Theoretical Computer Science 89, no. 2 (2003): 191–209. http://dx.doi.org/10.1016/s1571-0661(04)81049-1.
Full textHesselink, Wim H. "A criterion for atomicity revisited." Acta Informatica 44, no. 2 (2007): 123–51. http://dx.doi.org/10.1007/s00236-007-0044-1.
Full textHesselink, Wim H. "An assertional criterion for atomicity." Acta Informatica 38, no. 5 (2002): 343–66. http://dx.doi.org/10.1007/s002360200080.
Full textMahmud, Zafer. "Unstable atomicity of ΩSpin(r)". Proceedings of the Royal Society of Edinburgh: Section A Mathematics 112, № 1-2 (1989): 53–69. http://dx.doi.org/10.1017/s0308210500028171.
Full textJagannathan, Suresh, Vincent Laporte, Gustavo Petri, David Pichardie, and Jan Vitek. "Atomicity refinement for verified compilation." ACM SIGPLAN Notices 49, no. 6 (2014): 27. http://dx.doi.org/10.1145/2666356.2594346.
Full textKulkarni, Sandeep S., Chase Bolen, John Oleszkiewicz, and Andrew Robinson. "Alternators in read/write atomicity." Information Processing Letters 93, no. 5 (2005): 207–15. http://dx.doi.org/10.1016/j.ipl.2004.11.009.
Full textFekete, Alan, Nancy Lynch, and William E. Weihl. "Hybrid atomicity for nested transactions." Theoretical Computer Science 149, no. 1 (1995): 151–78. http://dx.doi.org/10.1016/0304-3975(95)00029-v.
Full textMaessen, Jan-Willem, and Arvind. "Store Atomicity for Transactional Memory." Electronic Notes in Theoretical Computer Science 174, no. 9 (2007): 117–37. http://dx.doi.org/10.1016/j.entcs.2007.04.009.
Full textMoss, J. Eliot B., and Ravi Rajwar. "Atomicity as a First-Class System Provision." JUCS - Journal of Universal Computer Science 11, no. (5) (2005): 651–60. https://doi.org/10.3217/jucs-011-05-0651.
Full textBurton, Jon, and Cliff Jones. "Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181)." JUCS - Journal of Universal Computer Science 11, no. (5) (2005): 634–35. https://doi.org/10.3217/jucs-011-05.
Full textLi, 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 textKuzume, 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 textChu, 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 textGavriluţ, 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 textFassi 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