Relevant bibliographies by topics / Contracts for concurrency

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Contracts for concurrency'

Author: Grafiati
Published: 28 June 2021
Last updated: 29 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Contracts for concurrency.'

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.

Journal articles on the topic "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.

Full text
Abstract:
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, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
More sources

Dissertations / Theses on the topic "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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
6

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

Full text
Abstract:
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, and other styles
7

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

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
9

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

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
More sources

Books on the topic "Contracts for concurrency"

1

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles

Reports on the topic "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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
You might also be interested in the extended bibliographies on the topic 'Contracts for concurrency' for particular source types:
Journal articles Dissertations / Theses Books
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!

To the bibliography