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, 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 QuelleBanach, 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 QuelleChen, 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 QuelleAckema, 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 QuelleGiebas, 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 QuelleScontras, 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 QuelleFlanagan, 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 QuelleBoudol, 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 QuelleKearnes, 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 QuelleFlanagan, 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 QuelleChoi, Sea Hee, Tania Ionin und Yeqiu Zhu. „L1 Korean and L1 Mandarin L2 English learners’ acquisition of the count/mass distinction in English“. Second Language Research 34, Nr. 2 (28.07.2017): 147–77. http://dx.doi.org/10.1177/0267658317717581.
Der volle Inhalt der QuelleCarver, Andy, und Terry Halpin. „Atomicity and Semantic Normalization“. International Journal of Information System Modeling and Design 1, Nr. 2 (April 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, Nr. 1-5 (März 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 und Ben Liblit. „Automated atomicity-violation fixing“. ACM SIGPLAN Notices 47, Nr. 6 (06.08.2012): 389. http://dx.doi.org/10.1145/2345156.1993544.
Der volle Inhalt der QuelleSere, K. „Procedures and atomicity refinement“. Information Processing Letters 60, Nr. 2 (Oktober 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, Nr. 2 (Mai 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, Nr. 6 (Juni 2015): 2346–58. http://dx.doi.org/10.1016/j.jpaa.2014.09.003.
Der volle Inhalt der QuelleFlanagan, Cormac, Stephen N. Freund und Shaz Qadeer. „Exploiting purity for atomicity“. ACM SIGSOFT Software Engineering Notes 29, Nr. 4 (Juli 2004): 221–31. http://dx.doi.org/10.1145/1013886.1007543.
Der volle Inhalt der QuelleNesterenko, Mikhail, und Anish Arora. „Stabilization-Preserving Atomicity Refinement“. Journal of Parallel and Distributed Computing 62, Nr. 5 (Mai 2002): 766–91. http://dx.doi.org/10.1006/jpdc.2001.1828.
Der volle Inhalt der QuelleFlanagan, C., S. N. Freund und S. Qadeer. „Exploiting purity for atomicity“. IEEE Transactions on Software Engineering 31, Nr. 4 (April 2005): 275–91. http://dx.doi.org/10.1109/tse.2005.47.
Der volle Inhalt der QuelleJin, Guoliang, Linhai Song, Wei Zhang, Shan Lu und Ben Liblit. „Automated atomicity-violation fixing“. ACM SIGPLAN Notices 46, Nr. 6 (04.06.2011): 389–400. http://dx.doi.org/10.1145/1993316.1993544.
Der volle Inhalt der QuelleGyenis, Zalán, und Miklós Rédei. „Atomicity and Causal Completeness“. Erkenntnis 79, S3 (23.02.2013): 437–51. http://dx.doi.org/10.1007/s10670-013-9456-1.
Der volle Inhalt der QuelleZiarek, Lukasz, Philip Schatz und Suresh Jagannathan. „Modular Checkpointing for Atomicity“. Electronic Notes in Theoretical Computer Science 174, Nr. 9 (Juni 2007): 85–115. http://dx.doi.org/10.1016/j.entcs.2007.04.008.
Der volle Inhalt der QuelleAnderson, James H., und Mohamed G. Gouda. „A criterion for atomicity“. Formal Aspects of Computing 4, Nr. 3 (Mai 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, Nr. 1 (2021): 89–106. http://dx.doi.org/10.17323/1728-192x-2021-1-89-106.
Der volle Inhalt der QuelleWang, Liqiang, und Scott D. Stoller. „Run-Time Analysis for Atomicity“. Electronic Notes in Theoretical Computer Science 89, Nr. 2 (Oktober 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 und Jan Vitek. „Atomicity Refinement for Verified Compilation“. ACM Transactions on Programming Languages and Systems 36, Nr. 2 (Juli 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, Nr. 1 (März 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, Nr. 1-2 (1989): 53–69. http://dx.doi.org/10.1017/s0308210500028171.
Der volle Inhalt der QuelleFekete, Alan, Nancy Lynch und William E. Weihl. „Hybrid atomicity for nested transactions“. Theoretical Computer Science 149, Nr. 1 (September 1995): 151–78. http://dx.doi.org/10.1016/0304-3975(95)00029-v.
Der volle Inhalt der QuelleKulkarni, Aditya, Yu David Liu und Scott F. Smith. „Task types for pervasive atomicity“. ACM SIGPLAN Notices 45, Nr. 10 (17.10.2010): 671–90. http://dx.doi.org/10.1145/1932682.1869514.
Der volle Inhalt der QuelleJagannathan, Suresh, Vincent Laporte, Gustavo Petri, David Pichardie und Jan Vitek. „Atomicity refinement for verified compilation“. ACM SIGPLAN Notices 49, Nr. 6 (05.06.2014): 27. http://dx.doi.org/10.1145/2666356.2594346.
Der volle Inhalt der QuelleMaessen, Jan-Willem, und Arvind. „Store Atomicity for Transactional Memory“. Electronic Notes in Theoretical Computer Science 174, Nr. 9 (Juni 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, Nr. 2 (11.04.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, Nr. 5 (01.03.2002): 343–66. http://dx.doi.org/10.1007/s002360200080.
Der volle Inhalt der QuelleKulkarni, Sandeep S., Chase Bolen, John Oleszkiewicz und Andrew Robinson. „Alternators in read/write atomicity“. Information Processing Letters 93, Nr. 5 (März 2005): 207–15. http://dx.doi.org/10.1016/j.ipl.2004.11.009.
Der volle Inhalt der QuelleKuzume, Akiyoshi, und Kimihisa Yamamoto. „Tin oxide subnanoparticles: a precisely-controlled synthesis, subnano-detection for their detailed characterisation and applications“. Dalton Transactions 49, Nr. 39 (2020): 13512–18. http://dx.doi.org/10.1039/d0dt02186e.
Der volle Inhalt der QuelleLi, Xiao Min, Bing Liang und Jian Ping Wang. „Analysis and Improvement of Mobile Payment Security Based on SET Protocol“. Applied Mechanics and Materials 117-119 (Oktober 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 und Jin Ping Liu. „A Web Service Transaction Coordination Framework Based on Compensation“. Advanced Materials Research 433-440 (Januar 2012): 5183–87. http://dx.doi.org/10.4028/www.scientific.net/amr.433-440.5183.
Der volle Inhalt der QuelleGavriluţ, Gabriel, Alina Gavriluţ und Maricel Agop. „Extended Minimal Atomicity through Nondifferentiability: A Mathematical-Physical Approach“. Advances in Mathematical Physics 2019 (10.01.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 (31.12.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, Nr. 1 (31.03.2009): 113–37. http://dx.doi.org/10.22425/jul.2009.10.1.113.
Der volle Inhalt der QuelleSchuldt, Heiko, Gustavo Alonso, Catriel Beeri und Hans-Jörg Schek. „Atomicity and isolation for transactional processes“. ACM Transactions on Database Systems 27, Nr. 1 (März 2002): 63–116. http://dx.doi.org/10.1145/507234.507236.
Der volle Inhalt der QuelleSchneider, Florian T., Vijay Menon, Tatiana Shpeisman und Ali-Reza Adl-Tabatabai. „Dynamic optimization for efficient strong atomicity“. ACM SIGPLAN Notices 43, Nr. 10 (27.10.2008): 181–94. http://dx.doi.org/10.1145/1449955.1449779.
Der volle Inhalt der QuelleShi, Qingkai, Jeff Huang, Zhenyu Chen und Baowen Xu. „Verifying Synchronization for Atomicity Violation Fixing“. IEEE Transactions on Software Engineering 42, Nr. 3 (01.03.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, Nr. 3 (Juli 1986): 31–39. http://dx.doi.org/10.1145/12476.12480.
Der volle Inhalt der QuelleGolan-Gueta, Guy, G. Ramalingam, Mooly Sagiv und Eran Yahav. „Automatic scalable atomicity via semantic locking“. ACM SIGPLAN Notices 50, Nr. 8 (18.12.2015): 31–41. http://dx.doi.org/10.1145/2858788.2688511.
Der volle Inhalt der QuelleGolab, Wojciech, Xiaozhou Steve, Alejandro López-Ortiz und Naomi Nishimura. „Computing $k$-Atomicity in Polynomial Time“. SIAM Journal on Computing 47, Nr. 2 (Januar 2018): 420–55. http://dx.doi.org/10.1137/16m1056389.
Der volle Inhalt der QuelleUngar, David, David Grove und Hubertus Franke. „Dynamic atomicity: optimizing swift memory management“. ACM SIGPLAN Notices 52, Nr. 11 (Dezember 2017): 15–26. http://dx.doi.org/10.1145/3170472.3133843.
Der volle Inhalt der QuelleArvind, Arvind, und Jan-Willem Maessen. „Memory Model = Instruction Reordering + Store Atomicity“. ACM SIGARCH Computer Architecture News 34, Nr. 2 (Mai 2006): 29–40. http://dx.doi.org/10.1145/1150019.1136489.
Der volle Inhalt der Quelle