Zeitschriftenartikel zum Thema „Atomicita“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Zeitschriftenartikel für die Forschung 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.
Sehen Sie die Zeitschriftenartikel für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
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.
Der volle Inhalt der QuelleBanach, 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.
Der volle Inhalt der QuelleChen, 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.
Der volle Inhalt der QuelleAckema, 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.
Der volle Inhalt der QuelleGiebas, 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.
Der volle Inhalt der QuelleScontras, 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.
Der volle Inhalt der QuelleFlanagan, 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.
Der volle Inhalt der QuelleBoudol, 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.
Der volle Inhalt der QuelleKearnes, 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.
Der volle Inhalt der QuelleFlanagan, Cormac, and Shaz Qadeer. "Types for atomicity." ACM SIGPLAN Notices 38, no. 3 (2003): 1–12. http://dx.doi.org/10.1145/640136.604176.
Der volle Inhalt der QuelleChoi, 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.
Der volle Inhalt der QuelleCarver, 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.
Der volle Inhalt der QuelleZedan, 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.
Der volle Inhalt der QuelleJin, 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.
Der volle Inhalt der QuelleSere, 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.
Der volle Inhalt der QuelleTygar, J. D. "Atomicity in electronic commerce." netWorker 2, no. 2 (1998): 32–43. http://dx.doi.org/10.1145/280449.280458.
Der volle Inhalt der QuelleTheriault, 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.
Der volle Inhalt der QuelleFlanagan, 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.
Der volle Inhalt der QuelleNesterenko, 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.
Der volle Inhalt der QuelleFlanagan, 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.
Der volle Inhalt der QuelleJin, 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.
Der volle Inhalt der QuelleGyenis, 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.
Der volle Inhalt der QuelleZiarek, 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.
Der volle Inhalt der QuelleAnderson, 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.
Der volle Inhalt der QuelleGolovashina, 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.
Der volle Inhalt der QuelleWang, 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.
Der volle Inhalt der QuelleJagannathan, 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.
Der volle Inhalt der QuelleHesselink, 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.
Der volle Inhalt der QuelleMahmud, 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.
Der volle Inhalt der QuelleFekete, 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.
Der volle Inhalt der QuelleKulkarni, 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.
Der volle Inhalt der QuelleJagannathan, 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.
Der volle Inhalt der QuelleMaessen, 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.
Der volle Inhalt der QuelleHesselink, 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.
Der volle Inhalt der QuelleHesselink, Wim H. "An assertional criterion for atomicity." Acta Informatica 38, no. 5 (2002): 343–66. http://dx.doi.org/10.1007/s002360200080.
Der volle Inhalt der QuelleKulkarni, 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.
Der volle Inhalt der QuelleKuzume, 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.
Der volle Inhalt der QuelleLi, 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.
Der volle Inhalt der QuelleChu, 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.
Der volle Inhalt der QuelleGavriluţ, 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.
Der volle Inhalt der QuelleFassi 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.
Der volle Inhalt der QuelleKwak, Eun-joo. "A Parallel between Countability and Atomicity." Journal of Universal Language 10, no. 1 (2009): 113–37. http://dx.doi.org/10.22425/jul.2009.10.1.113.
Der volle Inhalt der QuelleSchuldt, Heiko, Gustavo Alonso, Catriel Beeri, and Hans-Jörg Schek. "Atomicity and isolation for transactional processes." ACM Transactions on Database Systems 27, no. 1 (2002): 63–116. http://dx.doi.org/10.1145/507234.507236.
Der volle Inhalt der QuelleSchneider, Florian T., Vijay Menon, Tatiana Shpeisman, and Ali-Reza Adl-Tabatabai. "Dynamic optimization for efficient strong atomicity." ACM SIGPLAN Notices 43, no. 10 (2008): 181–94. http://dx.doi.org/10.1145/1449955.1449779.
Der volle Inhalt der QuelleShi, Qingkai, Jeff Huang, Zhenyu Chen, and Baowen Xu. "Verifying Synchronization for Atomicity Violation Fixing." IEEE Transactions on Software Engineering 42, no. 3 (2016): 280–96. http://dx.doi.org/10.1109/tse.2015.2477820.
Der volle Inhalt der QuelleHerlihy, Maurice. "Comparing how atomicity mechanisms support replication." ACM SIGOPS Operating Systems Review 20, no. 3 (1986): 31–39. http://dx.doi.org/10.1145/12476.12480.
Der volle Inhalt der QuelleGolan-Gueta, Guy, G. Ramalingam, Mooly Sagiv, and Eran Yahav. "Automatic scalable atomicity via semantic locking." ACM SIGPLAN Notices 50, no. 8 (2015): 31–41. http://dx.doi.org/10.1145/2858788.2688511.
Der volle Inhalt der QuelleGolab, Wojciech, Xiaozhou Steve, Alejandro López-Ortiz, and Naomi Nishimura. "Computing $k$-Atomicity in Polynomial Time." SIAM Journal on Computing 47, no. 2 (2018): 420–55. http://dx.doi.org/10.1137/16m1056389.
Der volle Inhalt der QuelleUngar, David, David Grove, and Hubertus Franke. "Dynamic atomicity: optimizing swift memory management." ACM SIGPLAN Notices 52, no. 11 (2017): 15–26. http://dx.doi.org/10.1145/3170472.3133843.
Der volle Inhalt der QuelleArvind, Arvind, and Jan-Willem Maessen. "Memory Model = Instruction Reordering + Store Atomicity." ACM SIGARCH Computer Architecture News 34, no. 2 (2006): 29–40. http://dx.doi.org/10.1145/1150019.1136489.
Der volle Inhalt der Quelle