Thematische Bibliographien / Contracts for concurrency

Inhaltsverzeichnis

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

Auswahl der wissenschaftlichen Literatur zum Thema „Contracts for concurrency“

Autor: Grafiati
Veröffentlicht am 28. Juni 2021
Zuletzt aktualisiert am 29. Juli 2025

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 "Contracts for concurrency" 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 "Contracts for concurrency"

1

Wang, Yan, Jixin Li, Wansheng Liu, and Aiping Tan. "Efficient Concurrent Execution of Smart Contracts in Blockchain Sharding." Security and Communication Networks 2021 (February 18, 2021): 1–15. http://dx.doi.org/10.1155/2021/6688168.

Der volle Inhalt der Quelle
Annotation:
Throughput performance is a critical issue in blockchain technology, especially in blockchain sharding systems. Although sharding proposals can improve transaction throughput by parallel processing, the essence of each shard is still a small blockchain. Using serial execution of smart contract transactions, performance has not significantly improved, and there is still room for improvement. A smart contract concurrent execution strategy based on concurrency degree optimization is proposed for performance optimization within a single shard. This strategy is applied to each shard. First, it char
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Nienaltowski, Piotr, Bertrand Meyer, and Jonathan S. Ostroff. "Contracts for concurrency." Formal Aspects of Computing 21, no. 4 (2008): 305–18. http://dx.doi.org/10.1007/s00165-007-0063-2.

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

Ostroff, Jonathan S., Faraz Ahmadi Torshizi, Hai Feng Huang, and Bernd Schoeller. "Beyond contracts for concurrency." Formal Aspects of Computing 21, no. 4 (2008): 319–46. http://dx.doi.org/10.1007/s00165-008-0073-8.

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

Dickerson, Thomas, Paul Gazzillo, Maurice Herlihy, and Eric Koskinen. "Adding concurrency to smart contracts." Distributed Computing 33, no. 3-4 (2019): 209–25. http://dx.doi.org/10.1007/s00446-019-00357-z.

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

Chen, Zhihao, Tianji Yang, Yixiao Zheng, Zhao Zhang, Cheqing Jin, and Aoying Zhou. "Spectrum: Speedy and Strictly-Deterministic Smart Contract Transactions for Blockchain Ledgers." Proceedings of the VLDB Endowment 17, no. 10 (2024): 2541–54. http://dx.doi.org/10.14778/3675034.3675045.

Der volle Inhalt der Quelle
Annotation:
Today, blockchain ledgers utilize concurrent deterministic execution schemes to scale up. However, ordering fairness is not preserved in these schemes: although they ensure all replicas achieve the same serial order, this order does not always align with the fair, consensus-established order when executing smart contracts with runtime-determined accesses. To preserve ordering fairness, an intuitive method is to concurrently execute transactions and re-execute any order-violating ones. This in turn increases unforeseen conflicts, leading to scaling bottlenecks caused by numerous costly aborts u
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Lee, Nam-Yong. "Hierarchical Multi-Blockchain System for Parallel Computation in Cryptocurrency Transfers and Smart Contracts." Applied Sciences 11, no. 21 (2021): 10173. http://dx.doi.org/10.3390/app112110173.

Der volle Inhalt der Quelle
Annotation:
Most of the existing smart-contract-based cryptocurrencies, such as Ethereum, use an account-based ledger. However, while the account-based model is advantageous for the efficient use of smart contracts and the increased exchangeability of cryptocurrencies, it is not well-suited to the parallel execution of smart contracts. However, unspent transaction output (UTXO)-based cryptocurrencies such as Bitcoin are advantageous for parallel cryptocurrency transfers but not well-suited to smart contracts. In this paper, we propose a hierarchical multi-blockchain system that uses multiple pairs of side
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Vandenbogaerde, Bram, Quentin Stiévenart, and Coen De Roover. "Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts." Proceedings of the ACM on Programming Languages 8, ICFP (2024): 515–43. http://dx.doi.org/10.1145/3674643.

Der volle Inhalt der Quelle
Annotation:
Actor languages model concurrency as processes that communicate through asynchronous message sends.Unfortunately, as the complexity of these systems increases, it becomes more difficult to compose and integrate their components. This is because of assumptions made by components about their communication partners which may not be upheld when they remain implicit. In this paper, we bring design-by-contract programming to actor programs through a contract system that enables expressing constraints on receiver-related properties.Expressing properties about the expected receiver of a message, and a
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Elysha Kamaruzaman, Nor, Ihsan Mohd Yassin, Azlee Zabidi, et al. "Blockchain Technology for Islamic Marriage Certificate." International Journal of Engineering & Technology 7, no. 4.11 (2018): 193. http://dx.doi.org/10.14419/ijet.v7i4.11.20802.

Der volle Inhalt der Quelle
Annotation:
In recent years, an individual under the pseudonym of Satoshi Nakamoto devised a revolutionary technology called blockchain as the engine behind the first decentralized virtual currency called Bitcoin. A radical concept departing from government-centric controlled currencies, Bitcoin has emerged as a disruptive technology with the power to revolutionize business and its processes. Advantages of the blockchain include decentralized control, immutability, elimination of central authority and solution of concurrency problems in traditional databases. Leveraging on the advantages of blockchain tec
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Peng, Xiangzhen, Xin Zhang, Xiaoyi Wang, et al. "Research on the Cross-Chain Model of Rice Supply Chain Supervision Based on Parallel Blockchain and Smart Contracts." Foods 11, no. 9 (2022): 1269. http://dx.doi.org/10.3390/foods11091269.

Der volle Inhalt der Quelle
Annotation:
Rice is one of the three major staple foods in the world, and the quality and safety of rice are related to the development of human beings. The new crown epidemic, pesticide residues, insect pests, and heavy metal pollution have a certain security impact on the food supply chain. The rice supply chain is characterized by a long life cycle; complex roles in the main links; many types of hazards; and multidimensional, multisource, and heterogeneous information. To strengthen the rice supply chain’s supervision ability under the epidemic situation, a supervision cross-chain model suitable for th
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Zaidi, Syed Yawar Abbas, Munam Ali Shah, Hasan Ali Khattak, et al. "An Attribute-Based Access Control for IoT Using Blockchain and Smart Contracts." Sustainability 13, no. 19 (2021): 10556. http://dx.doi.org/10.3390/su131910556.

Der volle Inhalt der Quelle
Annotation:
With opportunities brought by the Internet of Things (IoT), it is quite a challenge to maintain concurrency and privacy when a huge number of resource-constrained distributed devices are involved. Blockchain have become popular for its benefits, including decentralization, persistence, immutability, auditability, and consensus. Great attention has been received by the IoT based on the construction of distributed file systems worldwide. A new generation of IoT-based distributed file systems has been proposed with the integration of Blockchain technology, such as the Swarm and Interplanetary Fil
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Mehr Quellen

Dissertationen zum Thema "Contracts for concurrency"

1

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
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Fiedor, Jan. "Praktické metody automatizované verifikace paralelních programů." Doctoral thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2017. http://www.nusl.cz/ntk/nusl-412575.

Der volle Inhalt der Quelle
Annotation:
V dnešní době jsou vícevláknové programy běžné a s nimi i chyby v souběžnosti. Během posledních let bylo vytvořeno mnoho technik pro detekci takovýchto chyb, a i přesto mají vývojáři softwaru problém nalézt správné nástroje pro analýzu svých programů. Důvod je jednoduchý, fungující neznamená vždy praktický. Hodně nástrojů implementujících detekční techniky je obtížně použitelných, přizpůsobených pro konkrétní typy programů nebo synchronizace, nebo špatně škálují, aby zvládly analyzovat rozsáhlý software. Pro některé typy chyb v souběžnosti dokonce ani neexistují nástroje pro jejich detekci, i
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

Žárský, Jan. "Instrumentace Java programů, kontrakty pro paralelismus." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2021. http://www.nusl.cz/ntk/nusl-445489.

Der volle Inhalt der Quelle
Annotation:
Contracts for concurrency describe required atomicity of method sequences in concurrent programs. This work proposes a dynamic analyzer to verify programs written in Java against contracts for concurrency. The analyzer was designed to detect violations of parametric contracts with spoilers. The proposed analyzer was implemented as an extension to the RoadRunner framework. Support for accessing the method arguments and return values was added to RoadRunner as a part of the solution. The analyzer was fully implemented and verified on a set of testing programs.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

García-Trevijano, Garnica Ernesto. "On the Concurrence of Termination events in the Same Administrative Contract." Derecho & Sociedad, 2015. http://repositorio.pucp.edu.pe/index/handle/123456789/118438.

Der volle Inhalt der Quelle
Annotation:
The study addresses the way, according to the author, in which must be resolved the problem of the concurrence of termination events in an administrative contract. It is common that parties attribute non-compliances to each other or the coexistence of termination events with different effects each of them. In these situations, the termination event which must be applied as a matter of priority with its corresponding associated effects must be determined. In this context, it should be pointed out the doctrine of the Spanish Council of the State according to which the termination event occurred
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Hasquenoph, Isabelle. "Contrats publics et concurrence." Thesis, Paris 1, 2019. http://scd-rproxy.u-strasbg.fr/login?url=https://www.dalloz-bibliotheque.fr/pvurl.php?r=http%3A%2F%2Fdallozbndpro-pvgpsla.dalloz-bibliotheque.fr%2Ffr%2Fpvpage2.asp%3Fpuc%3D5442%26nu%3D237%26selfsize%3D1.

Der volle Inhalt der Quelle
Annotation:
La thèse se propose d’étudier de manière systématique les rapports entre les contrats publics et la concurrence. L’analyse de la confrontation des contrats publics à la concurrence révèle qu’il s’agit d’une activité de l’économie de marché. C’est dans les deux dimensions de la concurrence, interne au cadre contractuel mais également externe à ce cadre, que cette confrontation prend corps. La passation et l’exécution des contrats publics ont une incidence sur le marché, ce qui conduit à réévaluer la distinction, autrefois clairement marquée, entre la puissance publique et l’entreprise. Cette co
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Fortunato, Aurelien. "Clauses et pratiques restrictives de concurrence." Thesis, Lille 2, 2016. http://www.theses.fr/2016LIL20009/document.

Der volle Inhalt der Quelle
Annotation:
Traditionnellement, le droit prend soin de distinguer entre les clauses, parties d’un acte juridique, et les pratiques qui sont des faits juridiques. Pourtant, le droit des pratiques restrictives de concurrence semble réaliser une assimilation de ces deux notions, en qualifiant de pratiques restrictives de concurrence certaines clauses. L’étude analyse cette qualification d’une clause en pratique en proposant un critère et en s’interrogeant sur ses effets : la possible contestation de clauses sur le fondement du droit des pratiques restrictives de concurrence. En invitant à une réflexion sur c
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Barros, Pedro Loura. "Linguagem concurrent Contract-Java." Master's thesis, Universidade de Aveiro, 2016. http://hdl.handle.net/10773/21754.

Der volle Inhalt der Quelle
Annotation:
Mestrado em Engenharia de Computadores e Telemática<br>Resumo não disponivel<br>The goal of this thesis is the study on the integration of mechanisms from concurrent programming, objected-oriented languages, and Designby- Contract. We propose a new language, Concurrent Contract-Java (CCJava), that's an extension of Contract-Java, a language that has extended Java with Design-by-Contract language mechanisms. CCJava aims to ease object-oriented concurrent programming, ensuring safety (no race conditions will occur) and abstracting away lower level concurrent realizations such as the choi
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Lama, Bustinza José Andrés. "Concurrent delay: proposed solution to a shared responsibility." THĒMIS-Revista de Derecho, 2018. http://repositorio.pucp.edu.pe/index/handle/123456789/123864.

Der volle Inhalt der Quelle
Annotation:
Any contractual operation has a risk, which can be assumed by one of the parties, as agreed. In this context, it is common for cases of delays due to concurrent causes imputable to both parties, which can generate a high difficulty when assigning the risk. In this article, the author explains, from a comparative perspective, the different possibilities of solution in front of cases related with the concurrent delay controversies. It analyzes the various doctrines developed both in the Civil Law tradition and in the Common Law.<br>Toda operación contractual conlleva un riesgo, el cual puede ser
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Akoka, Fanette. "Contrats de la commande publique et environnement." Thesis, Aix-Marseille, 2019. http://www.theses.fr/2019AIXM0510.

Der volle Inhalt der Quelle
Annotation:
La situation préoccupante de l’environnement conduit à une diversification des moyens d’action juridiques conduisant à le protéger. Les contrats de la commande publique, dotés d’un pouvoir économique important, sont qualifiés de levier de politique publique. Les contrats de la commande publique peuvent donc être des vecteurs de protection de l’environnement. La portée est relativisée par les sources des contrats étudiés qui font primer la libre-concurrence vis-à-vis de l’environnement et par leur mise en œuvre. Celle-ci, fortement conditionnée par les impératifs concurrentiels et les principes
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Hautier, Aurélie. "La mise en concurrence des contrats publics : le cas du secteur ferroviaire." Thesis, Lille 2, 2019. http://www.theses.fr/2019LIL2D010.

Der volle Inhalt der Quelle
Annotation:
A la croisée du droit de la commande publique et du droit des activités économiques, cette thèse consiste à étudier l’étendue et l’usage des contrats de la commande publique en tant qu’outils contractuels à l’aube de la libéralisation du secteur ferroviaire. Elle fait également le pari audacieux d’ouvrir la boite noire du choix des outils contractuels tout en renouvelant l’approche théorique du principe de mise en concurrence. Le Code de la commande publique, dans son architecture, prône un raisonnement fondé sur une approche thématique,reprenant la dichotomie entre les marchés publics et les
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Mehr Quellen

Bücher zum Thema "Contracts for concurrency"

1

Office, General Accounting. Navy ships: Concurrency within the SSN-21 program : report to Congressional requesters. The Office, 1990.

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

Laguerre, Alain. Concurrence dans les marchés publics. Berger-Levrault, 1989.

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

Barreau du Québec. Service de la formation continue. Développements récents sur la non-concurrence. Éditions Yvon Blais, 2008.

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

Houin, Roger. Droit commercial.: Concurrence et contrats du commerce. 9th ed. Dalloz, 1990.

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

Dhillon, Jasbir Singh. Concurrence of duties in contract and tort. Longman, 1991.

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

Holyoak, J. H. Concurrent liability in tort and contract. Tolley Publishing, 1990.

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

Pédamon, Michel. Droit commercial: Commerçants et fonds de commerce : concurrence et contrats du commerce. Dalloz, 1994.

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

Pédamon, Michel. Droit commercial: Commerçants et fonds de commerce, concurrence et contrats du commerce. 2nd ed. Dalloz, 2000.

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

Shaw, Daniel J. Politique de concurrence: Fusions verticales et restrictions contractuelles verticales du commerce. Bibliothèque du Parlement, Service de recherche, 1991.

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

Choné, Anne-Sophie. Les abus de domination: Essai en droit des contrats et en droit de la concurrence. Economica, 2010.

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

Buchteile zum Thema "Contracts for concurrency"

1

Castagna, Giuseppe, and Luca Padovani. "Contracts for Mobile Processes." In CONCUR 2009 - Concurrency Theory. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04081-8_15.

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

Burr, Andrew. "Concurrency, parallelism and pacing." In Delay and Disruption in Construction Contracts, 6th ed. Informa Law from Routledge, 2024. http://dx.doi.org/10.4324/9780429196676-19.

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

Laneve, Cosimo, and Luca Padovani. "The Pairing of Contracts and Session Types." In Concurrency, Graphs and Models. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-68679-8_42.

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

Bernardi, Giovanni, and Matthew Hennessy. "Using Higher-Order Contracts to Model Session Types (Extended Abstract)." In CONCUR 2014 – Concurrency Theory. Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-662-44584-6_27.

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

Lourenço, João M. "Verifying Real-World Software with Contracts for Concurrency." In Lecture Notes in Computer Science. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-03427-6_9.

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

Zhang, An, and Kunlong Zhang. "Enabling Concurrency on Smart Contracts Using Multiversion Ordering." In Web and Big Data. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-96893-3_32.

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

Qu, Meixun, Xin Huang, Xu Chen, Yi Wang, Xiaofeng Ma, and Dawei Liu. "Formal Verification of Smart Contracts from the Perspective of Concurrency." In Smart Blockchain. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-05764-0_4.

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

Yu, Yisong, Naipeng Dong, Zhe Hou, and Jin Song Dong. "Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase." In Lecture Notes in Computer Science. Springer Nature Singapore, 2024. http://dx.doi.org/10.1007/978-981-96-0617-7_22.

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

Chadha, Rohit, John C. Mitchell, Andre Scedrov, and Vitaly Shmatikov. "Contract Signing, Optimism, and Advantage." In CONCUR 2003 - Concurrency Theory. Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-45187-7_24.

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

Padovani, Luca. "Contract-Directed Synthesis of Simple Orchestrators." In CONCUR 2008 - Concurrency Theory. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-85361-9_13.

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

Konferenzberichte zum Thema "Contracts for concurrency"

1

Painter, Zachary, and Damian Dechev. "Lock-Free Concurrent Smart Contracts." In 2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC). IEEE, 2024. http://dx.doi.org/10.1109/icbc59979.2024.10634415.

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

Li, Kunyang, Heng Pan, Bowei Zhang, et al. "A Concurrent Smart Contract Model." In 2024 4th International Conference on Blockchain Technology and Information Security (ICBCTIS). IEEE, 2024. https://doi.org/10.1109/icbctis64495.2024.00039.

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

Cheng, Tom Y., Mitchell B. Robinson, Marco Renna, et al. "Comparing concurrent measurements of human cerebral blood flow changes using speckle contrast optical spectroscopy and diffuse correlation spectroscopy (Conference Presentation)." In Dynamics and Fluctuations in Biomedical Photonics XXII, edited by Valery V. Tuchin, Martin J. Leahy, and Ruikang K. Wang. SPIE, 2025. https://doi.org/10.1117/12.3046467.

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

(Hojin) Choi, H. J., and Tongchai Tonsuwannarat. "Unique Roles of Hydrocarbons in Flow-Induced Sweet Corrosion of X-52 Carbon Steel in Wet Gas Condensate Producing Wells." In CORROSION 2002. NACE International, 2002. https://doi.org/10.5006/c2002-02559.

Der volle Inhalt der Quelle
Annotation:
Abstract It has been known that hydrocarbons (oil or gas condensates) protect steel from corrosion, containing natural surface-active species that might form a persistent hydrocarbon film adhering to the steel surface. However, the role of hydrocarbon in sweet corrosion has been confused because of the difficulty in lab simulation. Only sketchy information on the role of hydrocarbon on sweet corrosion has been published. Our recent laboratory results employing the rotating cylinder electrode (RCE) demonstrated that hydrocarbon accelerated localized corrosion at the brine-hydrocarbon interface
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Brown, B. E., and D. J. Duquette. "The Effect of Ozone on the Corrosion Behavior of Ni-Cr-Mo Alloys in Artificial Seawater." In CORROSION 1997. NACE International, 1997. https://doi.org/10.5006/c1997-97415.

Der volle Inhalt der Quelle
Annotation:
Abstract The effects of ozonated seawater on the corrosion behavior of nickel-chromium-molybdenum alloys C-276, C-22, 625 and 59 (UNS N10276, N06022, N06625, and N06059) were studied and the results were compared with those obtained for aerated solutions. Corrosion rates and crevice corrosion information obtained from plate samples at intervals of 2, 4, 8, 16, 26, and 47 weeks were compared with electrochemical measurements of corrosion potential, linear polarization resistance (LPR), and cyclic polarization curves from concurrently immersed wire samples. It was observed that samples in ozonat
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Dickerson, Thomas, Paul Gazzillo, Maurice Herlihy, and Eric Koskinen. "Adding Concurrency to Smart Contracts." In PODC '17: ACM Symposium on Principles of Distributed Computing. ACM, 2017. http://dx.doi.org/10.1145/3087801.3087835.

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

Li, Yue. "Finding Concurrency Exploits on Smart Contracts." In 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). IEEE, 2019. http://dx.doi.org/10.1109/icse-companion.2019.00061.

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

Anjana, Parwat Singh, Sweta Kumari, Sathya Peri, Sachin Rathor, and Archit Somani. "Entitling concurrency to smart contracts using optimistic transactional memory." In ICDCN '19: International Conference on Distributed Computing and Networking. ACM, 2019. http://dx.doi.org/10.1145/3288599.3299723.

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

Delahaye, Benoît, Benoît Caillaud, and Axel Legay. "Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems." In 2010 10th International Conference on Application of Concurrency to System Design. IEEE, 2010. http://dx.doi.org/10.1109/acsd.2010.13.

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

Jayasena, E., and U. Kulatunga. "Assessing delay claims in terms of excusability and criticality of delays in fidic based contracts." In World Construction Symposium - 2023. Ceylon Institute of Builders - Sri Lanka, 2023. http://dx.doi.org/10.31705/wcs.2023.20.

Der volle Inhalt der Quelle
Annotation:
Assessment of delays involves complex decision making. Most standard contract forms do not provide guidelines on assessing delay claims; this is left to the professionals who at times tend to make decisions based on experience and subjective judgement. This will not always guarantee consistent decisions. Therefore, there is a need for a mechanism for assessing delay claims in construction industry. Excusability and criticality are the two elements to be considered in assessing a delay. These are governed by the conditions of contract and adopted delay analysis techniques (DATs) respectively. T
APA, Harvard, Vancouver, ISO und andere Zitierweisen

Berichte der Organisationen zum Thema "Contracts for concurrency"

1

Rubio-Codina, Marta, María Caridad Araujo, Orazio P. Attanasio, and Sally Grantham-McGregor. Concurrent Validity and Feasibility of Short Tests Currently Used to Measure Early Childhood Development in Large Scale Studies: Methodology and Results. Inter-American Development Bank, 2016. http://dx.doi.org/10.18235/0012283.

Der volle Inhalt der Quelle
Annotation:
In low- and middle-income countries (LIMCs) measuring early childhood development (ECD) with standard tests in large scale surveys (i.e. evaluations of interventions) is difficult and expensive. Multi-dimensional screeners and single-domain tests ('short tests') are frequentlyused as alternatives. However, their validity in these circumstances is unknown. We examine the feasibility, reliability, and concurrent validity of three multi-dimensional screeners -the Ages and Stages Questionnaires (ASQ-3), the Denver Developmental Screening Test (Denver-II), the Battelle Developmental Inventory scree
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Remensnyder, Katie, Elaine Robinson, Katie Beck, Sarah Reyes, John Rasmussen, and William Hunter. Mammoth Cave National Park Historic Resource Study. National Park Service, 2023. https://doi.org/10.36967/2309606.

Der volle Inhalt der Quelle
Annotation:
In 2022 the National Park Service (NPS) contracted Commonwealth to conduct an HRS of Mammoth Cave National Park. Funding for the project was provided by the NPS Cultural Resources, Partnerships, and Science Cultural Resources Fund Source. This HRS, the second conducted for the cultural resources in the Park, accounts for changes to the Park’s built environment since the original HRS, incorporates additional research, and reanalyzes and reevaluates resources documented in the first HRS. Of the 290 surveyed cultural resources, 57 have been previously listed in the NRHP either as individual listi
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Die Auswahlen zum Thema "Contracts for concurrency" 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